2432 search results - page 348 / 487 » Using simple abstraction to reinvent computing for paralleli... |
164
click to vote
IFIPTCS
2010
15 years 2 months ago
2010
Abstract. We propose a framework for reasoning about program security building on language-theoretic and coalgebraic concepts. The behaviour of a system is viewed as a mapping from...
149
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
Peer-to-Peer (P2P) cycle sharing over the Internet has become increasingly popular as a way to share idle cycles. A fundamental problem faced by P2P cycle sharing systems is how t...
134
click to vote
EUROPAR
2007
Springer
15 years 10 months 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...
130
click to vote
ASPDAC
2010
ACM
15 years 2 months ago
2010
ACM
- The design of embedded computing systems faces a serious productivity gap due to the increasing complexity of their hardware and software components. One solution to address this...
142
click to vote
IPMI
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. The exterior surface of the brain is characterized by a juxtaposition of crests and troughs that together form a folding pattern. The majority of the deformations that oc...