1370 search results - page 218 / 274 » Synchronization Transformations for Parallel Computing |
108
click to vote
CONCUR
2007
Springer
15 years 8 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...
114
click to vote
OTM
2007
Springer
15 years 8 months ago
2007
Springer
Software patterns have evolved into a commonly used means to design and implement software systems. Programming patterns, architecture and design patterns have been quite successfu...
138
click to vote
CLUSTER
2006
IEEE
15 years 8 months ago
2006
IEEE
Most of today‘s HPC systems employ a single head node for control, which represents a single point of failure as it interrupts an entire HPC system upon failure. Furthermore, it...
132
click to vote
FCT
1999
Springer
15 years 6 months ago
1999
Springer
The aim of this paper is to investigate the relation between two models of concurrent systems: tile rewrite systems and coalgebras. Tiles are rewrite rules with side e ects which a...
135
click to vote
SIGGRAPH
1994
ACM
15 years 6 months ago
1994
ACM
This paper describes the design and implementation of IRIS Performer, a toolkit for visual simulation, virtual reality, and other real-time 3D graphics applications. The principal...