601 search results - page 46 / 121 » Simulation vs. Equivalence |
CPHYSICS
2007
13 years 9 months ago
2007
During the last decade, several quantum information protocols, such as quantum key distribution, teleportation or quantum computation, have attracted a lot of interest. Despite th...
DAC
2007
ACM
14 years 1 months ago
2007
ACM
It has long been the practice to create models in C or C++ for architectural studies, software prototyping and RTL verification in the design of Systems-on-Chip (SoC). It is often...
ACL
1997
13 years 10 months ago
1997
This paper shows that a class of Combinatory Categorial Grammars (CCGs) augmented with a linguistically-motivated form of type raising involving variables is weakly equivalent to ...
MR
2006
13 years 9 months ago
2006
The intrinsic failure mechanisms and reliability models of state-of-the-art MOSFETs are reviewed. The simulation tools and failure equivalent circuits are described. The review in...
ISBI
2004
IEEE
14 years 10 months ago
2004
IEEE
We investigated nonrigid co-registration of PET and MR breast images to improve diagnostic specificity in difficult-to-interpret mammograms, and ultimately to avoid biopsy. A defo...