4311 search results - page 238 / 863 » Code Generation for Distributed Systems |
181
click to vote
ARCS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Many-core processor architectures require scalable solutions that reflect the locality and power constraints of future generations of technology. This paper presents a CM...
161
click to vote
HPDC
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper presents the concept of pluggable parallelisation that allows scientists to develop “sequential like” codes that can take advantage of multi-core, cluster and grid ...
200
click to vote
ICFP
2005
ACM
16 years 6 months ago
2005
ACM
Proof-carrying code (PCC) is a general framework that can, in principle, verify safety properties of arbitrary machine-language programs. Existing PCC systems and typed assembly l...
184
click to vote
ERCIMDL
2006
Springer
15 years 10 months ago
2006
Springer
The advent of digital libraries along with the tremendous growth of digital content call for distributed and scalable approaches for managing vast data collections. Peer-to-peer (P...
173
click to vote
AIPR
2005
IEEE
16 years 3 days ago
2005
IEEE
Abstract—The multi-band target detection algorithms implemented in hyperspectral imaging systems represent perhaps the most successful example of image fusion. A core suite of su...