188 search results - page 26 / 38 » What Is a Skeptical Proof |
ACSAC
2005
IEEE
14 years 1 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...
CRV
2005
IEEE
14 years 1 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...
ICSE
2010
IEEE-ACM
14 years 5 days 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...
ASPLOS
2000
ACM
13 years 11 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...
ICFP
2000
ACM
13 years 11 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...