7167 search results - page 624 / 1434 » Answer Set Programming |
176
click to vote
PDP
2008
IEEE
16 years 23 days ago
2008
IEEE
Parallel programming models based on a mixture of task and data parallelism have shown to be successful in addressing the increasing communication overhead of distributed memory p...
159
click to vote
ADAEUROPE
2007
Springer
16 years 17 days ago
2007
Springer
In this article, we experiment a way to extend an Ada library called Cheddar. Cheddar provides a domain specific language. Programs written with this domain specific language can...
150
click to vote
CAV
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. A temporal interface for a software component is a finite automaton that specifies the legal sequences of calls to functions that are provided by the component. We comp...
183
click to vote
IWMM
2007
Springer
16 years 15 days 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...
144
click to vote
SAS
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. Shape analyses are often imprecise in their numerical reasoning, whereas numerical static analyses are often largely unaware of the shape of a program’s heap. In this p...