2171 search results - page 268 / 435 » A Generic Process Algebra |
133
click to vote
VLDB
2001
ACM
15 years 8 months ago
2001
ACM
imizer Communication using Abstract Plans in Sybase ASE Query optimizers are error prone, due to both their nature and the increased search space that modern query processing requ...
116
click to vote
IV
1999
IEEE
15 years 8 months ago
1999
IEEE
Models for visualization are important, helping the developer and user to understand the visualization process; to follow the connections and the data paths through the system; an...
138
click to vote
PVM
1999
Springer
15 years 8 months ago
1999
Springer
The problem of solving sparse Systems of Linear Algebraic Equations (SLAE) by parallel Monte Carlo numerical methods is considered. The almost optimal Monte Carlo algorithms are pr...
155
click to vote
FOSSACS
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. Domain theory began in an attempt to provide mathematical models for high-level programming languages, an area where it has proved to be particularly useful. It is perhap...
159
Voted
ICALP
1998
Springer
15 years 8 months ago
1998
Springer
This paper investigates the use of a complete metric space framework for providing denotational semantics to a real-time process algebra. The study is carried out in a non-interlea...