7557 search results - page 661 / 1512 » Modeling Timed Concurrent Systems |
251
click to vote
CORR
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. We apply Uppaal Tiga to automatically compute adaptive scheduling strategies for an industrial case study dealing with a state-of-the-art image processing pipeline of a p...
218
click to vote
KDD
2010
ACM
15 years 5 months ago
2010
ACM
Successful software maintenance is becoming increasingly critical due to the increasing dependence of our society and economy on software systems. One key problem of software main...
178
click to vote
OPODIS
2003
15 years 8 months ago
2003
Dependable properties such as self-stabilization are crucial requirements in sensor networks. One way to achieve these properties is to utilize the vast literature on distributed ...
216
click to vote
ICS
2010
Tsinghua U.
16 years 4 hour ago
2010
Tsinghua U.
The emergence of multicore processors has increased the need for simple parallel programming models usable by nonexperts. The ability to specify subparts of a bigger data structur...
212
click to vote
ICRA
1993
IEEE
15 years 11 months ago
1993
IEEE
A survey of blackboard robotics applications shows the improvements of blackboard models used in telerobotics and autonomous robots from the use of sequential blackboard in the ro...