1833 search results - page 293 / 367 » Bigtable: A Distributed Storage System for Structured Data |
CONCUR
2000
Springer
14 years 16 days ago
2000
Springer
We introduce some new models of infinite-state transition systems. The basic model, called a (reversal-bounded) counter machine (CM), is a nondeterministic finite automaton augment...
JFR
2007
13 years 8 months ago
2007
We describe a Simultaneous Localization and Mapping (SLAM) method for a hovering underwater vehicle that will explore underwater caves and tunnels, a true three dimensional (3D) e...
EUROPAR
2007
Springer
14 years 3 months ago
2007
Springer
This paper introduces the design of SymGrid, a new Grid framework that will, for the first time, allow multiple invocations of symbolic computing applications to interact via the ...
POPL
2010
ACM
13 years 7 months ago
2010
ACM
S-NET is a declarative coordination language and component technology aimed at modern multi-core/many-core architectures and systems-on-chip. It builds on the concept of stream pr...
EUROSYS
2007
ACM
14 years 6 months ago
2007
ACM
During concurrent I/O workloads, sequential access to one I/O stream can be interrupted by accesses to other streams in the system. Frequent switching between multiple sequential ...