828 search results - page 38 / 166 » Global Software Enterpreneurship |
121
click to vote
AMAST
2006
Springer
15 years 1 months ago
2006
Springer
This paper proposes a modal extension of Separation Logic [8, 11] for reasoning about data-parallel programs that manipulate heap allocated linked data structures. Separation Logi...
82
Voted
CC
2002
Springer
14 years 9 months ago
2002
Springer
The purpose of this paper is to present four basic methods for ional separate modular static analysis of programs by abstract interpretation: simpli cation-based separate analysis;...
NIME
2005
Springer
15 years 3 months ago
2005
Springer
This paper takes the reader through various elements of the GoingPublik sound artwork for distributive ensemble and introduces the Realtime Score Synthesis tool (RSS) used as a co...
ROBOCUP
2004
Springer
15 years 3 months ago
2004
Springer
In 2004, the playing field size of the small sized league was significantly increased, posing new challenges for all teams. This paper describes extensions to our current video s...
CORR
2008
Springer
14 years 9 months ago
2008
Springer
Abstract. For Paradigm models, evolution is just-in-time specified coordination conducted by a special reusable component McPal. Evolution can be treated consistently and on-the-fl...