6978 search results - page 233 / 1396 » On Proofs in System P |
193
click to vote
CCS
2009
ACM
16 years 1 months ago
2009
ACM
The abuse of online games by automated programs, known as game bots, for gaining unfair advantages has plagued millions of participating players with escalating severity in recent...
180
click to vote
HPDC
2007
IEEE
16 years 28 days ago
2007
IEEE
In desktop grids the use of off-the-shelf shared components makes the use of dedicated resources economically nonviable and increases the complexity of design of efficient storag...
192
click to vote
GLOBECOM
2010
IEEE
15 years 4 months ago
2010
IEEE
In this paper, we present our P2P-TV measurement experiment performed in France and Japan. By using multiple measurement points in different locations of the world, we are able to ...
207
click to vote
PDPTA
1996
15 years 8 months ago
1996
This paper presents pTask-- a system that allows users to automatically exploit dynamic task-level parallelism in sequential array-based C programs. The system employs compiler an...
140
click to vote
FAC
2000
15 years 6 months ago
2000
Typically, program design involves constructing a program P that implements a given specification S; that is, the set P of executions of P is a subset of the set S of executions s...