2520 search results - page 429 / 504 » Model-checking behavioral programs |
CGO
2006
IEEE
14 years 4 months ago
2006
IEEE
Software prefetching has been demonstrated as a powerful technique to tolerate long load latencies. However, to be effective, prefetching must target the most critical (frequently...
HPDC
2006
IEEE
14 years 4 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...
ICAT
2006
IEEE
14 years 4 months ago
2006
IEEE
Interactive virtual characters are nowadays commonplace in games, animations, and Virtual Reality (VR) applications. However, relatively few work has so far considered the animatio...
ICRA
2006
IEEE
14 years 4 months ago
2006
IEEE
Abstract— This paper is concerned with the in-field autonomous operation of unmanned marine vehicles in accordance with convention for safe and proper collision avoidance as pre...
IPPS
2006
IEEE
14 years 4 months ago
2006
IEEE
As an extension of Bayesian network, module network is an appropriate model for inferring causal network of a mass of variables from insufficient evidences. However learning such ...