Refine your search

Your search returned 16 results.

Not what you expected? Check for suggestions
1.
System Level Design of Reconfigurable Systems-on-Chip [electronic resource] / edited by Nikolaos S. Voros, Konstantinos Masselos.

by Voros, Nikolaos S [editor.] | Masselos, Konstantinos [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Boston, MA : Springer US, 2005Online access: Click here to access online Availability: No items available :

2.
A Practical Introduction to PSL [electronic resource] / by Cindy Eisner, Dana Fisman.

by Eisner, Cindy [author.] | Fisman, Dana [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available :

3.
Hardware Verification with C++ [electronic resource] : A Practitioner’s Handbook / by Mike Mintz, Robert Ekendahl.

by Mintz, Mike [author.] | Ekendahl, Robert [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available :

4.
Hardware Verification with SystemVerilog [electronic resource] : An Object-Oriented Framework / by Mike Mintz, Robert Ekendahl.

by Mintz, Mike [author.] | Ekendahl, Robert [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Boston, MA : Springer US, 2007Online access: Click here to access online Availability: No items available :

5.
Optimized ASIP Synthesis from Architecture Description Language Models [electronic resource] / by Oliver Schliebusch, Heinrich Meyr, Rainer Leupers.

by Schliebusch, Oliver [author.] | Meyr, Heinrich [author.] | Leupers, Rainer [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Dordrecht : Springer Netherlands, 2007Online access: Click here to access online Availability: No items available :

6.
Advanced Memory Optimization Techniques for Low-Power Embedded Processors [electronic resource] / by Manish Verma, Peter Marwedel.

by Verma, Manish [author.] | Marwedel, Peter [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Dordrecht : Springer Netherlands, 2007Online access: Click here to access online Availability: No items available :

7.
Real-Time Object Uniform Design Methodology with UML [electronic resource] / edited by Bui Minh Duc.

by Duc, Bui Minh [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Dordrecht : Springer Netherlands, 2007Online access: Click here to access online Availability: No items available :

8.
Exploring C for Microcontrollers [electronic resource] : A Hands on Approach / by Jivan S. Parab, Vinod G. Shelake, Rajanish K. Kamat, Gourish M. Naik.

by Parab, Jivan S [author.] | Shelake, Vinod G [author.] | Kamat, Rajanish K [author.] | Naik, Gourish M [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Dordrecht : Springer Netherlands, 2007Online access: Click here to access online Availability: No items available :

9.
Advances in Design and Specification Languages for Embedded Systems [electronic resource] : Selected Contributions from FDL'06 / edited by Sorin A. Huss.

by Huss, Sorin A [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Dordrecht : Springer Netherlands, 2007Online access: Click here to access online Availability: No items available :

10.
Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogeneous Platforms [electronic resource] / edited by Zhe Ma, Pol Marchal, Daniele Paolo Scarpazza, Peng Yang, Chun Wong, José Ignacio Gómez, Stefaan Himpe, Chantal Ykman- Couvreur, Francky Catthoor.

by Ma, Zhe [editor.] | Marchal, Pol [editor.] | Scarpazza, Daniele Paolo [editor.] | Yang, Peng [editor.] | Wong, Chun [editor.] | Gómez, José Ignacio [editor.] | Himpe, Stefaan [editor.] | Couvreur, Chantal Ykman- [editor.] | Catthoor, Francky [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Dordrecht : Springer Netherlands, 2007Online access: Click here to access online Availability: No items available :

11.
Digital VLSI Design with Verilog [electronic resource] : A Textbook from Silicon Valley Technical Institute / by John Williams.

by Williams, John [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Dordrecht : Springer Netherlands, 2008Online access: Click here to access online Availability: No items available :

12.
Generating Hardware Assertion Checkers [electronic resource] : For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring / by Marc Boulé, Zeljko Zilic.

by Boulé, Marc [author.] | Zilic, Zeljko [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Dordrecht : Springer Netherlands, 2008Online access: Click here to access online Availability: No items available :

13.
Languages for Embedded Systems and their Applications [electronic resource] : Selected Contributions on Specification, Design, and Verification from FDL’08 / edited by Martin Radetzki.

by Radetzki, Martin [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Dordrecht : Springer Netherlands, 2009Online access: Click here to access online Availability: No items available :

14.
Dynamically Reconfigurable Systems [electronic resource] : Architectures, Design Methods and Applications / edited by Marco Platzner, Jürgen Teich, Norbert Wehn.

by Platzner, Marco [editor.] | Teich, Jürgen [editor.] | Wehn, Norbert [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Dordrecht : Springer Netherlands, 2010Online access: Click here to access online Availability: No items available :

15.
Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s [electronic resource] : Selected Contributions on Specification, Design, and Verification from FDL 2009 / edited by Dominique Borrione.

by Borrione, Dominique [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available :

16.
Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems [electronic resource] / by Paul Lokuciejewski, Peter Marwedel.

by Lokuciejewski, Paul [author.] | Marwedel, Peter [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available :


Implemented and Maintained by Biju Patnaik Central Library.
For any Suggestions/Query Contact to library or Email: library@nitrkl.ac.in OR bpcl-cir@nitrkl.ac.in. Ph:91+6612462103
Website/OPAC best viewed in Mozilla Browser in 1366X768 Resolution.

Powered by Koha