138 search results - page 22 / 28 » Compiled-code-based simulation with timing verification |
DAC
2004
ACM
14 years 8 months 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...
MSWIM
2005
ACM
14 years 1 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
13 years 9 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...
DAC
2001
ACM
14 years 8 months 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...
POPL
2000
ACM
13 years 11 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...