84 search results - page 14 / 17 » Real-Time Scheduling Techniques for Implementation Synthesis... |
119
click to vote
KBSE
2007
IEEE
15 years 9 months ago
2007
IEEE
Concurrent programs are difficult to debug and verify because of the nondeterministic nature of concurrent executions. A particular concurrency-related bug may only show up under ...
150
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
The transition from single-core to multi-core processors has made multi-threaded software an important subject in computer aided verification. Here, we describe and evaluate an ex...
127
click to vote
EMSOFT
2001
Springer
15 years 7 months ago
2001
Springer
rovides an abstract programmer’s model for the implementation of embedded control systems with hard real-time constraints. A typical control application consists of periodic soft...
157
click to vote
FASE
2007
Springer
15 years 9 months ago
2007
Springer
The synthesis of object behaviour from scenarios is a well-known and important issue in the transition from system analysis to system design. We describe a model transformation pro...
101
click to vote
INFSOF
2006
15 years 3 months ago
2006
Contemporary embedded systems quite often employ extremely complicated software consisting of a number of interrelated components, and this has made object-oriented design methodo...