Sciweavers

3 search results - page 1 / 1
» Semantics-preserving multitask implementation of synchronous...
Sort
View
TECS
2008
58views more  TECS 2008»
13 years 4 months ago
Semantics-preserving multitask implementation of synchronous programs
Paul Caspi, Norman Scaife, Christos Sofronis, Stav...
IPPS
2007
IEEE
13 years 11 months ago
Using Coroutines for RPC in Sensor Networks
This paper proposes a concurrency model which integrates the asynchronous and event-driven nature of wireless etworks with higher-level abstractions that provide a more familiar p...
Marcelo Cohen, Thiago Ponte, Silvana Rossetto, Noe...
LCPC
1995
Springer
13 years 8 months ago
V-cal: A Calculus for the Compilation of Data Parallel Languages
V-cal is a calculus designed to support the compilation of data parallel languages that allows to describe program transformations and optimizations as semantics preserving rewrite...
P. F. G. Dechering, J. A. Trescher, J. P. M. de Vr...