28095 search results - page 5254 / 5619 » D |
175
click to vote
NETGAMES
2003
ACM
16 years 2 days ago
2003
ACM
Abstract— Multiplayer games become increasingly popular, mostly because they involve interaction among humans. Typically, multiplayer games are organized based on a Client-Server...
179
click to vote
PLDI
2003
ACM
16 years 2 days ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
166
click to vote
PLDI
2003
ACM
16 years 2 days ago
2003
ACM
Profiling can accurately analyze program behavior for select data inputs. We show that profiling can also predict program locality for inputs other than profiled ones. Here loc...
203
click to vote
PLDI
2003
ACM
16 years 2 days ago
2003
ACM
We propose a low-overhead sampling infrastructure for gathering information from the executions experienced by a program’s user community. Several example applications illustrat...
178
click to vote
PLDI
2003
ACM
16 years 2 days ago
2003
ACM
Speculative execution, such as control speculation and data speculation, is an effective way to improve program performance. Using edge/path profile information or simple heuristi...