7167 search results - page 1095 / 1434 » Answer Set Programming |
134
click to vote
CGI
2001
IEEE
15 years 6 months ago
2001
IEEE
Javra is a Java package for handling VRML scene graphs; it operates either stand-alone or in combination with a VRML browser. The combination of Javra and a VRML browser forms an ...
132
click to vote
DSN
2000
IEEE
15 years 6 months ago
2000
IEEE
This paper presents an experimental study on the emulation of software faults by fault injection. In a first experiment, a set of real software faults has been compared with fault...
117
click to vote
IWMM
2000
Springer
15 years 6 months ago
2000
Springer
We study the effectiveness of garbage collection (GC) algorithms by measuring the time difference between the actual collection time of an object and the potential earliest collec...
108
click to vote
DBPL
1991
Springer
15 years 6 months ago
1991
Springer
BULK is a very-high-level persistent programming language and environment for prototyping and implementing database applications. BULK provides sets and sequences as primitive typ...
FASE
2010
Springer
15 years 6 months ago
2010
Springer
Runtime assertion checking is useful for debugging programs and specifications. Existing tools check invariants as well as method preand postconditions, but mostly ignore assignabl...