3307 search results - page 478 / 662 » The meaning of concurrent programs |
230
click to vote
ICSM
2002
IEEE
16 years 2 hour ago
2002
IEEE
When a software system enters the maintenance phase, the availability of accurate and consistent information about its organization can help alleviate the difficulties of program...
197
click to vote
CC
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. Source code transformations are a very effective method of parallelizing and improving the efficiency of programs. Unfortunately most compiler systems require implementin...
184
click to vote
CONCUR
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. We present an in-depth discussion of the relationships between synchrony and asynchrony. Simple models of both paradigms are presented, and we state theorems which guaran...
185
click to vote
ASPLOS
1996
ACM
15 years 11 months ago
1996
ACM
New high-speed networks greatly encourage the use of network memory as a cache for virtual memory and file pages, thereby reducing the need for disk access. Becausepages are the f...
233
click to vote
LPKR
1997
Springer
15 years 11 months ago
1997
Springer
The purpose of this paper is to investigate the methodology of reasoning with prioritized defaults in the language of logic programs under the answer set semantics. We present a do...