1179 search results - page 75 / 236 » Relative Timing Based Verification of Timed Circuits and Sys... |
140
Voted
SSS
2010
Springer
15 years 1 months ago
2010
Springer
Design and implementation of distributed algorithms often involve many subtleties due to their complex structure, non-determinism, and low atomicity as well as occurrence of unanti...
120
Voted
CODES
2004
IEEE
15 years 7 months ago
2004
IEEE
This paper presents an RTOS-centric hardwareisoftware cosimulator which we have developed for embedded system design. One of the most remarkable features in our cosimulator is tha...
172
Voted
FMCAD
2006
Springer
15 years 7 months ago
2006
Springer
The importance of re-usable Intellectual Properties (IPs) cores is increasing due to the growing complexity of today's system-on-chip and the need for rapid prototyping. In th...
118
Voted
ISQED
2007
IEEE
15 years 10 months ago
2007
IEEE
According to the current trend of increasing variations in process technologies and thus in performance, the conservative worst-case design will not work since design margins can ...
111
Voted
TKDE
2008
15 years 3 months ago
2008
Checking data possession in networked information systems such as those related to critical infrastructures (power facilities, airports, data vaults, defense systems, and so forth)...