Sciweavers

2595 search results - page 134 / 519
» Modes in Asynchronous Systems
Sort
View
131
Voted
QEST
2007
IEEE
15 years 10 months ago
Probabilistic Model-Checking Support for FMEA
Failure Mode and Effect Analysis (FMEA) is a method for assessing cause-consequence relations between component faults and hazards that may occur during the lifetime of a system. ...
Lars Grunske, Robert Colvin, Kirsten Winter
DATE
2010
IEEE
153views Hardware» more  DATE 2010»
15 years 9 months ago
Energy-efficient task allocation and scheduling for multi-mode MPSoCs under lifetime reliability constraint
In this paper, we consider energy minimization for multiprocessor system-on-a-chip (MPSoC) under lifetime reliability constraint of the system, which has become a serious concern ...
Lin Huang, Qiang Xu
121
Voted
PODC
2009
ACM
16 years 5 months ago
Dynamic atomic storage without consensus
This paper deals with the emulation of atomic read/write (R/W) storage in dynamic asynchronous message passing systems. In static settings, it is well known that atomic R/W storag...
Marcos Kawazoe Aguilera, Idit Keidar, Dahlia Malkh...

Publication
715views
17 years 4 months ago
A Peer-to-Peer Spatial Cloaking Algorithm for Anonymous Location-based Services
This paper tackles a major privacy threat in current location-based services where users have to report their exact locations to the database server in order to obtain their desire...
Chi-Yin Chow, Mohamed F. Mokbel, Xuan Liu
ICRA
2005
IEEE
127views Robotics» more  ICRA 2005»
15 years 10 months ago
Performance of Surgical Robots with Automatically Generated Spatial Virtual Fixtures
– Our recent work on robotic surgical assistant systems has led us to develop a method to generate spatial motion constraints associated with complex 3D geometry for controlling ...
Ming Li, Russell H. Taylor