Sciweavers

5898 search results - page 152 / 1180
» Parallel Computing Environments and Methods
Sort
View
IFL
2003
Springer
15 years 7 months ago
Dynamic Chunking in Eden
Parallel programming generally requires awareness of the granularity and communication requirements of parallel subtasks, since without precaution, the overhead for parameter and r...
Jost Berthold
ISSTA
2006
ACM
15 years 8 months ago
Using model checking with symbolic execution to verify parallel numerical programs
We present a method to verify the correctness of parallel programs that perform complex numerical computations, including computations involving floating-point arithmetic. The me...
Stephen F. Siegel, Anastasia Mironova, George S. A...
SPAA
1990
ACM
15 years 6 months ago
A New Preconditioner for the Parallel Solution of Positive Definite Toeplitz Systems
We introduce a new preconditioner for solving a symmetric Toeplitz system of equations by the conjugate gradient method. This choice leads to an algorithm which is particularly sui...
Dario Bini, Fabio Di Benedetto
HCW
2000
IEEE
15 years 6 months ago
Reliable Cluster Computing with a New Checkpointing RAID-x Architecture
In a serverless cluster of PCs or workstations, the cluster must allow remote file accesses or parallel I/O directly performed over disks distributed to all client nodes. We intro...
Kai Hwang, Hai Jin, Roy S. C. Ho, Wonwoo Ro
119
Voted
PACT
2005
Springer
15 years 8 months ago
Experimenting with a Multi-agent E-Commerce Environment
Agent technology is often claimed to be the most natural approach for automating e-commerce business processes. Despite these claims, up till now, the most successful e-commerce sy...
Costin Badica, Maria Ganzha, Marcin Paprzycki, Ama...