285 search results - page 20 / 57 » TinyGALS: A Programming Model for Event-Driven Embedded Syst... |
EMSOFT
2010
Springer
14 years 7 months ago
2010
Springer
Nucleos is a new runtime system for ultra-lightweight embedded systems. Central to Nucleos is a dispatcher based on the concept of e threaded code, which enables layers of abstrac...
ISSS
2002
IEEE
15 years 2 months ago
2002
IEEE
Static timing analysis of embedded software is important for systems with hard real-time constraints. To accurately estimate time bounds, it is essential to model the underlying m...
107
click to vote
ECBS
2010
IEEE
15 years 1 months ago
2010
IEEE
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
LCTRTS
2004
Springer
15 years 3 months ago
2004
Springer
We present a polynomial upper bound for flattening of UML statecharts. An efficient flattening technique is derived and implemented in SCOPE—a code generator targeting constra...
TPHOL
1999
IEEE
15 years 1 months ago
1999
IEEE
Combining theorem proving and model checking o ers the tantalizing possibility of e ciently reasoning about large circuits at high levels of abstraction. We have constructed a syst...