1702 search results - page 217 / 341 » Doomed program points |
134
click to vote
WCRE
1998
IEEE
15 years 9 months ago
1998
IEEE
Types are a good starting point for various software reengineering tasks. Unfortunately, programs requiring reengineering most desperately are written in languages without an adeq...
155
click to vote
COMPGEOM
1998
ACM
15 years 9 months ago
1998
ACM
Abstract. We propose a simple, general, randomized technique to reduce certain geometric optimization problems to their corresponding decision problems. These reductions increase t...
122
click to vote
KES
1998
Springer
15 years 9 months ago
1998
Springer
Attractor systems are useful in neurodynamics,mainly in the modelingof associative memory. Thispaper presentsa complexity theory for continuous phase space dynamical systems with ...
139
click to vote
SIGCOMM
1997
ACM
15 years 9 months ago
1997
ACM
We describe tcpanaly, a tool for automatically analyzing a TCP implementation's behavior by inspecting packet traces of the TCP's activity. Doing so requires surmounting...
151
Voted
SAS
1997
Springer
15 years 9 months ago
1997
Springer
We present a type-based flow analysis for simply typed lambda calculus with booleans, data-structures and recursion. The analysis is exact in the following sense: if the analysis ...