Search Results for Systems engineering. - Narrowed by: SpringerLink (Online service) - E-Book - Electronic Library - Computer science. - Electronics. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSystems$002bengineering.$0026qf$003dAUTHOR$002509Author$002509SpringerLink$002b$002528Online$002bservice$002529$002509SpringerLink$002b$002528Online$002bservice$002529$0026qf$003dITYPE$002509Material$002bType$0025091$00253AE-KITAP$002509E-Book$0026qf$003dLOCATION$002509Shelf$002bLocation$0025091$00253AELEKKUTUPH$002509Electronic$002bLibrary$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026qf$003dSUBJECT$002509Subject$002509Electronics.$002509Electronics.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300$0026isd$003dtrue? 2024-08-26T18:44:31Z Contactless VLSI Measurement and Testing Techniques ent://SD_ILS/0/SD_ILS:401142 2024-08-26T18:44:31Z 2024-08-26T18:44:31Z Author&#160;Sayil, Selahattin. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-69673-7">https://doi.org/10.1007/978-3-319-69673-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Validation &amp; Verification of UML/OCL Models Using Satisfiability Solvers ent://SD_ILS/0/SD_ILS:401280 2024-08-26T18:44:31Z 2024-08-26T18:44:31Z Author&#160;Przigoda, Nils. author.&#160;Wille, Robert. author.&#160;Przigoda, Judith. author.&#160;Drechsler, Rolf. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-72814-8">https://doi.org/10.1007/978-3-319-72814-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Machine Learning for Model Order Reduction ent://SD_ILS/0/SD_ILS:401962 2024-08-26T18:44:31Z 2024-08-26T18:44:31Z Author&#160;Mohamed, Khaled Salah. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-75714-8">https://doi.org/10.1007/978-3-319-75714-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamentals of Electromigration-Aware Integrated Circuit Design ent://SD_ILS/0/SD_ILS:401953 2024-08-26T18:44:31Z 2024-08-26T18:44:31Z Author&#160;Lienig, Jens. author.&#160;Thiele, Matthias. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-73558-0">https://doi.org/10.1007/978-3-319-73558-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Symbolic Parallelization of Nested Loop Programs ent://SD_ILS/0/SD_ILS:402117 2024-08-26T18:44:31Z 2024-08-26T18:44:31Z Author&#160;Tanase, Alexandru-Petru. author.&#160;Hannig, Frank. author.&#160;Teich, J&uuml;rgen. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-73909-0">https://doi.org/10.1007/978-3-319-73909-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Embedded System Design Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of Things ent://SD_ILS/0/SD_ILS:402179 2024-08-26T18:44:31Z 2024-08-26T18:44:31Z Author&#160;Marwedel, Peter. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-56045-8">https://doi.org/10.1007/978-3-319-56045-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Dependable Multicore Architectures at Nanoscale ent://SD_ILS/0/SD_ILS:402190 2024-08-26T18:44:31Z 2024-08-26T18:44:31Z Author&#160;Ottavi, Marco. editor.&#160;Gizopoulos, Dimitris. editor.&#160;Pontarelli, Salvatore. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-54422-9">https://doi.org/10.1007/978-3-319-54422-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal System Verification State-of the-Art and Future Trends ent://SD_ILS/0/SD_ILS:402258 2024-08-26T18:44:31Z 2024-08-26T18:44:31Z Author&#160;Drechsler, Rolf. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-57685-5">https://doi.org/10.1007/978-3-319-57685-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Energy Efficient Embedded Video Processing Systems A Hardware-Software Collaborative Approach ent://SD_ILS/0/SD_ILS:402580 2024-08-26T18:44:31Z 2024-08-26T18:44:31Z Author&#160;Khan, Muhammad Usman Karim. author.&#160;Shafique, Muhammad. author.&#160;Henkel, J&ouml;rg. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-61455-7">https://doi.org/10.1007/978-3-319-61455-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Digital Storage in Consumer Electronics The Essential Guide ent://SD_ILS/0/SD_ILS:401153 2024-08-26T18:44:31Z 2024-08-26T18:44:31Z Author&#160;Coughlin, Thomas M. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-69907-3">https://doi.org/10.1007/978-3-319-69907-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Timing Performance of Nanometer Digital Circuits Under Process Variations ent://SD_ILS/0/SD_ILS:400723 2024-08-26T18:44:31Z 2024-08-26T18:44:31Z Author&#160;Champac, Victor. author.&#160;Garcia Gervacio, Jose. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-75465-9">https://doi.org/10.1007/978-3-319-75465-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2016 ent://SD_ILS/0/SD_ILS:400910 2024-08-26T18:44:31Z 2024-08-26T18:44:31Z Author&#160;Fummi, Franco. editor.&#160;Wille, Robert. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-62920-9">https://doi.org/10.1007/978-3-319-62920-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Techniques for Power, Energy, and Thermal Management for Clustered Manycores ent://SD_ILS/0/SD_ILS:400925 2024-08-26T18:44:31Z 2024-08-26T18:44:31Z Author&#160;Pagani, Santiago. author.&#160;Chen, Jian-Jia. author.&#160;Shafique, Muhammad. author.&#160;Henkel, J&ouml;rg. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-77479-4">https://doi.org/10.1007/978-3-319-77479-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Partial Reconfiguration on FPGAs Architectures, Tools and Applications ent://SD_ILS/0/SD_ILS:331261 2024-08-26T18:44:31Z 2024-08-26T18:44:31Z Author&#160;Koch, Dirk. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331261.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-1225-0">http://dx.doi.org/10.1007/978-1-4614-1225-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Embedded Systems Design with FPGAs ent://SD_ILS/0/SD_ILS:331266 2024-08-26T18:44:31Z 2024-08-26T18:44:31Z Author&#160;Athanas, Peter. editor.&#160;Pnevmatikatos, Dionisios. editor.&#160;Sklavos, Nicolas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331266.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-1362-2">http://dx.doi.org/10.1007/978-1-4614-1362-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> UTLEON3: Exploring Fine-Grain Multi-Threading in FPGAs ent://SD_ILS/0/SD_ILS:331311 2024-08-26T18:44:31Z 2024-08-26T18:44:31Z Author&#160;Dan&#283;k, Martin. author.&#160;Kafka, Leo&scaron;. author.&#160;Kohout, Luk&aacute;&scaron;. author.&#160;S&yacute;kora, Jaroslav. author.&#160;Bartosinski, Roman. author.<br/>Preferred Shelf Number&#160;ONLINE(331311.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-2410-9">http://dx.doi.org/10.1007/978-1-4614-2410-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Constraining Designs for Synthesis and Timing Analysis A Practical Guide to Synopsys Design Constraints (SDC) ent://SD_ILS/0/SD_ILS:331327 2024-08-26T18:44:31Z 2024-08-26T18:44:31Z Author&#160;Gangadharan, Sridhar. author.&#160;Churiwala, Sanjay. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331327.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-3269-2">http://dx.doi.org/10.1007/978-1-4614-3269-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> 3D Video Coding for Embedded Devices Energy Efficient Algorithms and Architectures ent://SD_ILS/0/SD_ILS:332110 2024-08-26T18:44:31Z 2024-08-26T18:44:31Z Author&#160;Zatt, Bruno. author.&#160;Shafique, Muhammad. author.&#160;Bampi, Sergio. author.&#160;Henkel, J&ouml;rg. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332110.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-6759-5">http://dx.doi.org/10.1007/978-1-4614-6759-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> An ASIC Low Power Primer Analysis, Techniques and Specification ent://SD_ILS/0/SD_ILS:331464 2024-08-26T18:44:31Z 2024-08-26T18:44:31Z Author&#160;Chadha, Rakesh. author.&#160;Bhasker, J. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331464.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-4271-4">http://dx.doi.org/10.1007/978-1-4614-4271-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Designing TSVs for 3D Integrated Circuits ent://SD_ILS/0/SD_ILS:331791 2024-08-26T18:44:31Z 2024-08-26T18:44:31Z Author&#160;Khan, Nauman. author.&#160;Hassoun, Soha. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331791.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-5508-0">http://dx.doi.org/10.1007/978-1-4614-5508-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Practical Introduction to Hardware/Software Codesign ent://SD_ILS/0/SD_ILS:331370 2024-08-26T18:44:31Z 2024-08-26T18:44:31Z Author&#160;Schaumont, Patrick R. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331370.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-3737-6">http://dx.doi.org/10.1007/978-1-4614-3737-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> System-Level Validation High-Level Modeling and Directed Test Generation Techniques ent://SD_ILS/0/SD_ILS:331265 2024-08-26T18:44:31Z 2024-08-26T18:44:31Z Author&#160;Chen, Mingsong. author.&#160;Qin, Xiaoke. author.&#160;Koo, Heon-Mo. author.&#160;Mishra, Prabhat. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331265.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-1359-2">http://dx.doi.org/10.1007/978-1-4614-1359-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model-Based Design of Adaptive Embedded Systems ent://SD_ILS/0/SD_ILS:331594 2024-08-26T18:44:31Z 2024-08-26T18:44:31Z Author&#160;Basten, Twan. editor.&#160;Hamberg, Roelof. editor.&#160;Reckers, Frans. editor.&#160;Verriet, Jacques. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331594.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-4821-1">http://dx.doi.org/10.1007/978-1-4614-4821-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Compilation and Synthesis for Embedded Reconfigurable Systems An Aspect-Oriented Approach ent://SD_ILS/0/SD_ILS:331615 2024-08-26T18:44:31Z 2024-08-26T18:44:31Z Author&#160;Cardoso, Jo&atilde;o Manuel Paiva. editor.&#160;Diniz, Pedro C. editor.&#160;de Figueiredo Coutinho, Jos&eacute; Gabriel. editor.&#160;Petrov, Zlatko Marinov. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331615.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-4894-5">http://dx.doi.org/10.1007/978-1-4614-4894-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Energy-Efficient Communication Processors Design and Implementation for Emerging Wireless Systems ent://SD_ILS/0/SD_ILS:331642 2024-08-26T18:44:31Z 2024-08-26T18:44:31Z Author&#160;Fasthuber, Robert. author.&#160;Catthoor, Francky. author.&#160;Raghavan, Praveen. author.&#160;Naessens, Frederik. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331642.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-4992-8">http://dx.doi.org/10.1007/978-1-4614-4992-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tree-based Heterogeneous FPGA Architectures Application Specific Exploration and Optimization ent://SD_ILS/0/SD_ILS:174296 2024-08-26T18:44:31Z 2024-08-26T18:44:31Z Author&#160;Farooq, Umer. author.&#160;Marrakchi, Zied. author.&#160;Mehrez, Habib. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-3594-5">http://dx.doi.org/10.1007/978-1-4614-3594-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Introduction to Hardware Security and Trust ent://SD_ILS/0/SD_ILS:173063 2024-08-26T18:44:31Z 2024-08-26T18:44:31Z Author&#160;Tehranipoor, Mohammad. editor.&#160;Wang, Cliff. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-8080-9">http://dx.doi.org/10.1007/978-1-4419-8080-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Art of Hardware Architecture Design Methods and Techniques for Digital Circuits ent://SD_ILS/0/SD_ILS:173673 2024-08-26T18:44:31Z 2024-08-26T18:44:31Z Author&#160;Arora, Mohit. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-0397-5">http://dx.doi.org/10.1007/978-1-4614-0397-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Disruptive Logic Architectures and Technologies From Device to System Level ent://SD_ILS/0/SD_ILS:174185 2024-08-26T18:44:31Z 2024-08-26T18:44:31Z Author&#160;Gaillardon, Pierre-Emmanuel. author.&#160;O&rsquo;Connor, Ian. author.&#160;Clermidy, Fabien. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-3058-2">http://dx.doi.org/10.1007/978-1-4614-3058-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High Quality Test Pattern Generation and Boolean Satisfiability ent://SD_ILS/0/SD_ILS:173360 2024-08-26T18:44:31Z 2024-08-26T18:44:31Z Author&#160;Eggersgl&uuml;&szlig;, Stephan. author.&#160;Drechsler, Rolf. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-9976-4">http://dx.doi.org/10.1007/978-1-4419-9976-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Introduction to Open Core Protocol Fastpath to System-on-Chip Design ent://SD_ILS/0/SD_ILS:173590 2024-08-26T18:44:31Z 2024-08-26T18:44:31Z Author&#160;Schwaderer, W David. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-0103-2">http://dx.doi.org/10.1007/978-1-4614-0103-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> System Specification and Design Languages Selected Contributions from FDL 2010 ent://SD_ILS/0/SD_ILS:173937 2024-08-26T18:44:31Z 2024-08-26T18:44:31Z Author&#160;Ka&#378;mierski, Tom J. editor.&#160;Morawiec, Adam. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-1427-8">http://dx.doi.org/10.1007/978-1-4614-1427-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Analog Circuit Design for Process Variation-Resilient Systems-on-a-Chip ent://SD_ILS/0/SD_ILS:174143 2024-08-26T18:44:31Z 2024-08-26T18:44:31Z Author&#160;Onabajo, Marvin. author.&#160;Silva-Martinez, Jose. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-2296-9">http://dx.doi.org/10.1007/978-1-4614-2296-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> VLSI 2010 Annual Symposium Selected papers ent://SD_ILS/0/SD_ILS:206081 2024-08-26T18:44:31Z 2024-08-26T18:44:31Z Author&#160;Voros, Nikolaos. editor.&#160;Mukherjee, Amar. editor.&#160;Sklavos, Nicolas. editor.&#160;Masselos, Konstantinos. editor.&#160;Huebner, Michael. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-94-007-1488-5">http://dx.doi.org/10.1007/978-94-007-1488-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Power Distribution Networks with On-Chip Decoupling Capacitors ent://SD_ILS/0/SD_ILS:173005 2024-08-26T18:44:31Z 2024-08-26T18:44:31Z Author&#160;Jakushokas, Renatas. author.&#160;Popovich, Mikhail. author.&#160;Mezhiba, Andrey V. author.&#160;K&ouml;se, Sel&ccedil;uk. author.&#160;Friedman, Eby G. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-7871-4">http://dx.doi.org/10.1007/978-1-4419-7871-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> VLSI Design A Practical Guide for FPGA and ASIC Implementations ent://SD_ILS/0/SD_ILS:173857 2024-08-26T18:44:31Z 2024-08-26T18:44:31Z Author&#160;Chandrasetty, Vikram Arkalgud. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-1120-8">http://dx.doi.org/10.1007/978-1-4614-1120-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL&rsquo;08 ent://SD_ILS/0/SD_ILS:170626 2024-08-26T18:44:31Z 2024-08-26T18:44:31Z Author&#160;Radetzki, Martin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-9714-0">http://dx.doi.org/10.1007/978-1-4020-9714-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Robustness and Usability in Modern Design Flows ent://SD_ILS/0/SD_ILS:169847 2024-08-26T18:44:31Z 2024-08-26T18:44:31Z Author&#160;Fey, G&ouml;rschwin. author.&#160;Drechsler, Rolf. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-6536-1">http://dx.doi.org/10.1007/978-1-4020-6536-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High-Level Modeling and Synthesis of Analog Integrated Systems ent://SD_ILS/0/SD_ILS:169947 2024-08-26T18:44:31Z 2024-08-26T18:44:31Z Author&#160;Martens, Ewout S. J. author.&#160;Gielen, Georges G. E. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-6802-7">http://dx.doi.org/10.1007/978-1-4020-6802-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Digitaltechnik &mdash; Eine praxisnahe Einf&uuml;hrung ent://SD_ILS/0/SD_ILS:187960 2024-08-26T18:44:31Z 2024-08-26T18:44:31Z Author&#160;Biere, Armin. author.&#160;Kroening, Daniel. author.&#160;Weissenbacher, Georg. author.&#160;Wintersteiger, Christoph M. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-77729-8">http://dx.doi.org/10.1007/978-3-540-77729-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Design for Manufacturability and Yield for Nano-Scale CMOS ent://SD_ILS/0/SD_ILS:169402 2024-08-26T18:44:31Z 2024-08-26T18:44:31Z Author&#160;Chiang, Charles C. author.&#160;Kawa, Jamil. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-5188-3">http://dx.doi.org/10.1007/978-1-4020-5188-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Real-Time Applications with Stochastic Task Execution Times Analysis and Optimisation ent://SD_ILS/0/SD_ILS:169502 2024-08-26T18:44:31Z 2024-08-26T18:44:31Z Author&#160;Manolache, Sorin. author.&#160;Eles, Petru. author.&#160;Peng, Zebo. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/1-4020-5509-9">http://dx.doi.org/10.1007/1-4020-5509-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Optimized ASIP Synthesis from Architecture Description Language Models ent://SD_ILS/0/SD_ILS:169564 2024-08-26T18:44:31Z 2024-08-26T18:44:31Z Author&#160;Schliebusch, Oliver. author.&#160;Meyr, Heinrich. author.&#160;Leupers, Rainer. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-5686-4">http://dx.doi.org/10.1007/978-1-4020-5686-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Digital VLSI Systems Design A Design Manual for Implementation of Projects on FPGAs and ASICs Using Verilog ent://SD_ILS/0/SD_ILS:169609 2024-08-26T18:44:31Z 2024-08-26T18:44:31Z Author&#160;Ramachandran, S. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-5829-5">http://dx.doi.org/10.1007/978-1-4020-5829-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Designing Embedded Processors A Low Power Perspective ent://SD_ILS/0/SD_ILS:169621 2024-08-26T18:44:31Z 2024-08-26T18:44:31Z Author&#160;Henkel, J&ouml;rg. editor.&#160;Parameswaran, Sri. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-5869-1">http://dx.doi.org/10.1007/978-1-4020-5869-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Real-Time Object Uniform Design Methodology with UML ent://SD_ILS/0/SD_ILS:169647 2024-08-26T18:44:31Z 2024-08-26T18:44:31Z Author&#160;Duc, Bui Minh. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-5977-3">http://dx.doi.org/10.1007/978-1-4020-5977-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Exploring C for Microcontrollers A Hands on Approach ent://SD_ILS/0/SD_ILS:169680 2024-08-26T18:44:31Z 2024-08-26T18:44:31Z Author&#160;Parab, Jivan S. author.&#160;Shelake, Vinod G. author.&#160;Kamat, Rajanish K. author.&#160;Naik, Gourish M. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-6067-0">http://dx.doi.org/10.1007/978-1-4020-6067-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Intelligence for Engineering and Manufacturing ent://SD_ILS/0/SD_ILS:166201 2024-08-26T18:44:31Z 2024-08-26T18:44:31Z Author&#160;Andina, Diego. editor.&#160;Pham, Duc Truong. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/0-387-37452-3">http://dx.doi.org/10.1007/0-387-37452-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Roadmap for Formal Property Verification ent://SD_ILS/0/SD_ILS:169271 2024-08-26T18:44:31Z 2024-08-26T18:44:31Z Author&#160;DasGupta, Pallab. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-4758-9">http://dx.doi.org/10.1007/978-1-4020-4758-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fast, Efficient and Predictable Memory Accesses Optimization Algorithms for Memory Architecture Aware Compilation ent://SD_ILS/0/SD_ILS:169287 2024-08-26T18:44:31Z 2024-08-26T18:44:31Z Author&#160;Wehmeyer, Lars. author.&#160;Marwedel, Peter. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/1-4020-4822-X">http://dx.doi.org/10.1007/1-4020-4822-X</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> System Level Design of Reconfigurable Systems-on-Chip ent://SD_ILS/0/SD_ILS:165227 2024-08-26T18:44:31Z 2024-08-26T18:44:31Z Author&#160;Voros, Nikolaos S. editor.&#160;Masselos, Konstantinos. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b136832">http://dx.doi.org/10.1007/b136832</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> System-level Test and Validation of Hardware/Software Systems ent://SD_ILS/0/SD_ILS:175272 2024-08-26T18:44:31Z 2024-08-26T18:44:31Z Author&#160;Sonza Reorda, Matteo. editor.&#160;Peng, Zebo. editor.&#160;Violante, Massimo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/1-84628-145-8">http://dx.doi.org/10.1007/1-84628-145-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>