3441 search results - page 216 / 689 » Parallel Logic Programming Systems |
COMPSAC
2005
IEEE
15 years 9 months ago
2005
IEEE
Parallel changes are a basic fact of modern software development. Where previously we looked at prima facie interference, here we investigate a less direct form that we call seman...
114
click to vote
PDP
2003
IEEE
15 years 8 months ago
2003
IEEE
We present a programming interface, called PICA, which aims to reduce the production cycle duration for communication protocols. It offers a user-friendly API that is very intuiti...
129
click to vote
EUROPAR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Complex software systems use many shared libraries frequently composed of large off-the-shelf components. Only a limited number of functions are used from these shared li...
146
Voted
FASE
2000
Springer
15 years 6 months ago
2000
Springer
We present a family of tools for program development and verification, comprising the transformation system TAS and the theorem proving interface IsaWin. Both are based on the theo...
127
click to vote
PLDI
2006
ACM
15 years 9 months ago
2006
ACM
The widely used Mark-and-Sweep garbage collector has a drawback in that it does not move objects during collection. As a result, large long-running realistic applications, such as...