Sciweavers

1503 search results - page 230 / 301
» Designing situations
Sort
View
USENIX
2001
15 years 1 months ago
Pragmatic Nonblocking Synchronization for Real-Time Systems
We present a pragmatic methodology for designing nonblocking real-time systems. Our methodology uses a combination of lock-free and wait-free synchronization techniques and clearl...
Michael Hohmuth, Hermann Härtig
WICSA
2001
15 years 1 months ago
A Compositional Approach for Constructing Connectors
Increasingly, systems are composed from independently developed parts, and mechanisms that allow those parts to interact (connectors). In many situations, specialized forms of int...
Bridget Spitznagel, David Garlan
86
Voted
VG
2003
15 years 1 months ago
Volume CAD
In this paper, we propose a novel shape and physical attribute handling system Volume-CAD designated for practical and robust use in the manufacturing process of various industrie...
Kiwamu Kase, Yoshinori Teshima, Shugo Usami, H. Oh...
FTCS
1998
144views more  FTCS 1998»
15 years 1 months ago
Improving Software Robustness with Dependability Cases
Programs fail mainly for two reasons: logic errors in the code, and exception failures. Exception failures can account for up to 2/3 of system crashes [6], hence are worthy of ser...
Roy A. Maxion, Robert T. Olszewski
ISMB
2000
15 years 1 months ago
Intelligent Aids for Parallel Experiment Planning and Macromolecular Crystallization
This paper presents a framework called Parallel Experiment Planning (PEP) that is based on an abstraction of how experiments are performed in the domain of macromolecular crystall...
Vanathi Gopalakrishnan, Bruce G. Buchanan, John M....