Sciweavers

2141 search results - page 45 / 429
» Embedded Software
Sort
View
RE
2002
Springer
13 years 10 months ago
Model Based Requirements Engineering for Embedded Software
Michael von der Beeck, Peter Braun 0003, Martin Ra...
SIGSOFT
2011
ACM
13 years 5 months ago
Static analysis by abstract interpretation of embedded critical software
Julien Bertrane, Patrick Cousot, Radhia Cousot, J&...
DAC
1999
ACM
14 years 11 months ago
Synthesis of Embedded Software Using Free-Choice Petri Nets
Software synthesis from a concurrent functional specification is a key problem in the design of embedded systems. A concurrent specification is well-suited for medium-grained part...
Marco Sgroi, Luciano Lavagno
ICCAD
2003
IEEE
127views Hardware» more  ICCAD 2003»
14 years 7 months ago
Code Placement with Selective Cache Activity Minimization for Embedded Real-time Software Design
– Many embedded system designs usually impose (hard) read-time constraints on tasks. Thus, computing a tight upper bound of the worst case execution time (WCET) of a software is ...
Junhyung Um, Taewhan Kim
RTAS
2006
IEEE
14 years 4 months ago
Estimating the Worst-Case Energy Consumption of Embedded Software
The evolution of battery technology is not being able to keep up with the increasing performance demand of mobile embedded systems. Therefore, battery life has become an important...
Ramkumar Jayaseelan, Tulika Mitra, Xianfeng Li