1226 search results - page 182 / 246 » Proofs, Programs and Abstract Complexity |
151
click to vote
OOPSLA
2009
Springer
16 years 17 days ago
2009
Springer
Side effects are both the essence and bane of imperative programming. The programmer must carefully coordinate actions to manage their side effects upon each other. Such coordinat...
157
click to vote
ICCCN
2007
IEEE
16 years 10 days ago
2007
IEEE
This paper proposes a spatio-temporal macroprogramming paradigm for push-pull hybrid wireless sensor networks (WSNs). The proposed paradigm, called SpaceTime Oriented Programming ...
155
click to vote
CC
2007
Springer
16 years 6 days ago
2007
Springer
Abstract. To reason about programs, dynamic optimizers and analysis tools use sampling to collect a dynamic call graph (DCG). However, sampling has not achieved high accuracy with ...
168
click to vote
EUROPAR
2007
Springer
16 years 5 days ago
2007
Springer
Abstract. Algorithmic skeletons correspond to a high-level programming model that takes advantage of nestable programming patterns to hide the complexity of parallel/distributed ap...
138
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract—Modern embedded multimedia systems process multiple concurrent streams of data processing jobs. Streams often have throughput requirements. These jobs are implemented on...