7080 search results - page 260 / 1416 » Designing High Integrity Systems Using Aspects |
112
Voted
CPHYSICS
2007
15 years 3 months ago
2007
Plasma process is a highly selective technique exploiting the individual or mixed function of positive ions, electrons, neutral radicals, and photons produced by low temperature p...
140
click to vote
JFR
2007
15 years 3 months ago
2007
In this paper we describe an Extended Kalman Filter (EKF) algorithm for estimating the pose and velocity of a spacecraft during Entry, Descent and Landing (EDL). The proposed esti...
110
click to vote
OZCHI
2005
ACM
15 years 9 months ago
2005
ACM
This paper describes the development of movement-oriented personas and scenarios for representing multiple users of an interactive, immersive environment, designed as an artistic ...
153
Voted
ETS
2009
IEEE
2009
IEEE
Increasing Robustness of SAT-based Delay Test Generation Using Efficient Dynamic Learning Techniques
15 years 1 months ago
Due to the increased speed in modern designs, testing for delay faults has become an important issue in the postproduction test of manufactured chips. A high fault coverage is nee...
158
click to vote
SOSP
2007
ACM
16 years 6 days ago
2007
ACM
Reliability at massive scale is one of the biggest challenges we face at Amazon.com, one of the largest e-commerce operations in the world; even the slightest outage has significa...