59 search results - page 6 / 12 » Applying Formal Methods for Human Error Tolerant Design |
MEMOCODE
2003
IEEE
14 years 20 days ago
2003
IEEE
Formal techniques have been widely applied in the design of real-time systems and have significantly helped detect design errors by checking real-time properties of the model. Ho...
KBSE
2000
IEEE
13 years 11 months ago
2000
IEEE
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
GECCO
2000
Springer
13 years 11 months ago
2000
Springer
Reinforcement learning (RL) is one of the machine learning techniques and has been received much attention as a new self-adaptive controller for various systems. The RL agent auto...
VLSID
2002
IEEE
14 years 7 months ago
2002
IEEE
Directed test program-based verification or formal verification methods are usually quite ineffective on large cachecoherent, non-uniform memory access (CC-NUMA) multiprocessors b...
PDP
2010
IEEE
13 years 5 months ago
2010
IEEE
— This paper presents Investigation of Transient Fault Effects in an asynchronous NoC router. The experiment is based on simulation-based fault injection method to assess the fau...