3108 search results - page 356 / 622 » An Approach to Incremental Design of Distributed Embedded Sy... |
162
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. In spite of the rich theory developed for temporal synthesis, l...
195
click to vote
ICDCS
2002
IEEE
15 years 11 months ago
2002
IEEE
Attainment of software performance assurances in open, largely unpredictable environments has recently become an important focus for real-time research. Unlike closed embedded sys...
311
click to vote
CCGRID
2008
IEEE
16 years 1 months ago
2008
IEEE
Workflow Management System is generally utilized to define, manage and execute workflow applications on Grid resources. However, the increasing scale complexity, heterogeneity and...
172
click to vote
CODES
2002
IEEE
15 years 11 months ago
2002
IEEE
Dynamic run-time scheduling in System-on-Chip platforms has become recently an active area of research because of the performance and power requirements of new applications. Moreo...
179
click to vote
ECTEL
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. This paper describes the design and evaluation of an adaptive museum guide for families. In the Kurio system, a mixture of embedded and tangible technology imbues the mus...