3584 search results - page 551 / 717 » Parallel Computing of Thermoelasticity Problems |
ICDCN
2009
Springer
14 years 4 months ago
2009
Springer
The research community has witnessed a large interest in monitoring large scale distributed systems. In these applications typically we wish to monitor a global system condition wh...
CONCUR
2007
Springer
14 years 3 months ago
2007
Springer
We present a fixpoint-based algorithm for context-sensitive interprocedural kill/gen-analysis of programs with thread creation. Our algorithm is precise up to abstraction of sync...
ICDCSW
2005
IEEE
14 years 3 months ago
2005
IEEE
Content-based event matching is an important problem in large-scale event-based publish/subscribe systems. However, open questions remain in ...
ICRA
2005
IEEE
14 years 3 months ago
2005
IEEE
— In the real world, noisy sensors and limited communication make it difficult for robot teams to coordinate in tightly coupled tasks. Team members cannot simply apply single-ro...
CONCUR
2004
Springer
14 years 3 months ago
2004
Springer
Systems (extended abstract) Simona Orzan and Tim A.C. Willemse Department of Mathematics and Computer Science, Eindhoven University of Technology P.O. Box 513, 5600 MB Eindhoven, T...