Sciweavers

15614 search results - page 302 / 3123
» The State of State
Sort
View
ISCA
1995
IEEE
120views Hardware» more  ISCA 1995»
15 years 10 months ago
Unconstrained Speculative Execution with Predicated State Buffering
Speculative execution is execution of instructions before it is known whether these instructions should be executed. Compiler-based speculative execution has the potential to achi...
Hideki Ando, Chikako Nakanishi, Tetsuya Hara, Masa...
ISCAS
1995
IEEE
167views Hardware» more  ISCAS 1995»
15 years 10 months ago
Lyapunov Function Based Fuzzy State Estimator
Tzuu-Hseng S. Li, Chyi-Cherng Lai
SOFSEM
1997
Springer
15 years 10 months ago
On Finite Representations of Infinite-State Behaviours
Abstract. We examine the problem of finite-state representability of infinitestate processes w.r.t. certain behavioural equivalences. We show that the classical notion of regularit...
Antonín Kucera
LCTRTS
1995
Springer
15 years 10 months ago
Verus: A Tool for Quantitative Analysis of Finite-State Real-Time Systems
Sérgio Vale Aguiar Campos, Edmund M. Clarke...
DAC
1991
ACM
15 years 10 months ago
A Unified Approach for the Synthesis of Self-Testable Finite State Machines
-Conventionallyself-test hardware is added after synthesis is completed. For highly sequential circuits like controllersthis design method eitherleads to high hardware overheadsor ...
Bernhard Eschermann, Hans-Joachim Wunderlich