Sciweavers

1077 search results - page 67 / 216
» integration 2000
Sort
View
VLSID
2000
IEEE
135views VLSI» more  VLSID 2000»
13 years 11 months ago
Performance and Functional Verification of Microprocessors
We address the problem of verifying the correctness of pre-silicon models of a microprocessor. We touch on the latest advances in this area by considering two different aspects of...
Pradip Bose, Jacob A. Abraham
DATE
2000
IEEE
132views Hardware» more  DATE 2000»
14 years 10 days ago
A Generic Architecture for On-Chip Packet-Switched Interconnections
This paper presents an architectural study of a scalable system-level interconnection template. We explain why the shared bus, which is today's dominant template, will not me...
Pierre Guerrier, Alain Greiner
CGF
2000
117views more  CGF 2000»
13 years 7 months ago
Versatile Tuning of Humanoid Agent Activity
In this paper, we present an integration framework for heterogeneous motion generators. The objective is to outline issues that are currently easily solved in professional post-pr...
Luc Emering, Ronan Boulic, Tom Molet, Daniel Thalm...
DAC
2000
ACM
14 years 9 days ago
An asymptotically constant, linearly bounded methodology for the statistical simulation of analog circuits including component m
Abstract: This paper presents a new statistical methodology to simulate the effect of both inter-die and intra-die variation on the electrical performance of analog integrated circ...
Carlo Guardiani, Sharad Saxena, Patrick McNamara, ...
FSE
2001
Springer
116views Cryptology» more  FSE 2001»
14 years 12 days ago
NESSIE: A European Approach to Evaluate Cryptographic Algorithms
The NESSIE project (New European Schemes for Signature, Integrity and Encryption) intends to put forward a portfolio containing the next generation of cryptographic primitives. The...
Bart Preneel