Sciweavers

3 search results - page 1 / 1
» Semantics-preserving multitask implementation of synchronous...
Sort
View
TECS
2008
58views more  TECS 2008»
13 years 10 months ago
Semantics-preserving multitask implementation of synchronous programs
Paul Caspi, Norman Scaife, Christos Sofronis, Stav...
IPPS
2007
IEEE
14 years 5 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
14 years 2 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...