1628 search results - page 99 / 326 » Dynamically Adaptive Parallel Programs |
ICPPW
2002
IEEE
15 years 7 months ago
2002
IEEE
Different parallelization methods vary in their system requirements, programming styles, efficiency of exploring parallelism, and the application characteristics they can handle....
100
click to vote
JUCS
2008
15 years 2 months ago
2008
In this paper we present AmOS, the Ambient Object System that underlies the Ambience programming language. AmOS implements a computation model that supports highly dynamic behaviou...
143
click to vote
ICFP
2005
ACM
16 years 2 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...
132
click to vote
FGCS
2010
15 years 1 months ago
2010
Bulk Synchronous Parallel ML is a high-level language for programming parallel algorithms. Built upon OCaml and using the BSP model, it provides a safe setting for their implementa...
137
click to vote
PPSN
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Evolution Strategies, Evolutionary Algorithms based on Gaussian mutation and deterministic selection, are today considered the best choice as far as parameter optimizatio...