7109 search results - page 188 / 1422 » Process Algebra with Combinators |
105
click to vote
ATVA
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In this paper, we develop a syntactical version of elaborated reductions for high-level Petri nets. These reductions simplify the model by merging some sequential transit...
112
Voted
COMPGEOM
2000
ACM
15 years 8 months ago
2000
ACM
In this paper we describe and discuss a new kernel design for geometric computation in the plane. It combines different kinds of floating-point filter techniques and a lazy eval...
111
Voted
ANTS
2000
Springer
15 years 8 months ago
2000
Springer
We shall discuss the idea of finding all rational points on a curve C by first finding an associated collection of curves whose rational points cover those of C. This classical ...
121
Voted
IPPS
1998
IEEE
15 years 8 months ago
1998
IEEE
In distributed-memory message-passing architectures reducing communication cost is extremely important. In this paper, we present a technique to optimize communication globally. O...
118
Voted
DEXA
1994
Springer
15 years 7 months ago
1994
Springer
We describe a functional database language OR-SML for handling disjunctive information in database queries, and its implementation on top of Standard ML 12]. The core language has ...