6960 search results - page 1017 / 1392 » Continuity Analysis of Programs |
181
click to vote
SIGUCCS
2003
ACM
16 years 23 days ago
2003
ACM
Academic lab managers have been using Sassafras's KeyServer software for more than a decade to manage software licenses. KeyServer is server-based license management software...
159
Voted
COCO
2003
Springer
16 years 22 days ago
2003
Springer
We continue an investigation of resource-bounded Kolmogorov complexity and derandomization techniques begun in [2, 3]. We introduce nondeterministic time-bounded Kolmogorov comple...
212
click to vote
IPPS
2002
IEEE
16 years 13 days ago
2002
IEEE
Real-time applications continue to increase in importance as they are employed in various critical areas, such as command and control systems. These applications have traditionall...
189
Voted
ISCA
2002
IEEE
16 years 13 days ago
2002
IEEE
Techniques for analyzing and improving memory referencing behavior continue to be important for achieving good overall program performance due to the ever-increasing performance g...
248
Voted
CADE
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...