13489 search results - page 112 / 2698 » Operating System |
92
Voted
VLDB
2001
ACM
15 years 7 months ago
2001
ACM
This paper describes the new architecture for supporting the Teradata commercial VLDB on several new operating environments. We start with an overview of the Teradata database sof...
RTCSA
2005
IEEE
15 years 8 months ago
2005
IEEE
116
Voted
CCECE
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper is concerned with asymptotic observability and stabilizability of dynamical systems over communication channels subject to limited transmission capacity constraint and ...
112
Voted
ICCS
2003
Springer
15 years 7 months ago
2003
Springer
J-DOS provides and integrated JAVA environment for the execution of a program across an interconnected network of heterogeneous computers. The system provides a file system, shar...
244
Voted
POPL
2009
ACM
16 years 3 months ago
2009
ACM
This work develops an integrated approach to the verification of behaviourally rich programs, founded directly on operational semantics. The power of the approach is demonstrated ...