4565 search results - page 726 / 913 » Time Optimal Self-Stabilizing Algorithms |
102
Voted
TACAS
2005
Springer
15 years 6 months ago
2005
Springer
We present MC2 , what we believe to be the first randomized, Monte Carlo algorithm for temporal-logic model checking, the classical problem of deciding whether or not a property s...
112
click to vote
GECCO
2004
Springer
15 years 6 months ago
2004
Springer
To create a realistic environment, some simulations require simulated agents with human behavior pattern. Creating such agents with realistic behavior can be a tedious and time con...
110
Voted
WG
2004
Springer
15 years 6 months ago
2004
Springer
In portable multimedia systems a number of communicating tasks has to be performed on a set of heterogeneous processors. This should be done in an energy-efficient way. We give th...
116
click to vote
CODES
2003
IEEE
15 years 6 months ago
2003
IEEE
the level of abstraction in system design promises to enable faster exploration of the design space at early stages. While scheduling decision for embedded software has great impa...
SC
2003
ACM
15 years 5 months ago
2003
ACM
SCALLOP is a highly scalable solver and library for elliptic partial differential equations on regular block-structured domains. SCALLOP avoids high communication overheads algor...