4520 search results - page 184 / 904 » Algebraic Techniques for Timed Systems |
199
click to vote
CODES
2007
IEEE
16 years 1 months ago
2007
IEEE
Round-Robin scheduling is the most popular time triggered scheduling policy, and has been widely used in communication networks for the last decades. It is an efficient schedulin...
208
Voted
CONCUR
2006
Springer
15 years 9 months ago
2006
Springer
In regular inference, the problem is to infer a regular language, typically represented by a deterministic finite automaton (DFA) from answers to a finite set of membership querie...
187
click to vote
RTAS
2005
IEEE
16 years 21 days ago
2005
IEEE
Consider a team of robots equipped with sensors that collaborate with one another to achieve a common goal. Sensors on robots produce periodic updates that must be transmitted to ...
221
Voted
RTSS
2007
IEEE
16 years 1 months ago
2007
IEEE
In the last years, a progressive migration from single processor chips to multi-core computing devices has taken place in the general-purpose and embedded system market. The devel...
158
click to vote
ESA
2008
Springer
15 years 9 months ago
2008
Springer
In recent years, many speed-up techniques for Dijkstra's algorithm have been developed that make the computation of shortest paths in static road networks a matter of microse...