2376 search results - page 118 / 476 » More Efficient Internal-Regret-Minimizing Algorithms |
DAC
1996
ACM
14 years 2 hour ago
1996
ACM
-- This paper presents an efficient method for the timing verification of concurrent systems, modeled as labeled Timed Petri nets. The verification problems we consider require us ...
DEBS
2009
ACM
13 years 11 months ago
2009
ACM
The ability to find services or resources that satisfy some criteria is an important aspect of distributed systems. This paper presents an event-based architecture to support more...
VLDB
2000
ACM
13 years 11 months ago
2000
ACM
Information Dissemination applications are gaining increasing popularity due to dramatic improvements in communications bandwidth and ubiquity. The sheer volume of data available ...
COLCOM
2008
IEEE
13 years 9 months ago
2008
IEEE
Networked virtual environments (NVE) refer to the category of distributed applications that allow a large number of distributed users to interact with one or more central servers i...
CSE
2008
IEEE
13 years 9 months ago
2008
IEEE
Parallel computing is widely used for large scale threedimensional simulation of seismic wave propagation. One particularity of most of these simulations is to consider a finite c...