5863 search results - page 1018 / 1173 » On Model-Checking of P Systems |
135
click to vote
HPDC
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper addresses the problem of efficient execution of a batch of data-intensive tasks with batch-shared I/O behavior, on coupled storage and compute clusters. Two scheduling...
160
click to vote
IEEEPACT
2006
IEEE
15 years 10 months ago
2006
IEEE
Thread escape analysis conservatively determines which objects may be accessed in more than one thread. Thread escape analysis is useful for a variety of purposes – finding rac...
129
click to vote
IEEESCC
2006
IEEE
15 years 10 months ago
2006
IEEE
A virtual organization (VO) is a dynamic collection of entities (individuals, enterprises, and information resources) collaborating on some computational activity. VOs are an emer...
174
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
Image and video codecs are prevalent in multimedia devices, ranging from embedded systems, to desktop computers, to high-end servers such as HDTV editing consoles. It is not uncom...
136
click to vote
IROS
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— This paper describes an investigation into the control of autonomous mobile sensor platforms in a marine sensor network used to provide monitoring of transitory phenome...