1206 search results - page 139 / 242 » Concurrent Abstract Predicates |
119
Voted
ISPA
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. A loop with irregular assignment computations contains loopcarried output data dependences that can only be detected at run-time. In this paper, a load-balanced method ba...
132
click to vote
ICADL
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. In this paper we discuss the problem of handling many classification schemes within the context of a single digital library concurrently, which we term multischeming. We...
132
click to vote
HYBRID
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. Hybrid cc is a constraint programming language suitable for modeling, controlling and simulating hybrid systems, i.e. systems with continuous and discrete state changes. ...
107
click to vote
CTCS
1989
Springer
15 years 9 months ago
1989
Springer
We combine the principles of the Floyd-Warshall-Kleene algorithm, enriched categories, and Birkhoff arithmetic, to yield a useful class of algebras of transitive vertex-labeled s...
137
click to vote
CONCUR
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. In this paper, we provide a transformation from the branching bisimulation problem for infinite, concurrent, data-intensive systems in linear process format, into solving...