Sciweavers

82
Voted
ICPADS
1996
IEEE
15 years 4 months ago
Scheduling of conditional branches using SSA form for superscalar/VLIW processors
Seong-Uk Choi, Sung-Soon Park, Myong-Soon Park
COORDINATION
1997
Springer
15 years 4 months ago
Coordination Patterns for Parallel Computing
The aim of this paper is to promote the idea of developing reusable coordination patterns for parallel computing, i.e. customizable components from which parallel applications can ...
Bernd Freisleben, Thilo Kielmann
CONCUR
1997
Springer
15 years 4 months ago
First-Order Axioms for Asynchrony
We study properties of asynchronous communication independently of any concrete concurrent process paradigm. We give a general-purpose, mathematically rigorous definition of sever...
Peter Selinger
CONCUR
1997
Springer
15 years 4 months ago
Causal Ambiguity and Partial Orders in Event Structures
Eventstructuremodelsoftenhavesomeconstraintwhichensuresthatforeachsystemrunitisclearwhatarethecausalpredecessorsofanevent(i.e. there is no causal ambiguity). In this contribution w...
Rom Langerak, Ed Brinksma, Joost-Pieter Katoen
86
Voted
CONCUR
1997
Springer
15 years 4 months ago
A Product Version of Dynamic Linear Time Temporal Logic
Jesper G. Henriksen, P. S. Thiagarajan
CONCUR
1997
Springer
15 years 4 months ago
Probabilistic Concurrent Constraint Programming
Abstract. We extend cc to allow the specification of a discrete probability distribution for random variables. We demonstrate the expressiveness of pcc by synthesizing combinators...
Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat
71
Voted
CONCUR
1997
Springer
15 years 4 months ago
Axiomatizing Flat Iteration
Rob J. van Glabbeek