239 search results - page 30 / 48 » An Architecture for Kernel-Level Verification of Executables... |
ICS
2000
Tsinghua U.
14 years 6 days ago
2000
Tsinghua U.
Complete system simulation to understand the influence of architecture and operating systems on application execution has been identified to be crucial for systems design. While t...
HPCA
2009
IEEE
14 years 9 months ago
2009
IEEE
The number of functional errors escaping design verification and being released into final silicon is growing, due to the increasing complexity and shrinking production schedules ...
SSR
2001
13 years 10 months ago
2001
The promise of component-based software development is that larger, more complex systems can be built reasonably quickly and reliably from pre-fabricated ("off-the-shelf"...
DATE
2003
IEEE
14 years 1 months ago
2003
IEEE
Software streaming allows the execution of streamenabled software on a device even while the transmission/streaming may still be in progress. Thus, the software can be executed wh...
FPGA
1999
ACM
14 years 27 days ago
1999
ACM
Multi-FPGA systems are used as custom computing machines to solve compute intensive problems and also in the verification and prototyping of large circuits. In this paper, we addr...