7456 search results - page 322 / 1492 » Parallelism in Logic Programming |
172
click to vote
CONCUR
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Reactive Systems `a la Leifer and Milner allow to derive from a reaction semantics definition an LTS equipped with a bisimilarity relation which is a congruence. This th...
173
Voted
FASE
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. The build architecture of legacy C/C++ software systems, groups program files in directories to represent logical components. The interfaces of these components are loos...
182
click to vote
MIDDLEWARE
2005
Springer
16 years 4 days ago
2005
Springer
In this paper, we present the concept of follow-me semantics of the large-scale pervasive application and discuss the features and services to its implementation based on the inte...
164
click to vote
JMLC
2000
Springer
15 years 10 months ago
2000
Springer
An enhancement to modular languages called module embedding facilitates the development and utilization of secure generic parallel algorithms.
167
click to vote
APLAS
2008
ACM
15 years 8 months ago
2008
ACM
Abstract. Parallel programming is rapidly gaining importance as a vector to develop high performance applications that exploit the improved capabilities of modern computer architec...