1760 search results - page 207 / 352 » A System to Mark Programs Automatically |
125
click to vote
CAV
2009
Springer
16 years 4 months ago
2009
Springer
Counter Abstraction for Concurrent Software G?erard Basler1 , Michele Mazzucchi1 , Thomas Wahl1,2 , Daniel Kroening1,2 1 Computer Systems Institute, ETH Zurich, Switzerland 2 Compu...
122
click to vote
GECCO
2007
Springer
15 years 9 months ago
2007
Springer
This paper presents an approach to analyse the behaviours of teams of autonomous agents who work together to achieve a common goal. The agents in a team are evolved together using...
138
Voted
IWMM
2007
Springer
15 years 9 months ago
2007
Springer
This paper presents an analysis and transformation for individual object reclamation in Java programs. First, we propose a uniqueness inference algorithm that identifies variable...
124
click to vote
CC
2005
Springer
15 years 9 months ago
2005
Springer
In this paper, we present a formal description of data slicing, which is a type-directed program transformation technique that separates a program’s heap into several independent...
127
click to vote
USENIX
1990
15 years 4 months ago
1990
As we approach nation-wide integration of computer systems, it is clear that le replication will play a key role, both to improve data availability in the face of failures, and to...