Sciweavers

477 search results - page 62 / 96
» Removing even crossings
Sort
View
FOSSACS
2001
Springer
14 years 2 days ago
On Garbage and Program Logic
Garbage collection relieves the programmer of the burden of managing dynamically allocated memory, by providing an automatic way to reclaim unneeded storage. This eliminates or les...
Cristiano Calcagno, Peter W. O'Hearn
SAIG
2001
Springer
14 years 19 hour ago
Short Cut Fusion: Proved and Improved
Abstract. Short cut fusion is a particular program transformation technique which uses a single, local transformation — called the foldr-build rule — to remove certain intermed...
Patricia Johann
SSD
2001
Springer
145views Database» more  SSD 2001»
14 years 18 hour ago
Continuous Queries within an Architecture for Querying XML-Represented Moving Objects
The development of spatiotemporal database systems is primarily motivated by applications tracking and presenting mobile objects. Another important trend is the visualization and p...
Thomas Brinkhoff, Jürgen Weitkämper
CSFW
2000
IEEE
14 years 12 hour ago
Protocol Independence through Disjoint Encryption
One protocol (called the primary protocol) is independent of other protocols (jointly called the secondary protocol) if the question whether the primary protocol achieves a securi...
Joshua D. Guttman, F. Javier Thayer
ICSE
1999
IEEE-ACM
13 years 12 months ago
Residual Test Coverage Monitoring
Structural coverage criteria are often used as an indicator of the thoroughness of testing, but complete satisfaction of a criterion is seldom achieved. When a software product is...
Christina Pavlopoulou, Michal Young