461 search results - page 53 / 93 » Verifying parallel programs with dynamic communication struc... |
CCGRID
2004
IEEE
13 years 11 months ago
2004
IEEE
Distributed Virtual Computer (DVC) is a computing environment which simplifies the development and execution of distributed applications on computational grids. DVC provides a sim...
3DIM
2011
IEEE
12 years 7 months ago
2011
IEEE
—Image-based computation of a 3D map for an indoor environment is a very challenging task, but also a useful step for vision-based navigation and path planning for autonomous sys...
HPDC
2006
IEEE
14 years 1 months ago
2006
IEEE
As the size of distributed systems keeps growing, the peer to peer communication paradigm has been identified as the key to scalability. Peer to peer overlay networks are charact...
ICPP
1997
IEEE
13 years 11 months ago
1997
IEEE
Abstract—This paper describes an algorithm for deriving data and computation partitions on scalable shared memory multiprocessors. The algorithm establishes affinity relationshi...
CODES
2005
IEEE
14 years 1 months ago
2005
IEEE
Arbitrary memory dependencies and variable latency memory systems are major obstacles to the synthesis of large-scale ASIC systems in high-level synthesis. This paper presents SOM...