3311 search results - page 316 / 663 » Deductive Object Programming |
220
Voted
Source Code
A Vtk program that visualizes n objects (i.e., anatomical structures) in a stack of PGM files. Each structure is labeled by an integer number. For example, the labels of 3 structur...
102
click to vote
FASE
2010
Springer
15 years 10 months ago
2010
Springer
This paper describes a compositional analysis algorithm for statically detecting leaks in Java programs. The algorithm is based on separation logic and exploits the concept of bi-a...
123
click to vote
QSIC
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper presents a practical path and context sensitive inter-procedural analysis method for detecting memory leaks in C programs. A novel memory object model and function summ...
123
Voted
UM
2001
Springer
15 years 7 months ago
2001
Springer
The objective of this research is the exploration how affective knowledge used in global controlling mechanisms for public information systems with lifelike presentation agents wil...
IPPS
2000
IEEE
15 years 7 months ago
2000
IEEE
Collective operations on distributed data sets foster a high-level data-parallel programming style that eases many aspects of parallel programming significantly. In this paper we...