Search Results for Computer hardware.

1.

Cover image for Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures

Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures

Author

Bernardo, Marco. editor. Cimatti, Alessandro. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11757283

Format:

Availability

Online Library~1

Available:
Copies:

2.

RTL hardware design using VHDL coding for efficiency, portability, and scalability

Author

Chu, Pong P., 1959-

Preferred Shelf Number

ONLINE

Electronic Access

IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5237648

Format:

Availability

Online Library~1

Available:
Copies:

3.

Fully-Depleted SOI CMOS Circuits and Technology for Ultralow-Power Applications

Author

Sakurai, Takayasu. author. Matsuzawa, Akira. author. Douseki, Takakuni. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-29218-2

Format:

Availability

Online Library~1

Available:
Copies:

4.

Interconnect Noise Optimization in Nanometer Technologies

Author

Elgamel, Mohamed A. author. Bayoumi, Magdy A. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/0-387-29366-3

Format:

Availability

Online Library~1

Available:
Copies:

5.

Evolvable Hardware

Author

Higuchi, Tetsuya. editor. Liu, Yong. editor. Yao, Xin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/0-387-31238-2

Format:

Availability

Online Library~1

Available:
Copies:

6.

Applications of Specification and Design Languages for SoCs Selected papers from FDL 2005

Author

Vachoux, A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-4998-9

Format:

Availability

Online Library~1

Available:
Copies:

7.

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

Author

Burton, Mark. author. Morawiec, Adam. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-4020-5138-7

Format:

Availability

Online Library~1

Available:
Copies:

8.

Integrated Circuit Test Engineering Modern Techniques

Author

Grout, Ian A. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-84628-173-3

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Applications of Evolutionary Computing EvoWorkshops 2006: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, and EvoSTOC, Budapest, Hungary, April 10-12, 2006. Proceedings

Applications of Evolutionary Computing EvoWorkshops 2006: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, and EvoSTOC, Budapest, Hungary, April 10-12, 2006. Proceedings

Author

Rothlauf, Franz. editor. Branke, Jürgen. editor. Cagnoni, Stefano. editor. Costa, Ernesto. editor. Cotta, Carlos. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11732242

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Embedded Computer Systems: Architectures, Modeling, and Simulation 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006. Proceedings

Embedded Computer Systems: Architectures, Modeling, and Simulation 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006. Proceedings

Author

Vassiliadis, Stamatis. editor. Wong, Stephan. editor. Hämäläinen, Timo D. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11796435

Format:

Availability

Online Library~1

Available:
Copies:

11.

Rechneraufbau und Rechnerarchitektur

Author

Böttcher, Axel. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/3-540-44731-8

Format:

Availability

Online Library~1

Available:
Copies:

12.

Software-Implemented Hardware Fault Tolerance

Author

Goloubeva, Olga. author. Rebaudengo, Maurizio. author. Reorda, Matteo Sonza. author. Violante, Massimo. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/0-387-32937-4

Format:

Availability

Online Library~1

Available:
Copies:

13.

Cover image for Knowledge Enterprise: Intelligent Strategies in Product Design, Manufacturing, and Management Proceedings of PROLAMAT 2006, IFIP TC5 International Conference, June 15–17, 2006, Shanghai, China

Knowledge Enterprise: Intelligent Strategies in Product Design, Manufacturing, and Management Proceedings of PROLAMAT 2006, IFIP TC5 International Conference, June 15–17, 2006, Shanghai, China

Author

Wang, Kesheng. editor. Kovacs, George L. editor. Wozny, Michael. editor. Fang, Minglun. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/0-387-34403-9

Format:

Availability

Online Library~1

Available:
Copies:

14.

Einführung in die Halbleiter-Schaltungstechnik

Author

Göbel, Holger. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-34030-0

Format:

Availability

Online Library~1

Available:
Copies:

15.

Cover image for Reconfigurable Computing: Architectures and Applications Second International Workshop, ARC 2006, Delft, The Netherlands, March 1-3, 2006, Revised Selected Papers

Reconfigurable Computing: Architectures and Applications Second International Workshop, ARC 2006, Delft, The Netherlands, March 1-3, 2006, Revised Selected Papers

Author

Bertels, Koen. editor. Cardoso, João M. P. editor. Vassiliadis, Stamatis. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11802839

Format:

Availability

Online Library~1

Available:
Copies:

16.

Digital logic and microprocessor design with VHDL

Author

Hwang, Enoch O.

Preferred Shelf Number

TK7888.4 .H885 2006

Format:

Availability

Beytepe Library~2

Available:
Copies:

17.

Scalable Hardware Verification with Symbolic Simulation

Author

Bertacco, Valeria. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/0-387-29906-8

Format:

Availability

Online Library~1

Available:
Copies:

18.

SystemVerilog for Design A Guide to Using SystemVerilog for Hardware Design and Modeling

Author

Sutherland, Stuart. author. Davidmann, Simon. author. Flake, Peter. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/0-387-36495-1

Format:

Availability

Online Library~1

Available:
Copies:

19.

Systemverilog for Verification A Guide to Learning the Testbench Language Features

Author

Spear, Chris. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b138536

Format:

Availability

Online Library~1

Available:
Copies:

20.

Leakage in Nanometer CMOS Technologies

Author

Narendra, Siva G. author. Chandrakasan, Anantha. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/0-387-28133-9

Format:

Availability

Online Library~1

Available:
Copies:

21.

Hard Disk Drive Servo Systems

Author

Chen, Ben M. author. Peng, Kemao. author. Lee, Tong H. author. Venkataramanan, Venkatakrishnan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-84628-305-1

Format:

Availability

Online Library~1

Available:
Copies:

22.

Ubiquitous and Pervasive Commerce New Frontiers for Electronic Business

Author

Roussos, George. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-84628-321-3

Format:

Availability

Online Library~1

Available:
Copies:

23.

Performance evaluation and benchmarking

Author

Eeckhout, Lieven. John, Lizy Kurian.

Preferred Shelf Number

QA76.9 .E94 J64 2006

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

24.

Scientific examination of questioned documents

Author

Kelly, Jan Seaman. Lindblom, Brian S.

Preferred Shelf Number

HV8074 .S356 2006

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}