899 search results - page 97 / 180 » Cost Analysis of Games, Using Program Logic |
ISMB
1997
15 years 1 months ago
1997
We present a system of programs designed to facilitate sequence analysis projects involving large amounts of data. SEALS (System for Easy Analysis of Lots of Sequences) is a logic...
171
click to vote
PLDI
2003
ACM
15 years 5 months ago
2003
ACM
In prior work [15] we studied a language construct restrict that allows programmers to specify that certain pointers are not aliased to other pointers used within a lexical scope....
107
click to vote
PPOPP
1999
ACM
15 years 4 months ago
1999
ACM
The use of threads is becoming commonplace in both sequential and parallel programs. This paper describes our design and initial experience with non-trace based performance instru...
112
click to vote
CVPR
2010
IEEE
15 years 1 months ago
2010
IEEE
We present a novel approach for robust localization of multiple people observed using multiple cameras. We use this location information to generate sports visualizations, which i...
121
click to vote
SIGSOFT
2003
ACM
16 years 18 days ago
2003
ACM
Writes via unchecked pointer dereferences rank high among vulnerabilities most often exploited by malicious code. The most common attacks use an unchecked string copy to cause a b...