Arama Sonuçları Computer science - Daraltılmış: Systems engineering.

Automated Configuration Problem Solving

2024-11-26T18:57:30Z

Yazar Petrie, Charles J. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-4532-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Energy-aware Scheduling on Multiprocessor Platforms

2024-11-26T18:57:30Z

Yazar Li, Dawei. author. Wu, Jie. author. SpringerLink (Online service)
Yer Numarası ONLINE(331714.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-5224-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008. Revised Selected Papers

2024-11-26T18:57:30Z

Yazar Svensson, Lars. editor. Monteiro, José. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-95948-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007. Proceedings

2024-11-26T18:57:30Z

Yazar Azémard, Nadine. editor. Svensson, Lars. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74442-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 16th International Workshop, PATMOS 2006, Montpellier, France, September 13-15, 2006. Proceedings

2024-11-26T18:57:30Z

Yazar Vounckx, Johan. editor. Azemard, Nadine. editor. Maurine, Philippe. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11847083
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Low-Power Low-Voltage Sigma-Delta Modulators in Nanometer CMOS

2024-11-26T18:57:30Z

Yazar Yao, Libin. author. Steyaert, Michiel. author. Sansen, Willy. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/1-4020-4140-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

METHODOLOGY FOR THE DIGITAL CALIBRATION OF ANALOG CIRCUITS AND SYSTEMS

2024-11-26T18:57:30Z

Yazar Pastre, Marc. author. Kayal, Maher. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/1-4020-4253-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design of Very High-Frequency Multirate Switched-Capacitor Circuits Extending the Boundaries of CMOS Analog Front-End Filtering

2024-11-26T18:57:30Z

Yazar U, Seng-Pan. author. Martins, Rui Paulo. author. Franca, José Epifânio. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b136837
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

ΣΔ A/D CONVERSION FOR SIGNAL CONDITIONING

2024-11-26T18:57:30Z

Yazar Philips, Kathleen. author. van Roermund, Arthur H. M. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/1-4020-4680-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

High-Speed Photodiodes in Standard CMOS Technology

2024-11-26T18:57:30Z

Yazar Radovanović, Saša. author. Annema, Anne-Johan. author. Nauta, Bram. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/0-387-28592-X
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Wide-Bandwidth High-Dynamic Range D/A Converters

2024-11-26T18:57:30Z

Yazar Doris, Konstantinos. author. van Roermund, Arthu. author. Leenaerts, Domine. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/0-387-30416-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Adaptive Techniques for Mixed Signal System on Chip

2024-11-26T18:57:30Z

Yazar Fayed, Ayman. author. Ismail, Mohammed. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-32155-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Dynamic Characterisation of Analogue-to-Digital Converters

2024-11-26T18:57:30Z

Yazar Dallet, Dominique. author. Silva, José Machado. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b136458
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design of Wireless Autonomous Datalogger IC’s

2024-11-26T18:57:30Z

Yazar Claes, Wim. author. Sansen, Willy. author. Puers, Robert. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/1-4020-3209-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

High-Frequency Oscillator Design for Integrated Transceivers

2024-11-26T18:57:30Z

Yazar Tang, Johan. author. Kasperkovitz, Dieter. author. Roermund, Arthur. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b106010
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mixed-Signal Layout Generation Concepts

2024-11-26T18:57:30Z

Yazar Lin, Chieh. author. Roermund, Arthur H. M. author. Leenaerts, Domine M. W. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b106472
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Matching Properties of Deep Sub-Micron MOS Transistors

2024-11-26T18:57:30Z

Yazar Croon, Jeroen A. author. Sansen, Willy. author. Maes, Herman E. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b105122
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Trusted Digital Circuits Hardware Trojan Vulnerabilities, Prevention and Detection

2024-11-26T18:57:30Z

Yazar Salmani, Hassan. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-79081-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Timing Performance of Nanometer Digital Circuits Under Process Variations

2024-11-26T18:57:30Z

Yazar Champac, Victor. author. Garcia Gervacio, Jose. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-75465-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Physically Unclonable Functions From Basic Design Principles to Advanced Hardware Security Applications

2024-11-26T18:57:30Z

Yazar Halak, Basel. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-76804-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design Techniques for Mash Continuous-Time Delta-Sigma Modulators

2024-11-26T18:57:30Z

Yazar Liu, Qiyuan. author. Edward, Alexander. author. Briseno-Vidrios, Carlos. author. Silva-Martinez, Jose. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-77225-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

2024-11-26T18:57:30Z

Yazar Przigoda, Nils. author. Wille, Robert. author. Przigoda, Judith. author. Drechsler, Rolf. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-72814-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Systems Digital Design, Fundamentals of Computer Architecture and Assembly Language

2024-11-26T18:57:30Z

Yazar Elahi, Ata. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-66775-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Brain-Machine Interface Closed-loop Bidirectional System Design

2024-11-26T18:57:30Z

Yazar Liu, Xilin. author. Van der Spiegel, Jan. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-67940-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Digital Storage in Consumer Electronics The Essential Guide

2024-11-26T18:57:30Z

Yazar Coughlin, Thomas M. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-69907-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Hardware Trojan War Attacks, Myths, and Defenses

2024-11-26T18:57:30Z

Yazar Bhunia, Swarup. editor. Tehranipoor, Mark M. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-68511-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2016

2024-11-26T18:57:30Z

Yazar Fummi, Franco. editor. Wille, Robert. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-62920-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Techniques for Power, Energy, and Thermal Management for Clustered Manycores

2024-11-26T18:57:30Z

Yazar Pagani, Santiago. author. Chen, Jian-Jia. author. Shafique, Muhammad. author. Henkel, Jörg. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-77479-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

ASIC/SoC Functional Design Verification A Comprehensive Guide to Technologies and Methodologies

2024-11-26T18:57:30Z

Yazar Mehta, Ashok B. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-59418-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fog Computing in the Internet of Things Intelligence at the Edge

2024-11-26T18:57:30Z

Yazar Rahmani, Amir M. editor. Liljeberg, Pasi. editor. Preden, Jürgo-Sören. editor. Jantsch, Axel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-57639-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reliable and Energy Efficient Streaming Multiprocessor Systems

2024-11-26T18:57:30Z

Yazar Das, Anup Kumar. author. Kumar, Akash. author. Veeravalli, Bharadwaj. author. Catthoor, Francky. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-69374-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

CMOS Circuits for Biological Sensing and Processing

2024-11-26T18:57:30Z

Yazar Mitra, Srinjoy. editor. Cumming, David R. S. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-67723-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design of FPGA-Based Computing Systems with OpenCL

2024-11-26T18:57:30Z

Yazar Waidyasooriya, Hasitha Muthumala. author. Hariyama, Masanori. author. Uchiyama, Kunio. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-68161-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fundamentals of Electromigration-Aware Integrated Circuit Design

2024-11-26T18:57:30Z

Yazar Lienig, Jens. author. Thiele, Matthias. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-73558-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Machine Learning for Model Order Reduction

2024-11-26T18:57:30Z

Yazar Mohamed, Khaled Salah. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-75714-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Energy-Efficient Smart Temperature Sensors in CMOS Technology

2024-11-26T18:57:30Z

Yazar Souri, Kamran. author. Makinwa, Kofi A.A. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-62307-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Low-Power Design and Power-Aware Verification

2024-11-26T18:57:30Z

Yazar Khondkar, Progyna. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-66619-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Embedded System Design Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of Things

2024-11-26T18:57:30Z

Yazar Marwedel, Peter. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-56045-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Dependable Multicore Architectures at Nanoscale

2024-11-26T18:57:30Z

Yazar Ottavi, Marco. editor. Gizopoulos, Dimitris. editor. Pontarelli, Salvatore. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-54422-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Logic Synthesis

2024-11-26T18:57:30Z

Yazar Reis, André Inácio. editor. Drechsler, Rolf. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-67295-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal System Verification State-of the-Art and Future Trends

2024-11-26T18:57:30Z

Yazar Drechsler, Rolf. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-57685-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Internet-of-Things (IoT) Systems Architectures, Algorithms, Methodologies

2024-11-26T18:57:30Z

Yazar Serpanos, Dimitrios. author. Wolf, Marilyn. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-69715-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hybrid ADCs, Smart Sensors for the IoT, and Sub-1V & Advanced Node Analog Circuit Design Advances in Analog Circuit Design 2017

2024-11-26T18:57:30Z

Yazar Harpe, Pieter. editor. Makinwa, Kofi A. A. editor. Baschirotto, Andrea. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-61285-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Invasive Computing for Mapping Parallel Programs to Many-Core Architectures

2024-11-26T18:57:30Z

Yazar Weichslgartner, Andreas. author. Wildermann, Stefan. author. Glaß, Michael. author. Teich, Jürgen. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-7356-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Smart Camera Design Algorithms, Architectures, and Art

2024-11-26T18:57:30Z

Yazar Wolf, Marilyn. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-69523-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fault Tolerant Architectures for Cryptography and Hardware Security

2024-11-26T18:57:30Z

Yazar PATRANABIS, SIKHAR. editor. Mukhopadhyay, Debdeep. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-1387-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Contactless VLSI Measurement and Testing Techniques

2024-11-26T18:57:30Z

Yazar Sayil, Selahattin. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-69673-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Embedded Flash Memory for Embedded Systems: Technology, Design for Sub-systems, and Innovations

2024-11-26T18:57:30Z

Yazar Hidaka, Hideto. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-55306-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Energy Efficient High Performance Processors Recent Approaches for Designing Green High Performance Computing

2024-11-26T18:57:30Z

Yazar Haj-Yahya, Jawad. author. Mendelson, Avi. author. Ben Asher, Yosi. author. Chattopadhyay, Anupam. author. (orcid)0000-0002-8818-6983 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-8554-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Symbolic Parallelization of Nested Loop Programs

2024-11-26T18:57:30Z

Yazar Tanase, Alexandru-Petru. author. Hannig, Frank. author. Teich, Jürgen. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-73909-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Energy Efficient Embedded Video Processing Systems A Hardware-Software Collaborative Approach

2024-11-26T18:57:30Z

Yazar Khan, Muhammad Usman Karim. author. Shafique, Muhammad. author. Henkel, Jörg. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-61455-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

5G and E-Band Communication Circuits in Deep-Scaled CMOS

2024-11-26T18:57:30Z

Yazar Vigilante, Marco. author. Reynaert, Patrick. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-72646-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Simulation and Optimization of Digital Circuits Considering and Mitigating Destabilizing Factors

2024-11-26T18:57:30Z

Yazar Melikyan, Vazgen. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-71637-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Self-powered SoC Platform for Analysis and Prediction of Cardiac Arrhythmias

2024-11-26T18:57:30Z

Yazar Saleh, Hani. author. Bayasi, Nourhan. author. Mohammad, Baker. author. Ismail, Mohammed. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-63973-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A practical guide to SysML : the systems modeling language

2024-11-26T18:57:30Z

Yazar Friedenthal, Sanford, author. Moore, Alan, 1961- author. Steiner, Rick, author.
Yer Numarası ONLINE(355422.1)
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780128002025
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

SysML for systems engineering : a model based approach

2024-11-26T18:57:30Z

Yazar Holt, Jon. Perry, Simon.
Yer Numarası ONLINE(312864.1)
Elektronik Erişim Knovel http://app.knovel.com/web/toc.v/cid:kpSMLSEAM9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Embedded Systems for Smart Appliances and Energy Management

2024-11-26T18:57:30Z

Yazar Grimm, Christoph. editor. Neumann, Peter. editor. Mahlknecht, Stefan. editor. SpringerLink (Online service)
Yer Numarası ONLINE(330846.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-8795-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design for High Performance, Low Power, and Reliable 3D Integrated Circuits

2024-11-26T18:57:30Z

Yazar Lim, Sung Kyu. author. SpringerLink (Online service)
Yer Numarası ONLINE(330852.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-9542-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Partial Reconfiguration on FPGAs Architectures, Tools and Applications

2024-11-26T18:57:30Z

Yazar Koch, Dirk. author. SpringerLink (Online service)
Yer Numarası ONLINE(331261.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-1225-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

System-Level Validation High-Level Modeling and Directed Test Generation Techniques

2024-11-26T18:57:30Z

Yazar Chen, Mingsong. author. Qin, Xiaoke. author. Koo, Heon-Mo. author. Mishra, Prabhat. author. SpringerLink (Online service)
Yer Numarası ONLINE(331265.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-1359-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Embedded Systems Design with FPGAs

2024-11-26T18:57:30Z

Yazar Athanas, Peter. editor. Pnevmatikatos, Dionisios. editor. Sklavos, Nicolas. editor. SpringerLink (Online service)
Yer Numarası ONLINE(331266.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-1362-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

High-Performance Computing Using FPGAs

2024-11-26T18:57:30Z

Yazar Vanderbauwhede, Wim. editor. Benkrid, Khaled. editor. SpringerLink (Online service)
Yer Numarası ONLINE(331283.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-1791-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Self-Organization in Embedded Real-Time Systems

2024-11-26T18:57:30Z

Yazar Higuera-Toledano, M. Teresa. editor. Brinkschulte, Uwe. editor. Rettberg, Achim. editor. SpringerLink (Online service)
Yer Numarası ONLINE(331293.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-1969-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A Practical Introduction to Hardware/Software Codesign

2024-11-26T18:57:30Z

Yazar Schaumont, Patrick R. author. SpringerLink (Online service)
Yer Numarası ONLINE(331370.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-3737-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

UTLEON3: Exploring Fine-Grain Multi-Threading in FPGAs

2024-11-26T18:57:30Z

Yazar Daněk, Martin. author. Kafka, Leoš. author. Kohout, Lukáš. author. Sýkora, Jaroslav. author. Bartosinski, Roman. author.
Yer Numarası ONLINE(331311.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-2410-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Electronics for Guitarists

2024-11-26T18:57:30Z

Yazar Dailey, Denton J. author. SpringerLink (Online service)
Yer Numarası ONLINE(331425.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-4087-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Constraining Designs for Synthesis and Timing Analysis A Practical Guide to Synopsys Design Constraints (SDC)

2024-11-26T18:57:30Z

Yazar Gangadharan, Sridhar. author. Churiwala, Sanjay. author. SpringerLink (Online service)
Yer Numarası ONLINE(331327.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-3269-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Data Acquisition Systems From Fundamentals to Applied Design

2024-11-26T18:57:30Z

Yazar Di Paolo Emilio, Maurizio. author. SpringerLink (Online service)
Yer Numarası ONLINE(331451.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-4214-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

An ASIC Low Power Primer Analysis, Techniques and Specification

2024-11-26T18:57:30Z

Yazar Chadha, Rakesh. author. Bhasker, J. author. SpringerLink (Online service)
Yer Numarası ONLINE(331464.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-4271-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model-Based Design of Adaptive Embedded Systems

2024-11-26T18:57:30Z

Yazar Basten, Twan. editor. Hamberg, Roelof. editor. Reckers, Frans. editor. Verriet, Jacques. editor. SpringerLink (Online service)
Yer Numarası ONLINE(331594.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-4821-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Compilation and Synthesis for Embedded Reconfigurable Systems An Aspect-Oriented Approach

2024-11-26T18:57:30Z

Yazar Cardoso, João Manuel Paiva. editor. Diniz, Pedro C. editor. de Figueiredo Coutinho, José Gabriel. editor. Petrov, Zlatko Marinov. editor. SpringerLink (Online service)
Yer Numarası ONLINE(331615.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-4894-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Energy-Efficient Communication Processors Design and Implementation for Emerging Wireless Systems

2024-11-26T18:57:30Z

Yazar Fasthuber, Robert. author. Catthoor, Francky. author. Raghavan, Praveen. author. Naessens, Frederik. author. SpringerLink (Online service)
Yer Numarası ONLINE(331642.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-4992-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Embedded Multimedia Security Systems Algorithms and Architectures

2024-11-26T18:57:30Z

Yazar Pande, Amit. author. Zambreno, Joseph. author. SpringerLink (Online service)
Yer Numarası ONLINE(330984.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-4459-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Dynamic Reconfiguration in Real-Time Systems Energy, Performance, and Thermal Perspectives

2024-11-26T18:57:30Z

Yazar Wang, Weixun. author. Mishra, Prabhat. author. Ranka, Sanjay. author. SpringerLink (Online service)
Yer Numarası ONLINE(331237.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-0278-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Physical Unclonable Functions in Theory and Practice

2024-11-26T18:57:30Z

Yazar Böhm, Christoph. author. Hofer, Maximilian. author. SpringerLink (Online service)
Yer Numarası ONLINE(331657.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-5040-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design Technologies for Green and Sustainable Computing Systems

2024-11-26T18:57:30Z

Yazar Pande, Partha Pratim. editor. Ganguly, Amlan. editor. Chakrabarty, Krishnendu. editor. SpringerLink (Online service)
Yer Numarası ONLINE(331637.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-4975-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Designing TSVs for 3D Integrated Circuits

2024-11-26T18:57:30Z

Yazar Khan, Nauman. author. Hassoun, Soha. author. SpringerLink (Online service)
Yer Numarası ONLINE(331791.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-5508-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

3D Video Coding for Embedded Devices Energy Efficient Algorithms and Architectures

2024-11-26T18:57:30Z

Yazar Zatt, Bruno. author. Shafique, Muhammad. author. Bampi, Sergio. author. Henkel, Jörg. author. SpringerLink (Online service)
Yer Numarası ONLINE(332110.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-6759-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced DPA Theory and Practice Towards the Security Limits of Secure Embedded Circuits

2024-11-26T18:57:30Z

Yazar Peeters, Eric. author. SpringerLink (Online service)
Yer Numarası ONLINE(332116.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-6783-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Complex Binary Number System Algorithms and Circuits

2024-11-26T18:57:30Z

Yazar Jamil, Tariq. author. SpringerLink (Online service)
Yer Numarası ONLINE(335470.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-81-322-0854-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design, Analysis and Test of Logic Circuits Under Uncertainty

2024-11-26T18:57:30Z

Yazar Krishnaswamy, Smita. author. Markov, Igor L. author. Hayes, John P. author. SpringerLink (Online service)
Yer Numarası ONLINE(335669.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-90-481-9644-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modeling, Analysis and Optimization of Network-on-Chip Communication Architectures

2024-11-26T18:57:30Z

Yazar Ogras, Umit Y. author. Marculescu, Radu. author. SpringerLink (Online service)
Yer Numarası ONLINE(335726.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-3958-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Securing Digital Video Techniques for DRM and Content Protection

2024-11-26T18:57:30Z

Yazar Diehl, Eric. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-17345-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Electronique Appliquée, Electromécanique sous Simscape & SimPowerSystems (Matlab/Simulink)

2024-11-26T18:57:30Z

Yazar Mokhtari, Mohand. author. Martaj, Nadia. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-24201-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design Technology for Heterogeneous Embedded Systems

2024-11-26T18:57:30Z

Yazar Nicolescu, Gabriela. editor. O'Connor, Ian. editor. Piguet, Christian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-1125-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hardware/Software Co-design for Heterogeneous Multi-core Platforms The hArtes Toolchain

2024-11-26T18:57:30Z

Yazar Bertels, Koen. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-1406-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

DSP Architecture Design Essentials

2024-11-26T18:57:30Z

Yazar Marković, Dejan. author. Brodersen, Robert W. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-9660-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Analog Circuit Design for Process Variation-Resilient Systems-on-a-Chip

2024-11-26T18:57:30Z

Yazar Onabajo, Marvin. author. Silva-Martinez, Jose. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-2296-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tree-based Heterogeneous FPGA Architectures Application Specific Exploration and Optimization

2024-11-26T18:57:30Z

Yazar Farooq, Umer. author. Marrakchi, Zied. author. Mehrez, Habib. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-3594-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Memory Controllers for Real-Time Embedded Systems Predictable and Composable Real-Time Systems

2024-11-26T18:57:30Z

Yazar Akesson, Benny. author. Goossens, Kees. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-8207-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reconfigurable Networks-on-Chip

2024-11-26T18:57:30Z

Yazar Chen, Sao-Jie. author. Lan, Ying-Cherng. author. Tsai, Wen-Chung. author. Hu, Yu-Hen. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-9341-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

High Quality Test Pattern Generation and Boolean Satisfiability

2024-11-26T18:57:30Z

Yazar Eggersglüß, Stephan. author. Drechsler, Rolf. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-9976-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Introduction to Open Core Protocol Fastpath to System-on-Chip Design

2024-11-26T18:57:30Z

Yazar Schwaderer, W David. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-0103-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Art of Hardware Architecture Design Methods and Techniques for Digital Circuits

2024-11-26T18:57:30Z

Yazar Arora, Mohit. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-0397-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

System Specification and Design Languages Selected Contributions from FDL 2010

2024-11-26T18:57:30Z

Yazar Kaźmierski, Tom J. editor. Morawiec, Adam. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-1427-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Disruptive Logic Architectures and Technologies From Device to System Level

2024-11-26T18:57:30Z

Yazar Gaillardon, Pierre-Emmanuel. author. O’Connor, Ian. author. Clermidy, Fabien. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-3058-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Introduction to Hardware Security and Trust

2024-11-26T18:57:30Z

Yazar Tehranipoor, Mohammad. editor. Wang, Cliff. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-8080-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Further Advances in Unmanned Marine Vehicles

2024-11-26T18:57:30Z

Yazar Sutton, R., ed.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1049/PBCE077E
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

From Boolean Logic to Switching Circuits and Automata Towards Modern Information Technology

2024-11-26T18:57:30Z

Yazar Stanković, Radomir S. author. Astola, Jaakko. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-11682-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Electronic System Level Design An Open-Source Approach

2024-11-26T18:57:30Z

Yazar Rigo, Sandro. editor. Azevedo, Rodolfo. editor. Santos, Luiz. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-9940-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Power Distribution Networks with On-Chip Decoupling Capacitors

2024-11-26T18:57:30Z

Yazar Jakushokas, Renatas. author. Popovich, Mikhail. author. Mezhiba, Andrey V. author. Köse, Selçuk. author. Friedman, Eby G. author.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-7871-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Technische Informatik Band 2: Entwurf digitaler Schaltungen

2024-11-26T18:57:30Z

Yazar Kemnitz, Günter. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-17447-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Microelectronic Systems Circuits, Systems and Applications

2024-11-26T18:57:30Z

Yazar Heuberger, Albert. editor. Elst, Günter. editor. Hanke, Randolf. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-23071-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems

2024-11-26T18:57:30Z

Yazar Lokuciejewski, Paul. author. Marwedel, Peter. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-90-481-9929-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Operational Amplifiers Theory and Design

2024-11-26T18:57:30Z

Yazar Huijsing, Johan. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-0596-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

VLSI 2010 Annual Symposium Selected papers

2024-11-26T18:57:30Z

Yazar Voros, Nikolaos. editor. Mukherjee, Amar. editor. Sklavos, Nicolas. editor. Masselos, Konstantinos. editor. Huebner, Michael. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-1488-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A practical guide to SysML the systems modeling language

2024-11-26T18:57:30Z

Yazar Friedenthal, Sanford. Moore, Alan, 1961- Steiner, Rick.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780123852069
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Application Analysis Tools for ASIP Design Application Profiling and Instruction-set Customization

2024-11-26T18:57:30Z

Yazar Karuri, Kingshuk. author. Leupers, Rainer. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-8255-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hardware/Software Architectures for Low-Power Embedded Multimedia Systems

2024-11-26T18:57:30Z

Yazar Shafique, Muhammad. author. Henkel, Jörg. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-9692-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hard Real-Time Computing Systems Predictable Scheduling Algorithms and Applications

2024-11-26T18:57:30Z

Yazar Buttazzo, Giorgio C. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-0676-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

VLSI Design A Practical Guide for FPGA and ASIC Implementations

2024-11-26T18:57:30Z

Yazar Chandrasetty, Vikram Arkalgud. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-1120-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Designing a New Class of Distributed Systems

2024-11-26T18:57:30Z

Yazar Mikkilineni, Rao. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-1924-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multiprocessor Systems on Chip Design Space Exploration

2024-11-26T18:57:30Z

Yazar Kempf, Torsten. author. Ascheid, Gerd. author. Leupers, Rainer. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-8153-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Real-Time Systems Design Principles for Distributed Embedded Applications

2024-11-26T18:57:30Z

Yazar Kopetz, Hermann. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-8237-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Device-Level Modeling and Synthesis of High-Performance Pipeline ADCs

2024-11-26T18:57:30Z

Yazar Ruiz-Amaya, Jesús. author. Delgado-Restituto, Manuel. author. Rodríguez-Vázquez, Ángel. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-8846-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Network-on-Chip Architectures A Holistic Design Exploration

2024-11-26T18:57:30Z

Yazar Nicopoulos, Chrysostomos. author. Narayanan, Vijaykrishnan. author. Das, Chita R. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-90-481-3031-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Quality-Driven SystemC Design

2024-11-26T18:57:30Z

Yazar Große, Daniel. author. Drechsler, Rolf. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-90-481-3631-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Debugging at the Electronic System Level

2024-11-26T18:57:30Z

Yazar Rogin, Frank. author. Drechsler, Rolf. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-90-481-9255-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s Selected Contributions on Specification, Design, and Verification from FDL 2009

2024-11-26T18:57:30Z

Yazar Borrione, Dominique. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-90-481-9304-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Emerging Technologies and Circuits

2024-11-26T18:57:30Z

Yazar Amara, Amara. editor. Ea, Thomas. editor. Belleville, Marc. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-90-481-9379-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Symmetries and Groups in Signal Processing An Introduction

2024-11-26T18:57:30Z

Yazar Sinha, Virendra P. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-90-481-9434-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ultra-Low Energy Domain-Specific Instruction-Set Processors

2024-11-26T18:57:30Z

Yazar Catthoor, Francky. author. Raghavan, Praveen. author. Lambrechts, Andy. author. Jayapala, Murali. author. Kritikakou, Angeliki. author.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-90-481-9528-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Understanding Cryptography A Textbook for Students and Practitioners

2024-11-26T18:57:30Z

Yazar Paar, Christof. author. Pelzl, Jan. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04101-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Analog Circuit Design Smart Data Converters, Filters on Chip, Multimode Transmitters

2024-11-26T18:57:30Z

Yazar Roermund, Arthur H. M. editor. Casier, Herman. editor. Steyaert, Michiel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-90-481-3083-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Efficient Test Methodologies for High-Speed Serial Links

2024-11-26T18:57:30Z

Yazar Hong, Dongwoo. author. Cheng, Kwang-Ting. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-90-481-3443-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Dynamically Reconfigurable Systems Architectures, Design Methods and Applications

2024-11-26T18:57:30Z

Yazar Platzner, Marco. editor. Teich, Jürgen. editor. Wehn, Norbert. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-90-481-3485-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Dynamic Reconfigurable Architectures and Transparent Optimization Techniques Automatic Acceleration of Software Execution

2024-11-26T18:57:30Z

Yazar Schneider Beck Fl., Antonio Carlos. author. Carro, Luigi. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-90-481-3913-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Robust Computing with Nano-scale Devices Progresses and Challenges

2024-11-26T18:57:30Z

Yazar Huang, Chao. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-90-481-8540-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Pipelined ADC Design and Enhancement Techniques

2024-11-26T18:57:30Z

Yazar Ahmed, Imran. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-90-481-8652-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multimedia Multiprocessor Systems Analysis, Design and Management

2024-11-26T18:57:30Z

Yazar Kumar, Akash. author. Corporaal, Henk. author. Mesman, Bart. author. Ha, Yajun. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-0083-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The gm/ID Methodology, A Sizing Tool for Low-voltage Analog CMOS Circuits The semi-empirical and compact model approaches

2024-11-26T18:57:30Z

Yazar Jespers, Paul. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-47101-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Secure Integrated Circuits and Systems

2024-11-26T18:57:30Z

Yazar Verbauwhede, Ingrid M.R. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-71829-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Introduction to service engineering

2024-11-26T18:57:30Z

Yazar Salvendy, Gavriel, 1938- Karwowski, Waldemar, 1953- Wiley InterScience (Online service)
Yer Numarası ONLINE
Elektronik Erişim John Wiley http://dx.doi.org/10.1002/9780470569627
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Electromagnetic Field Computation by Network Methods

2024-11-26T18:57:30Z

Yazar Russer, Peter. author. Mongiardo, Mauro. author. Felsen, Leopold B. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-93946-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

RFID Security Techniques, Protocols and System-on-Chip Design

2024-11-26T18:57:30Z

Yazar Kitsos, Paris. editor. Zhang, Yan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-76481-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cryptographic Engineering

2024-11-26T18:57:30Z

Yazar Koç, Çetin Kaya. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-71817-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Embedded Memories for Nano-Scale VLSIs

2024-11-26T18:57:30Z

Yazar Zhang, Kevin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-88497-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Structured Analog CMOS Design

2024-11-26T18:57:30Z

Yazar Stefanović, Danica. author. Kayal, Maher. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-8573-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic Functions and Equations Examples and Exercises

2024-11-26T18:57:30Z

Yazar Steinbach, Bernd. author. Posthoff, Christian. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-9595-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hardware Software Co-Design of a Multimedia SOC Platform

2024-11-26T18:57:30Z

Yazar Chen, Sao-Jie. author. Lin, Guang-Huei. author. Hsiung, Pao-Ann. author. Hu, Yu-Hen. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-9623-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL’08

2024-11-26T18:57:30Z

Yazar Radetzki, Martin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-9714-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Designing Reliable and Efficient Networks on Chips

2024-11-26T18:57:30Z

Yazar Murali, Srinivasan. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-9757-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multicore Processors and Systems

2024-11-26T18:57:30Z

Yazar Keckler, Stephen W. editor. Olukotun, Kunle. editor. Hofstee, H. Peter. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-0263-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Analog Circuit Design High-speed Clock and Data Recovery, High-performance Amplifiers, Power Management

2024-11-26T18:57:30Z

Yazar Steyaert, Michiel. editor. Roermund, Arthur H. M. van. editor. Casier, Herman. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-8944-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Introduction to Reconfigurable Computing Architectures, Algorithms, and Applications

2024-11-26T18:57:30Z

Yazar Bobda, Christophe. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-6100-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Robustness and Usability in Modern Design Flows

2024-11-26T18:57:30Z

Yazar Fey, Görschwin. author. Drechsler, Rolf. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-6536-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

CMOS SRAM Circuit Design and Parametric Test in Nano-Scaled Technologies Process-Aware SRAM Design and Test

2024-11-26T18:57:30Z

Yazar Pavlov, Andrei. author. Sachdev, Manoj. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-8363-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The NeuroProcessor An Integrated Interface to Biological Neural Networks

2024-11-26T18:57:30Z

Yazar Perelman, Yevgeny. author. Ginosar, Ran. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-8726-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Digitaltechnik — Eine praxisnahe Einführung

2024-11-26T18:57:30Z

Yazar Biere, Armin. author. Kroening, Daniel. author. Weissenbacher, Georg. author. Wintersteiger, Christoph M. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-77729-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Memories in Wireless Systems

2024-11-26T18:57:30Z

Yazar Micheloni, Rino. editor. Campardo, Giovanni. editor. Olivo, Piero. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-79078-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Practical Aspects of Embedded System Design using Microcontrollers

2024-11-26T18:57:30Z

Yazar Parab, Jivan S. author. Shinde, Santosh A. author. Shelake, Vinod G. author. Kamat, Rajanish K. author. Naik, Gourish M. author.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-8393-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Circuit and Interconnect Design for RF and High Bit-Rate Applications

2024-11-26T18:57:30Z

Yazar Veenstra, Hugo. author. Long, John R. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-6884-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

High-Level Modeling and Synthesis of Analog Integrated Systems

2024-11-26T18:57:30Z

Yazar Martens, Ewout S. J. author. Gielen, Georges G. E. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-6802-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Digital VLSI Design with Verilog A Textbook from Silicon Valley Technical Institute

2024-11-26T18:57:30Z

Yazar Williams, John. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-8446-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ingredients for Successful System Level Design Methodology

2024-11-26T18:57:30Z

Yazar Patel, Hiren D. author. Shukla, Sandeep K. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-8472-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Generating Hardware Assertion Checkers For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring

2024-11-26T18:57:30Z

Yazar Boulé, Marc. author. Zilic, Zeljko. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-8586-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

High-Level Synthesis From Algorithm to Digital Circuit

2024-11-26T18:57:30Z

Yazar Coussy, Philippe. editor. Morawiec, Adam. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-8588-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

SysML for Systems Engineering

2024-11-26T18:57:30Z

Yazar Holt, Jon Perry, Simon
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1049/PBPC007E
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A practical guide to SysML Systems Model Language

2024-11-26T18:57:30Z

Yazar Friedenthal, Sanford. Moore, Alan. Steiner, Rick.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780123743794
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Memory Optimization Techniques for Low-Power Embedded Processors

2024-11-26T18:57:30Z

Yazar Verma, Manish. author. Marwedel, Peter. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-5897-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Design and Specification Languages for Embedded Systems Selected Contributions from FDL'06

2024-11-26T18:57:30Z

Yazar Huss, Sorin A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-6149-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Real-Time Object Uniform Design Methodology with UML

2024-11-26T18:57:30Z

Yazar Duc, Bui Minh. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-5977-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems Proceedings of the GM R&D Workshop, Bangalore, India, January 2007

2024-11-26T18:57:30Z

Yazar Ramesh, S. editor. Sampath, Prahladavaradan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-6254-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hardware Verification with SystemVerilog An Object-Oriented Framework

2024-11-26T18:57:30Z

Yazar Mintz, Mike. author. Ekendahl, Robert. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-71740-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

SAT-Based Scalable Formal Verification Solutions

2024-11-26T18:57:30Z

Yazar Ganai, Malay K. author. Gupta, Aarti. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-69167-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Vlsi-Soc: From Systems To Silicon Proceedings of IFIP TC 10, WG 10.5, Thirteenth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC 2005), October 17-19, 2005, Perth, Australia

2024-11-26T18:57:30Z

Yazar Reis, Ricardo. editor. Osseiran, Adam. editor. Pfleiderer, Hans-Joerg. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-73661-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design for Manufacturability and Yield for Nano-Scale CMOS

2024-11-26T18:57:30Z

Yazar Chiang, Charles C. author. Kawa, Jamil. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-5188-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Real-Time Applications with Stochastic Task Execution Times Analysis and Optimisation

2024-11-26T18:57:30Z

Yazar Manolache, Sorin. author. Eles, Petru. author. Peng, Zebo. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/1-4020-5509-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Processor Design System-on-Chip Computing for ASICs and FPGAs

2024-11-26T18:57:30Z

Yazar Nurmi, Jari. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-5530-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cognitive Radio, Software Defined Radio, and Adaptive Wireless Systems

2024-11-26T18:57:30Z

Yazar Arslan, Hüseyin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-5542-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Co-design for System Acceleration A Quantitative Approach

2024-11-26T18:57:30Z

Yazar Nedjah, Nadia. author. Mourelle, Luiza De Macedo. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-5546-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Optimized ASIP Synthesis from Architecture Description Language Models

2024-11-26T18:57:30Z

Yazar Schliebusch, Oliver. author. Meyr, Heinrich. author. Leupers, Rainer. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-5686-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Digital VLSI Systems Design A Design Manual for Implementation of Projects on FPGAs and ASICs Using Verilog

2024-11-26T18:57:30Z

Yazar Ramachandran, S. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-5829-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Designing Embedded Processors A Low Power Perspective

2024-11-26T18:57:30Z

Yazar Henkel, Jörg. editor. Parameswaran, Sri. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-5869-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Exploring C for Microcontrollers A Hands on Approach

2024-11-26T18:57:30Z

Yazar Parab, Jivan S. author. Shelake, Vinod G. author. Kamat, Rajanish K. author. Naik, Gourish M. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-6067-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogeneous Platforms

2024-11-26T18:57:30Z

Yazar Ma, Zhe. editor. Marchal, Pol. editor. Scarpazza, Daniele Paolo. editor. Yang, Peng. editor. Wong, Chun. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-6344-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cryptographic Algorithms on Reconfigurable Hardware

2024-11-26T18:57:30Z

Yazar Rodríguez-Henríquez, Francisco. author. Pérez, Arturo Díaz. author. Saqib, Nazar Abbas. author. Koç, Çetin Kaya. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-36682-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Intelligence for Engineering and Manufacturing

2024-11-26T18:57:30Z

Yazar Andina, Diego. editor. Pham, Duc Truong. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/0-387-37452-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ultra-Low Voltage Nano-Scale Memories

2024-11-26T18:57:30Z

Yazar Itoh, Kiyoo. editor. Horiguchi, Masashi. editor. Tanaka, Hitoshi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-68853-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Systems engineering with SysML/UML modeling, analysis, design

2024-11-26T18:57:30Z

Yazar Weilkiens, Tim.
Yer Numarası ONLINE(313039.1)
Elektronik Erişim Knovel http://app.knovel.com/hotlink/toc/id:kpSESMLUM6/systems-engineering-with Knovel http://app.knovel.com/web/toc.v/cid:kpSESMLUM6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Systems engineering with SysML/UML modeling, analysis, design

2024-11-26T18:57:30Z

Yazar Weilkiens, Tim.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780123742742
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A Roadmap for Formal Property Verification

2024-11-26T18:57:30Z

Yazar DasGupta, Pallab. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-4758-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fast, Efficient and Predictable Memory Accesses Optimization Algorithms for Memory Architecture Aware Compilation

2024-11-26T18:57:30Z

Yazar Wehmeyer, Lars. author. Marwedel, Peter. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/1-4020-4822-X
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

AmIware Hardware Technology Drivers of Ambient Intelligence

2024-11-26T18:57:30Z

Yazar Mukherjee, Satyen. editor. Aarts, Ronald M. editor. Roovers, Raf. editor. Widdershoven, Frans. editor. Ouwerkerk, Martin. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/1-4020-4198-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Linear Systems

2024-11-26T18:57:30Z

Yazar Antsaklis, Panos J. author. Michel, Anthony N. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/0-8176-4435-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Platform Based Design at the Electronic System Level Industry Perspectives and Experiences

2024-11-26T18:57:30Z

Yazar Burton, Mark. author. Morawiec, Adam. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/1-4020-5138-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

FPGA Implementations of Neural Networks

2024-11-26T18:57:30Z

Yazar Omondi, Amos R. editor. Rajapakse, Jagath C. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/0-387-28487-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Embedded System Design

2024-11-26T18:57:30Z

Yazar Marwedel, Peter. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/0-387-30087-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computation Engineering Applied Automata Theory and Logic

2024-11-26T18:57:30Z

Yazar Gopalakrishnan, Ganesh. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/0-387-32520-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

VLSI-SOC: From Systems to Chips IFIP TC 10/ WG 10.5 Twelfth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC 2003), December 1–3, 2003, Darmstadt, Germany

2024-11-26T18:57:30Z

Yazar Glesner, Manfred. editor. Reis, Ricardo. editor. Indrusiak, Leandro. editor. Mooney, Vincent. editor. Eveking, Hans. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/0-387-33403-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A Practical Introduction to PSL

2024-11-26T18:57:30Z

Yazar Eisner, Cindy. author. Fisman, Dana. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-36123-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hardware Verification with C++ A Practitioner’s Handbook

2024-11-26T18:57:30Z

Yazar Mintz, Mike. author. Ekendahl, Robert. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-36254-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

System-level Test and Validation of Hardware/Software Systems

2024-11-26T18:57:30Z

Yazar Sonza Reorda, Matteo. editor. Peng, Zebo. editor. Violante, Massimo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/1-84628-145-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

System Level Design of Reconfigurable Systems-on-Chip

2024-11-26T18:57:30Z

Yazar Voros, Nikolaos S. editor. Masselos, Konstantinos. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b136832
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Functional Verification of Programmable Embedded Architectures A Top-Down Approach

2024-11-26T18:57:30Z

Yazar Mishra, Prabhat. author. Dutt, Nikil D. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b137514
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reconfigurable Computing Accelerating Computation with Field-Programmable Gate Arrays

2024-11-26T18:57:30Z

Yazar Gokhale, Maya. author. Graham, Paul S. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b136834
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of learning and approximate dynamic programming

2024-11-26T18:57:30Z

Yazar Si, Jennie.
Yer Numarası ONLINE
Elektronik Erişim IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5273582
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Control Theory

2024-11-26T18:57:30Z

Yazar Leigh, J. R.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1049/PBCE064E
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1