126 search results - page 24 / 26 » Soft Typing |
MICRO
2008
IEEE
14 years 4 months ago
2008
IEEE
Shrinking transistor sizes and a trend toward low-power processors have caused increased leakage, high per-device variation and a larger number of hard and soft errors. Maintainin...
FPGA
2003
ACM
14 years 3 months ago
2003
ACM
As integrated circuits become more and more complex, the ability to make post-fabrication changes will become more and more attractive. This ability can be realized using programm...
RTSS
1996
IEEE
14 years 1 months ago
1996
IEEE
An integrated platform which is capable of meeting the requirements of both traditional real-time control processing and multimedia processing has enormous potential for accommoda...
RTSS
2000
IEEE
14 years 1 months ago
2000
IEEE
Many industrial applications with real-time demands are composed of mixed sets of tasks with a variety of requirements. These can be in the form of standard timing constraints, su...
CP
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. This paper considers the automatic generation of architectural tests (ATGP), a fundamental problem in processor validation. ATGPs are complex conditional constraint satis...