Sciweavers

4 search results - page 1 / 1
» Design and Implementation of Triveni: A Process-Algebraic AP...
Sort
View
ICCL
1998
IEEE
13 years 9 months ago
Design and Implementation of Triveni: A Process-Algebraic API for Threads + Events
We describe Triveni, a framework and API for integrating threads and events. The design of Triveni is based on an algebra, including preemption combinators, of processes. Triveni ...
Christopher Colby, Lalita Jategaonkar Jagadeesan, ...
ENTCS
1998
67views more  ENTCS 1998»
13 years 4 months ago
The Semantics of Triveni: A Process-Algebraic API for Threads + Events
Christopher Colby, Lalita Jategaonkar, Radha Jagad...
PASTE
2010
ACM
13 years 8 months ago
The RoadRunner dynamic analysis framework for concurrent programs
ROADRUNNER is a dynamic analysis framework designed to facilitate rapid prototyping and experimentation with dynamic analyses for concurrent Java programs. It provides a clean API...
Cormac Flanagan, Stephen N. Freund
IWOMP
2007
Springer
13 years 11 months ago
Supporting OpenMP on Cell
The Cell processor is a heterogeneous multi-core processor with one Power Processing Engine (PPE) core and eight Synergistic Processing Engine (SPE) cores. Each SPE has a directly...
Kevin O'Brien, Kathryn M. O'Brien, Zehra Sura, Ton...