5239 search results - page 385 / 1048 » Model-Integrated Embedded Systems |
140
click to vote
ENTCS
2010
15 years 6 months ago
2010
Contract-based design is an expressive paradigm for a modular and compositional specification of programs. It is in turn becoming a fundamental concept in mainstream industrial co...
153
click to vote
SIGCSE
2008
ACM
15 years 6 months ago
2008
ACM
Pipeline, Delta, and Black Hole are three simple patterns used in concurrent software design. We recently presented these and other patterns for parallelism at a nine-hour worksho...
173
click to vote
RTAS
2010
IEEE
15 years 5 months ago
2010
IEEE
The specification of the sporadic server real-time scheduling policy in the IEEE POSIX standard is defective, and needs to be corrected. Via experiments using a POSIX sporadic se...
182
click to vote
RTAS
2010
IEEE
15 years 5 months ago
2010
IEEE
—The problem of scheduling a set of tasks on a multiprocessor architecture is addressed. Tasks are assumed to be sporadic with arbitrary deadlines and may migrate between process...
160
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
Embedded systems are complex as a whole but consist of smaller independent modules minimally interacting with each other. This structure makes embedded systems amenable to composi...