5448 search results - page 182 / 1090 » Breakpoints and Time in Distributed Computations |
114
click to vote
ARTS
1997
Springer
15 years 7 months ago
1997
Springer
There have been significant advances on formal methods to verify complex systems recently. Nevertheless, these methods have not yet been accepted as a realistic alternative to the ...
152
click to vote
JSSPP
2010
Springer
15 years 2 months ago
2010
Springer
This paper proposes and evaluates APIs for Inter-Core Time Aggregation Scheduler (IAS), which is a kernel-level thread scheduler to enhance performances of multi-threaded programs ...
155
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
Distributed allocation and multiagent coordination problems can be solved through combinatorial auctions (CAs). However, most of the existing winner determination algorithms (WDAs...
146
click to vote
ISORC
2002
IEEE
15 years 9 months ago
2002
IEEE
The demand for real-time database services has been increasing recently. Examples include sensor data fusion, stock trading, decision support, web information services, and data-i...
127
click to vote
CONCUR
1998
Springer
15 years 8 months ago
1998
Springer
In this paper we solve the following problem: \given a digital circuit composed of gates whose real-valued delays are in an integerbounded interval, is there a way to discretize ti...