1433 search results - page 194 / 287 » The Design of Large Real-Time Systems: The Time-Triggered Ap... |
ICRA
1995
IEEE
15 years 2 months ago
1995
IEEE
Maintainability is an important issue in design where the accessibility of certain parts is determined for routine maintenance. In the past its study has been largely manual and l...
110
click to vote
FMCAD
2008
Springer
15 years 23 days ago
2008
Springer
el Sequential Memory Abstraction for Model Checking Per Bjesse Advanced Technology Group Synopsys Inc. Many designs intermingle large memories with wide data paths and nontrivial c...
DAC
2003
ACM
16 years 5 days ago
2003
ACM
Verification of system designs continues to be a major challenge today. Simulation remains the primary tool for making sure that implementations perform as they should. We present...
OOPSLA
2007
Springer
15 years 5 months ago
2007
Springer
Ownership domain annotations express and enforce design intent related to object encapsulation and communication directly in real object-oriented code. First, this work will make ...
111
click to vote
CODES
2007
IEEE
15 years 1 months ago
2007
IEEE
In this paper, we propose an efficient technique for run-time application mapping onto Network-on-Chip (NoC) platforms with multiple voltage levels. Our technique consists of a re...