1784 search results - page 55 / 357 » Formal Models for Embedded System Design |
DAC
1997
ACM
14 years 1 months ago
1997
ACM
Task scheduling forreactive real time systems is a di cult problem due to tight constraints that the schedule must satisfy. A static priority scheme is proposed here that can be f...
CASES
2003
ACM
14 years 2 months ago
2003
ACM
Recent research in sensor networks has raised issues of security for small embedded devices. Security concerns are motivated by the deployment of a large number of sensory devices...
WORDS
2002
IEEE
14 years 2 months ago
2002
IEEE
Open Multithreaded Transactions form an advanced transaction model that provides features for controlling and structuring not only accesses to objects, as usual in transaction sys...
CODES
2004
IEEE
14 years 27 days ago
2004
IEEE
We present design technology for the structured design and programming of embedded multi-processor systems. It comprises a task-level interface that can be used both for developin...
AWIC
2003
Springer
14 years 2 months ago
2003
Springer
Design patterns have been enthusiastically embraced in the software engineering community as well as in the web community since they capture knowledge about how and when to apply a...