20126 search results - page 3247 / 4026 » Timed Transition Systems |
273
click to vote
ICFP
2012
ACM
13 years 10 months ago
2012
ACM
In the static analysis of functional programs, pushdown flow analabstract garbage collection skirt just inside the boundaries of soundness and decidability. Alone, each method re...
215
click to vote
SOSP
2003
ACM
16 years 4 months ago
2003
ACM
Peer-to-peer (P2P) file sharing accounts for an astonishing volume of current Internet traffic. This paper probes deeply into modern P2P file sharing systems and the forces that...
261
click to vote
EUROSYS
2010
ACM
16 years 1 months ago
2010
ACM
The deluge of huge data sets such as those provided by
sensor networks, online transactions, and the web provide
exciting opportunities for data analysis. The scale of the
data ...
201
click to vote
GECCO
2003
Springer
16 years 28 days ago
2003
Springer
The MasterMind game involves decoding a secret code. The classic game is a code of six possible colors in four slots. The game has been analyzed and optimal strategies have been po...
366
click to vote
GIS
2005
ACM
16 years 8 months ago
2005
ACM
Geographic Information Systems (GIS) are increasingly managing very large sets of data and hence a centralized data repository may not always provide the most scalable solution. H...