6111 search results - page 1170 / 1223 » Time, Hardware, and Uniformity |
IROS
2009
IEEE
14 years 2 months ago
2009
IEEE
— This paper analyzes the potential to apply mobile service robots in offshore oil and gas producing environments. The required hardware and software components and abilities of ...
TPHOL
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract. Real multiprocessors do not provide the sequentially consistent memory that is assumed by most work on semantics and verification. Instead, they have relaxed memory mode...
EMSOFT
2009
Springer
14 years 2 months ago
2009
Springer
System-on-Chip (SoC) is a promising paradigm to implement safety-critical embedded systems, but it poses significant challenges from a design and verification point of view. In ...
IWMM
2009
Springer
14 years 2 months ago
2009
Springer
It is important that long running server programs retain availability amidst software failures. However, server programs do fail and one of the important causes of failures in ser...
IWMM
2009
Springer
14 years 2 months ago
2009
Springer
Tracing algorithms visit reachable nodes in a graph and are central to activities such as garbage collection, marshalling etc. Traditional sequential algorithms use a worklist, re...