Sciweavers

3674 search results - page 355 / 735
» Information Dependencies
Sort
View
PRDC
2005
IEEE
15 years 11 months ago
On Automating Failure Mode Analysis and Enhancing its Integrity
This paper reports our experience on the development of a design-for-safety (DFS) workbench called Risk Assessment and Management Environment (RAME) for microelectronic avionics s...
Kam S. Tso, Ann T. Tai, Savio N. Chau, Leon Alkala...
PRDC
2005
IEEE
15 years 11 months ago
Sigma: A Fault-Tolerant Mutual Exclusion Algorithm in Dynamic Distributed Systems Subject to Process Crashes and Memory Losses
This paper introduces the Sigma algorithm that solves fault-tolerant mutual exclusion problem in dynamic systems where the set of processes may be large and change dynamically, pr...
Wei Chen, Shiding Lin, Qiao Lian, Zheng Zhang
QSIC
2005
IEEE
15 years 11 months ago
Proving the Safety of SQL Queries
Many programs need to access data in a relational database. This is usually done by means of queries written in SQL. Although the language SQL is declarative, certain runtime erro...
Stefan Brass, Christian Goldberg
ISLPED
2005
ACM
101views Hardware» more  ISLPED 2005»
15 years 11 months ago
Energy-aware fetch mechanism: trace cache and BTB customization
1 A highly-efficient fetch unit is essential not only to obtain good performance but also to achieve energy efficiency. However, existing designs are inflexible and depending on pr...
Daniel Chaver, Miguel A. Rojas, Luis Piñuel...
IUI
2005
ACM
15 years 11 months ago
Conventions in human-human multi-threaded dialogues: a preliminary study
In this paper, we explore the conventions that people use in managing multiple dialogue threads. In particular, we focus on where in a thread people interrupt when switching to an...
Peter A. Heeman, Fan Yang, Andrew L. Kun, Alexande...