2470 search results - page 53 / 494 » Liveness-Preserving Simulation Relations |
IPPS
2007
IEEE
14 years 4 months ago
2007
IEEE
: The MASC model is a multi-SIMD model that uses control parallelism to coordinate the interaction of data parallel threads. It supports a generalized associative style of parallel...
WSC
2004
13 years 11 months ago
2004
The reuse of existing simulations in multiple federations is an important goal of distributed simulation frameworks. However, in order to reuse a federate, its simulation code oft...
CPHYSICS
2007
13 years 10 months ago
2007
Simulation of biomembranes over length and time scales relevant to cellular biology is not currently feasible with molecular dynamics including full atomic detail. Barring an unfo...
VMCAI
2012
Springer
12 years 5 months ago
2012
Springer
Abstract. Recently, a general framework on characteristic formulae was proposed by Aceto et al. It offers a simple theory that allows one to easily obtain characteristic formulae o...
IJNSEC
2008
13 years 10 months ago
2008
In group communication, users often have different access rights to multiple data streams. Based on the access relation of users and data streams, users can form partially ordered...