7694 search results - page 400 / 1539 » An Implementation of an Applicative File System |
195
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Particle Swarm Optimization (PSO) is an established method for parameter optimization. It represents a population-based adaptive optimization technique that is influen...
220
click to vote
PPL
2008
15 years 6 months ago
2008
As the number of integrated IP cores in the current System-on-Chips (SoCs) keeps increasing, communication requirements among cores can not be sufficiently satisfied using either ...
318
click to vote
ICFP
2009
ACM
16 years 7 months ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...
173
click to vote
TRIDENTCOM
2005
IEEE
16 years 11 days ago
2005
IEEE
A global Internet overlay testbed is being deployed to support the distributed, shared use of resources for network research. The Global X-Bone (GX-Bone) augments the X-Bone softw...
210
click to vote
HPDC
2002
IEEE
15 years 11 months ago
2002
IEEE
The increasingly common practice of replicating datasets and using resources as distributed data stores in Grid environments has led to the problem of determining which replica ca...