1624 search results - page 181 / 325 » Integrating Fault-Tolerant Techniques into the Design of Cri... |
209
click to vote
ICMI
2010
Springer
15 years 4 months ago
2010
Springer
In order to support interactive high-fidelity prototyping of postWIMP user interactions, we propose a multi-fidelity design method based on a unifying component-based model and su...
201
click to vote
IJCSA
2006
15 years 6 months ago
2006
The explosion of the number of web-based information sources has drastically increased the need for intelligent mediation tools to be implemented between the users and these infor...
189
click to vote
RTCSA
2006
IEEE
16 years 15 days ago
2006
IEEE
In this paper we analyze the traditional model of interrupt management and its inability to incorporate the reliability and temporal predictability demanded by real-time systems. ...
180
click to vote
VLSID
2009
IEEE
16 years 7 months ago
2009
IEEE
Dynamic reconfiguration techniques are widely used for efficient system optimization. Dynamic cache reconfiguration is a promising approach for reducing energy consumption as well...
151
click to vote
ISVLSI
2007
IEEE
16 years 23 days ago
2007
IEEE
Formal verification has become an important step in circuit and system design. A prominent technique is Bounded Model Checking (BMC) which is widely used in industry. In BMC it i...