188 search results - page 26 / 38 » What Is a Skeptical Proof |
87
Voted
ACSAC
2005
IEEE
15 years 6 months ago
2005
IEEE
Client-server applications often do not scale well when a large number of clients access a single server. To solve this, a new trend is to allow a client to download data from oth...
108
Voted
CRV
2005
IEEE
15 years 6 months ago
2005
IEEE
We present a proof of concept system to represent and reason about hockey play. The system takes as input player motion trajectory data tracked from game video and supported by kn...
78
Voted
ICSE
2010
IEEE-ACM
15 years 5 months ago
2010
IEEE-ACM
Though verification tools are finding industrial use, the utility of engineering optimizations that make them scalable and usable is not widely known. Despite the fact that seve...
107
Voted
ASPLOS
2000
ACM
15 years 5 months ago
2000
ACM
Simulation is the primary method for evaluating computer systems during all phases of the design process. One significant problem with simulation is that it rarely models the syst...
87
Voted
ICFP
2000
ACM
15 years 5 months ago
2000
ACM
We show that a non-duplicating transformation into Continuation-Passing Style (CPS) has no effect on control-flow analysis, a positive effect on binding-time analysis for tradi...