Horspool, N., Gorman, P.: The ASIC Handbook. Prentice Hall (2001) Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
automata, a Hybrid System for Computational Automata Theory - Sutner (Correct)
The triVM intermediate language reference manual - Johnson (2002) (Correct)
Middle Sized Soccer Robots: ARVAND - Jamzad, Foroughnassiraei.. (2000) (Correct)
Workshop on Dependability Benchmarking, DSN-2002. June .. - The Set-Check-Use.. (Correct)
ARVAND: a Soccer Player Robot - Jamzad, Foroughnassiraei.. (1999) (Correct)
Representing Closed CCS Systems by Petri Nets - Olszewski (1994) (Correct)
Design and Construction of a Soccer Player Robot ARVAND - Jamzad.. (2000) (1 citation) (Correct)
Automated Testing with RT-Tester - Theoretical Issues.. - Dahlweid, Meyer, Peleska (2000) (Correct)
Relating Communicating Processes with Different Interfaces - Burton, Koutny, Pappalardo (Correct)
Workshop on Reliable Embedded Systems, in conjunction with.. - October New Orleans (Correct)
Model Generation of Test Logic for Macrocell Based Designs - Torre, Calvo, Uceda (1996) (Correct)
Automated Proofs of Object Code for a Widely Used Microprocessor - Yu (1992) (20 citations) (Correct)
Compositional Verification of a Network of CSP Processes: using.. - Burton (Correct)
Efficient FPGA Implementations and Cryptanalysis of.. - Trinca (2006) (Correct)
automata, a Hybrid System for Computational - Automata Theory Sutner (Correct)
Institut National Polytechnique De Grenoble - Attribu Par La (Correct)
A Static Analyzer for Finding Dynamic Programming Errors - William Bush Jonathan (2000) (56 citations) (Correct)
Analyzing the Intel Itanium Memory Ordering Rules.. - Yang.. (2003) (Correct)
Analyzing the Intel Itanium Memory Ordering Rules.. - Yang.. (2003) (Correct)
A New Stack Technique for the Management of Runtime Structures .. - Hogen, Loogen (1993) (4 citations) (Correct)
Reliability Considerations of IP Micro Mobility Networks - Imre, Szalay (Correct)
CBack: A Simple Tool for Backtrack Programming in C - Helsgaun (1995) (Correct)
An Extensible Framework for Building Interactive Courses on Web - Buraga (2001) (Correct)
Ahmed Fathi Waly - Virginia Polytechnic Institute Self-citation (Construction) (Correct)
Library Functions Timing Characterization - For Source-Level Analysis (2003) Self-citation (Library) (Correct)
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC