6800 search results - page 764 / 1360 » Testing with Functions as Specifications |
201
click to vote
ICCAD
2003
IEEE
16 years 11 days ago
2003
IEEE
Process variations have become a critical issue in performance verification of high-performance designs. We present a new, statistical timing analysis method that accounts for int...
182
click to vote
MSE
2003
IEEE
16 years 10 days ago
2003
IEEE
A tool has been created for use in a design course to automate integration of new components into a SystemOn-Chip (SoC). Students used this tool to implement a complete SoC Intern...
170
click to vote
SOFTVIS
2003
ACM
16 years 10 days ago
2003
ACM
Software products are often released with missing functionality, errors, or incompatibilities that may result in failures in the field, inferior performances, or, more generally,...
187
click to vote
ASWEC
2009
IEEE
16 years 6 days ago
2009
IEEE
Large, complex and long-lived software need to be upgraded at runtime. Addition, removal and replacement of a software component are the elementary evolution operations that have ...
163
click to vote
DEXAW
2002
IEEE
16 years 1 days ago
2002
IEEE
This paper presents an environment for supporting parallel/distributed programming using Java with RMI and RMI-IIOP (CORBA). The environment implements the notion of Shared Object...