5838 search results - page 325 / 1168 » A File System for System Programming in Ubiquitous Computing |
132
click to vote
EUROPAR
2000
Springer
15 years 8 months ago
2000
Springer
One of the advantages of logic programming is the fact that it offers many sources of implicit parallelism, such as and-parallelism and or-parallelism. Arguably, or-parallel system...
120
click to vote
DAC
1998
ACM
16 years 5 months ago
1998
ACM
Successive, formal refinement is a new approach for specification of embedded systems using a general-purpose programming language. Systems are formally modeled as Abstractable Sy...
146
Voted
EUROPAR
2010
Springer
15 years 5 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...
159
click to vote
FUIN
2006
15 years 4 months ago
2006
In recent years light-weighted formal methods are of growing interest in construction and analysis of complex concurrent software system. A new rule-action based term rewriting fr...
120
click to vote
FSTTCS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We present a natural confluence of higher-order hereditary Harrop formulas (HH formulas), Constraint Logic Programming (CLP, [JL87]), and Concurrent Constraint Programmi...