1664 search results - page 150 / 333 » Making a Case for Multi-Agent Systems |
134
click to vote
CSMR
2005
IEEE
15 years 10 months ago
2005
IEEE
Analyzing historical information can show how a software system evolved into its current state, which parts of the system are stable and which have changed more. However, historic...
242
click to vote
PARA
2004
Springer
15 years 10 months ago
2004
Springer
We describe some extensions to Parallel Sparse BLAS (PSBLAS), a library of routines providing basic Linear Algebra operations needed to build iterative sparse linear system solvers...
135
click to vote
PDP
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract—Among the numerous DAG scheduling heuristics suitable for heterogeneous systems, the Heterogeneous Earliest Finish Time (HEFT) heuristic is known to give good results in...
130
click to vote
CC
2001
Springer
15 years 9 months ago
2001
Springer
We study the application of a standard model checker tool, Spin, to the well-known problem of computing a may-alias relation for a C program. A precise may-alias relation can signi...
128
click to vote
IPPS
2000
IEEE
15 years 9 months ago
2000
IEEE
Abstract In this document we make a brief review of memory management and DMA considerations in case of common SCI hardware and the Virtual Interface Architecture. On this basis we...