3584 search results - page 290 / 717 » Parallel Computing of Thermoelasticity Problems |
126
click to vote
IPPS
1996
IEEE
15 years 7 months ago
1996
IEEE
In a shared-memory multiprocessor system, it is possible that certain synchronization operations are redundant -that is, their corresponding sequencing requirements are enforced c...
104
click to vote
SPAA
1993
ACM
15 years 7 months ago
1993
ACM
We consider several natural broadcasting problems for the LogP model of distributed memory machines recently proposed by Culler et al. For each of these problems, we present algor...
134
click to vote
PARLE
1987
15 years 6 months ago
1987
A context-freegrammar(CFG)in GreibachNormalForm coincides,in anothernotation,witha system of guarded recursion equations in Basic Process Algebra. Hence to each CFG a process can b...
109
click to vote
CCGRID
2010
IEEE
15 years 4 months ago
2010
IEEE
We develop a novel framework for supporting e-Science applications that require streaming of information between sites. Using a Synchronous Dataflow (SDF) model, our framework inco...
120
click to vote
CONCUR
2010
Springer
15 years 4 months ago
2010
Springer
We study decision problems for parameterized verification of a formal model of Ad Hoc Networks with selective broadcast and spontaneous movement. The communication topology of a ne...