2523 search results - page 212 / 505 » Correct Development of Embedded Systems |
121
click to vote
DAC
1994
ACM
15 years 7 months ago
1994
ACM
Multi-dimensional(MD) systems are widely used in scienti c applications such as image processing, geophysical signal processing and
uid dynamics. Earlier scheduling methods in syn...
165
click to vote
MFCS
1994
Springer
15 years 7 months ago
1994
Springer
We introduce in this paper new communication and synchronization constructs which allow deterministic processes, communicating asynchronously via unbounded FIFO bu ers, to cope wi...
141
click to vote
AAAI
2010
15 years 4 months ago
2010
A general game player is a system that understands the rules of unknown games and learns to play these games well without human intervention. A major challenge for research in Gen...
119
click to vote
SIGCSE
2000
ACM
15 years 7 months ago
2000
ACM
It is generally acknowledged that developing correct multithreaded codes is difficult, because threads may interact with each other in unpredictable ways. The goal of this work i...
115
click to vote
JUCS
2008
15 years 3 months ago
2008
: A goal of software product lines is the economical assembly of programs in a family of programs. In this paper, we explore how theorems about program properties may be integrated...