4719 search results - page 165 / 944 » Newtonian program analysis |
136
click to vote
ECOOP
2012
Springer
13 years 6 months ago
2012
Springer
X10 is an object oriented programming language with a sophisticated type system (constraints, class invariants, non-erased generics, closures) and concurrency constructs (asynchron...
133
click to vote
TACAS
2010
Springer
15 years 11 months ago
2010
Springer
Modern multicore processors, such as the Cell Broadband Engine, achieve high performance by equipping accelerator cores with small “scratchpad” memories. The price for increase...
130
click to vote
GECCO
2007
Springer
15 years 10 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...
114
click to vote
SIGADA
2005
Springer
15 years 9 months ago
2005
Springer
In this paper, we describe an approach to automatically creating C++ bindings to Ada libraries utilizing capabilities of the Ada Semantic Interface Specification (ASIS). We discus...
169
Voted
PDS
1996
15 years 5 months ago
1996
We have developed a theory of sharing which captures the behaviour of programs with respect to shared data into the framework of process algebra. The core theory can describe prog...