145 search results - page 27 / 29 » Time and memory tradeoffs in the implementation of AUTOSAR c... |
TACAS
1998
Springer
13 years 10 months ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
IPSN
2005
Springer
13 years 11 months ago
2005
Springer
Abstract— Sustainable operation of battery powered wireless embedded systems (such as sensor nodes) is a key challenge, and considerable research effort has been devoted to energ...
ASPDAC
2007
ACM
13 years 10 months ago
2007
ACM
- Estimation tools are a key component of system-level methodologies, enabling a fast design space exploration. Estimation of software performance is essential in current software-...
ASPLOS
2006
ACM
14 years 7 days ago
2006
ACM
Worms, viruses, and other malware can be ticking bombs counting down to a specific time, when they might, for example, delete files or download new instructions from a public we...
HPDC
2008
IEEE
14 years 22 days ago
2008
IEEE
Advances in virtualization technology have focused mainly on strengthening the isolation barrier between virtual machines (VMs) that are co-resident within a single physical machi...