2296 search results - page 327 / 460 » The Expressive Power of Synchronizations |
173
click to vote
SEFM
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper presents an implicitly-typed functional, aspect-oriented programming language: λ AOP. The main contribution of the paper is a semantics for λ AOP advice weaving. The ...
164
click to vote
ESWS
2007
Springer
15 years 11 months ago
2007
Springer
ct In recent years, the use of streamed digital video as a teaching and learning resource has become an increasingly attractive option for many educators as an innovation which exp...
161
click to vote
IPSN
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, we present a wireless sensor platform designed for processing multipoint human motion with low latency and high resolution. One application considered here is inter...
169
click to vote
PPOPP
2005
ACM
15 years 10 months ago
2005
ACM
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose at run-time. This motivated the development of type systems that statically en...
167
click to vote
CLOUD
2010
ACM
15 years 9 months ago
2010
ACM
We present a parallel data processor centered around a programming model of so called Parallelization Contracts (PACTs) and the scalable parallel execution engine Nephele [18]. Th...