Sciweavers

2595 search results - page 155 / 519
» Modes in Asynchronous Systems
Sort
View
DATE
2007
IEEE
80views Hardware» more  DATE 2007»
15 years 11 months ago
Engineering trust with semantic guardians
The ability to guarantee the functional correctness of digital integrated circuits and, in particular, complex microprocessors, is a key task in the production of secure and trust...
Ilya Wagner, Valeria Bertacco
DATE
2010
IEEE
145views Hardware» more  DATE 2010»
15 years 9 months ago
Energy-efficient real-time task scheduling with temperature-dependent leakage
Abstract--Leakage power consumption contributes significantly to the overall power dissipation for systems that are manufactured in advanced deep sub-micron technology. Different f...
Chuan-Yue Yang, Jian-Jia Chen, Lothar Thiele, Tei-...
HPCA
2011
IEEE
14 years 8 months ago
Calvin: Deterministic or not? Free will to choose
Most shared memory systems maximize performance by unpredictably resolving memory races. Unpredictable memory races can lead to nondeterminism in parallel programs, which can suff...
Derek Hower, Polina Dudnik, Mark D. Hill, David A....
EICS
2009
ACM
15 years 11 months ago
A bisimulation-based approach to the analysis of human-computer interaction
This paper discusses the use of formal methods for analysing human-computer interaction. We focus on the mode confusion problem that arises whenever the user thinks that the syste...
Sébastien Combéfis, Charles Pecheur
DATE
2008
IEEE
126views Hardware» more  DATE 2008»
15 years 11 months ago
Analysis of Oscillator Injection Locking by Harmonic Balance Method
A new approach to analyze injection locking mode of oscillators under small external excitation is proposed. The proposed approach exploits existence conditions of the solution of...
Mark M. Gourary, Sergey G. Rusakov, Sergey L. Ulya...