285 search results - page 21 / 57 » TinyGALS: A Programming Model for Event-Driven Embedded Syst... |
DATE
2008
IEEE
15 years 4 months ago
2008
IEEE
Embedded systems are often operating under hard real-time constraints. Such systems are naturally described as time-bound reactions to external events, a point of view made manife...
LCTRTS
2009
Springer
15 years 4 months ago
2009
Springer
Embedded systems, like general-purpose systems, can benefit from parallel execution on a symmetric multicore platform. Unfortunately, concurrency issues present in general-purpos...
WORDS
2005
IEEE
15 years 3 months ago
2005
IEEE
The increasing complexity of embedded systems calls for software design and implementation techniques that support specialization without abandonment of reusability. This brings u...
RTCSA
2005
IEEE
15 years 3 months ago
2005
IEEE
We propose a new architecture for a content protection system that conceals confidential data and algorithms in an FPGA as electrical circuits. This architecture is designed for a...
ICALP
1994
Springer
15 years 1 months ago
1994
Springer
When provingthe correctness of algorithmsin distributed systems, one generally considers safety conditions and liveness conditions. The Input Output I O automaton model and its ti...