Sciweavers

13489 search results - page 573 / 2698
» Operating System
Sort
View
SOSP
1993
ACM
15 years 8 months ago
Understanding the Limitations of Causally and Totally Ordered Communication
Causally and totally ordered communication support (CATOCS) has been proposed as important to provide as part of the basic building blocks for constructing reliable distributed sy...
David R. Cheriton, Dale Skeen
ICRA
2006
IEEE
138views Robotics» more  ICRA 2006»
16 years 1 months ago
An Analysis of Rollover Stability Measurement for High-speed Mobile Robots
– Mobile robots and passenger vehicles are frequently required to operate at high speeds, on terrain that is sloped or uneven. These systems can be susceptible to rollover, parti...
Steven C. Peters, Karl Iagnemma
ASPDAC
2011
ACM
217views Hardware» more  ASPDAC 2011»
14 years 10 months ago
Realization and performance comparison of sequential and weak memory consistency models in network-on-chip based multi-core syst
This paper studies realization and performance comparison of the sequential and weak consistency models in the network-on-chip (NoC) based distributed shared memory (DSM) multi-cor...
Abdul Naeem, Xiaowen Chen, Zhonghai Lu, Axel Jants...
FROCOS
2009
Springer
16 years 1 months ago
DL-Lite with Temporalised Concepts, Rigid Axioms and Roles
We investigate the temporal extension of the description logic DL-Lite(RN ) bool with the until operator on concepts, rigid (time-independent) and local (time-dependent) roles, and...
Alessandro Artale, Roman Kontchakov, Vladislav Ryz...
LWA
2004
15 years 8 months ago
Towards Self-Regulating Adaptive Systems
This paper discusses ongoing work towards a theoretical basis intended to facilitate the development of self-regulating adaptive systems. Self-regulation refers to the capacity of...
Alex Paramythis