1179 search results - page 62 / 236 » Relative Timing Based Verification of Timed Circuits and Sys... |
150
Voted
ICCAD
2003
IEEE
15 years 9 months ago
2003
IEEE
The impact of power supply integrity on a design has become a critical issue, not only for functional verification, but also for performance verification. Traditional analysis has...
131
Voted
DATE
1999
IEEE
15 years 8 months ago
1999
IEEE
Software programming languages, such as C/C++, have been used as means for specifying hardware for quite a while. Different design methodologies have exploited the advantages of f...
124
Voted
ICSM
2002
IEEE
15 years 8 months ago
2002
IEEE
Testing for software security is a lengthy, complex and costly process. Currently, security testing is done using penetration analysis and formal verification of security kernels....
132
Voted
CLUSTER
2002
IEEE
15 years 8 months ago
2002
IEEE
The join is the most important, but also the most time consuming operation in relational database systems. We implemented the parallel Hybrid Hash Join algorithm on a PC-cluster a...
136
Voted
MOBICOM
2012
ACM
13 years 6 months ago
2012
ACM
Access to relative location of nearby vehicles on the local roads or on the freeways is useful for providing critical alerts to the drivers, thereby enhancing their driving experi...