LCTRTS
2004
Springer
13 years 10 months ago
2004
Springer
This paper presents Spinach, a new simulator toolset specifically designed to target programmable network interface architectures. Spinach models both system components that are ...
LCTRTS
2004
Springer
13 years 10 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...
LCTRTS
2004
Springer
13 years 10 months ago
2004
Springer
LCTRTS
2004
Springer
13 years 10 months ago
2004
Springer
LCTRTS
2004
Springer
13 years 10 months ago
2004
Springer
LCTRTS
2004
Springer
13 years 10 months ago
2004
Springer
LCTRTS
2004
Springer
13 years 10 months ago
2004
Springer
While concurrency in embedded systems is most often supplied by real-time operating systems, this approach can be unpredictable and difficult to debug. Synchronous concurrency, i...
LCTRTS
2004
Springer
13 years 10 months ago
2004
Springer
— This paper describes our experiences with a simulation environment for electronic textiles. This simulation environment, based upon Ptolemy, enables us to model a diverse range...
LCTRTS
2004
Springer
13 years 10 months ago
2004
Springer
Java Card technology simplifies the development of smart card applications by providing a high-level programming language similar to Java. However, the master-slave programming m...
LCTRTS
2004
Springer
13 years 10 months ago
2004
Springer
Energy-aware compilers are becoming increasingly important for embedded systems due to the need to meet conflicting constraints on time, code size and power consumption. We intro...