138 search results - page 22 / 28 » Compiled-code-based simulation with timing verification |
DAC
2004
ACM
16 years 17 days ago
2004
ACM
Capacitance extraction is an important problem that has been extensively studied. This paper presents a significant improvement for the fast multipole accelerated boundary element...
116
Voted
MSWIM
2005
ACM
15 years 5 months ago
2005
ACM
In the last few years, the advance of multimedia applications has prompted researchers to undertake the task of routing multimedia data through Manet. This task is rather difficul...
ATAL
2008
Springer
15 years 1 months ago
2008
Springer
The contribution presents a multi-agent technology in the domain of the air-traffic control of several autonomous aerial vehicles (manned as well as unmanned). The system has been...
91
Voted
DAC
2001
ACM
16 years 17 days ago
2001
ACM
New application-focused system-on-chip platforms motivate new application-specific processors. Configurable and extensible processor architectures offer the efficiency of tuned lo...
106
click to vote
POPL
2000
ACM
15 years 3 months ago
2000
ACM
Various code certification systems allow the certification and static verification of important safety properties such as memory and control-flow safety. These systems are valuabl...