2002 search results - page 35 / 401 » An Approach for Assessment of Reliability of the System Usin... |
HASE
2008
IEEE
14 years 3 months ago
2008
IEEE
With the increasing complexity in software and electronics in safety-critical systems new challenges to lower the costs and decrease time-to-market, while preserving high assuranc...
RAS
2000
13 years 8 months ago
2000
The lobula giant movement detector (LGMD) system in the locust responds selectively to objects approaching the animal on a collision course. In earlier work we have presented a ne...
EVOW
2009
Springer
13 years 6 months ago
2009
Springer
One of the purposes of Systems Biology is the quantitative modeling of biochemical networks. In this effort, the use of dynamical mathematical models provides for powerful tools in...
ICSE
2003
IEEE-ACM
14 years 9 months ago
2003
IEEE-ACM
In a software development group of IBM Retail Store Solutions, we built a non-trivial software system based on a stable standard specification using a disciplined, rigorous unit t...
DAC
2009
ACM
14 years 9 months ago
2009
ACM
Continuously shrinking feature sizes result in an increasing susceptibility of circuits to transient faults, e.g. due to environmental radiation. Approaches to implement fault tol...