1720 search results - page 99 / 344 » Unranking Combinations in Parallel |
116
click to vote
ECOOPW
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. This report summarizes the results of the workshop on evolution and reuse for language specifications for DSLs. The focus of the workshop was twofold: exploration of the ...
138
Voted
CONCUR
2006
Springer
15 years 7 months ago
2006
Springer
Working in the context of a process-algebraic language for Probabilistic I/O Automata (PIOA), we study the notion of PIOA behavior equivalence by obtaining a complete axiomatizatio...
109
click to vote
CONCUR
1995
Springer
15 years 7 months ago
1995
Springer
Abstract. We exploit a notion of interface for Petri nets in order to design a set of net combinators. For such a calculus of nets, we focus on the behavioural congruences arising ...
151
click to vote
DCOSS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Aiming at a realistic mobile connectivity model for vehicular sensor networks in urban environments, we propose the combination of large-scale traffic simulation and comp...
134
click to vote
EWC
2000
15 years 3 months ago
2000
A set of object oriented tools is presented which, when combined, yield an efficient parallel finite element program. Special emphasis is given to details within the concept of the...