|
|
System-Level Validation [electronic resource] : High-Level Modeling and Directed Test Generation Techniques / by Mingsong Chen, Xiaoke Qin, Heon-Mo Koo, Prabhat Mishra.
by Chen, Mingsong [author.] | Qin, Xiaoke [author.] | Koo, Heon-Mo [author.] | Mishra, Prabhat [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
A Pipelined Multi-core MIPS Machine [electronic resource] : Hardware Implementation and Correctness Proof / by Mikhail Kovalev, Silvia M. M�uller, Wolfgang J. Paul.
by Kovalev, Mikhail [author.] | M�uller, Silvia M [author.] | Paul, Wolfgang J [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
Dynamic Reconfiguration in Real-Time Systems [electronic resource] : Energy, Performance, and Thermal Perspectives / by Weixun Wang, Prabhat Mishra, Sanjay Ranka.
by Wang, Weixun [author.] | Mishra, Prabhat [author.] | Ranka, Sanjay [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
Engineering Embedded Systems [electronic resource] : Physics, Programs, Circuits / by Peter Hintenaus.
by Hintenaus, Peter [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
High-Performance Computing on the Intel� Xeon Phi™ [electronic resource] : How to Fully Exploit MIC Architectures / by Endong Wang, Qing Zhang, Bo Shen, Guangyong Zhang, Xiaowei Lu, Qing Wu, Yajuan Wang.
by Wang, Endong [author.] | Zhang, Qing [author.] | Shen, Bo [author.] | Zhang, Guangyong [author.] | Lu, Xiaowei [author.] | Wu, Qing [author.] | Wang, Yajuan [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
Designing TSVs for 3D Integrated Circuits [electronic resource] / by Nauman Khan, Soha Hassoun.
by Khan, Nauman [author.] | Hassoun, Soha [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
Advanced Computer Architecture [electronic resource] : 10th Annual Conference, ACA 2014, Shenyang, China, August 23-24, 2014. Proceedings / edited by Junjie Wu, Haibo Chen, Xingwei Wang.
by Wu, Junjie [editor.] | Chen, Haibo [editor.] | Wang, Xingwei [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
Languages, Design Methods, and Tools for Electronic System Design [electronic resource] : Selected Contributions from FDL 2013 / edited by Marie-Minerve Lou�erat, Torsten Maehne.
by Lou�erat, Marie-Minerve [editor.] | Maehne, Torsten [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
High-Performance Big-Data Analytics [electronic resource] : Computing Systems and Approaches / by Pethuru Raj, Anupama Raman, Dhivya Nagaraj, Siddhartha Duggirala.
by Raj, Pethuru [author.] | Raman, Anupama [author.] | Nagaraj, Dhivya [author.] | Duggirala, Siddhartha [author.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
Exploring Memory Hierarchy Design with Emerging Memory Technologies [electronic resource] / by Guangyu Sun.
by Sun, Guangyu [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
Models, Methods, and Tools for Complex Chip Design [electronic resource] : Selected Contributions from FDL 2012 / edited by Jan Haase.
by Haase, Jan [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
Trace-Based Post-Silicon Validation for VLSI Circuits [electronic resource] / by Xiao Liu, Qiang Xu.
by Liu, Xiao [author.] | Xu, Qiang [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Heidelberg : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
High-Performance Computational Solutions in Protein Bioinformatics [electronic resource] / by Dariusz Mrozek.
by Mrozek, Dariusz [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
Energy-aware Scheduling on Multiprocessor Platforms [electronic resource] / by Dawei Li, Jie Wu.
by Li, Dawei [author.] | Wu, Jie [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
Design Technologies for Green and Sustainable Computing Systems [electronic resource] / edited by Partha Pratim Pande, Amlan Ganguly, Krishnendu Chakrabarty.
by Pande, Partha Pratim [editor.] | Ganguly, Amlan [editor.] | Chakrabarty, Krishnendu [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
Model-Based Design of Adaptive Embedded Systems [electronic resource] / edited by Twan Basten, Roelof Hamberg, Frans Reckers, Jacques Verriet.
by Basten, Twan [editor.] | Hamberg, Roelof [editor.] | Reckers, Frans [editor.] | Verriet, Jacques [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
Embedded Systems Development [electronic resource] : From Functional Models to Implementations / edited by Alberto Sangiovanni-Vincentelli, Haibo Zeng, Marco Di Natale, Peter Marwedel.
by Sangiovanni-Vincentelli, Alberto [editor.] | Zeng, Haibo [editor.] | Di Natale, Marco [editor.] | Marwedel, Peter [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
Protecting Chips Against Hold Time Violations Due to Variability [electronic resource] / by Gustavo Neuberger, Gilson Wirth, Ricardo Reis.
by Neuberger, Gustavo [author.] | Wirth, Gilson [author.] | Reis, Ricardo [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
Computer Engineering and Technology [electronic resource] : 18th CCF Conference, NCCET 2014, Guiyang, China, July 29 - August 1, 2014, Revised Selected Papers / edited by Weixia Xu, Liquan Xiao, Jinwen Li, Chengyi Zhang, Zhenzhen Zhu.
by Xu, Weixia [editor.] | Xiao, Liquan [editor.] | Li, Jinwen [editor.] | Zhang, Chengyi [editor.] | Zhu, Zhenzhen [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
Scalable and Near-Optimal Design Space Exploration for Embedded Systems [electronic resource] / by Angeliki Kritikakou, Francky Catthoor, Costas Goutis.
by Kritikakou, Angeliki [author.] | Catthoor, Francky [author.] | Goutis, Costas [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|