Sciweavers

1075 search results - page 100 / 215
» On Singular Interval Systems
Sort
View
ASPDAC
2005
ACM
72views Hardware» more  ASPDAC 2005»
15 years 6 months ago
TERPS: the embedded reliable processing system
Abstract — TERPS is a fault-tolerant computer design that significantly reduces the threat of electromagnetic interference (EMI), using hardware checkpoint/rollback-recovery. TE...
Hongxia Wang, Samuel Rodríguez, Cagdas Diri...
IEEECIT
2010
IEEE
15 years 2 months ago
A Learning Spectrum Hole Prediction Model for Cognitive Radio Systems
—In this paper, we present a new spectrum-hole prediction model for cognitive radio (CR) systems based on the IEEE 802.11 wireless local areas networks. We have also analyzed the...
Zhigang Wen, Chunxiao Fan, Xiaoying Zhang, Yuexin ...
EUSFLAT
2009
118views Fuzzy Logic» more  EUSFLAT 2009»
15 years 2 months ago
Operational Semantics for a Fuzzy Logic Programming System with Defaults and Constructive Answers
In this paper we present the operational semantics of RFuzzy, a fuzzy Logic Programming framework that represents thruth values using real numbers from the unit interval. RFuzzy pr...
Hannes Strass, Susana Muñoz-Hernánde...
SIAMNUM
2010
106views more  SIAMNUM 2010»
14 years 11 months ago
Computing Sacker-Sell spectra in Discrete Time Dynamical Systems
In this paper we develop boundary value methods for detecting Sacker-Sell spectra in discrete time dynamical systems. The algorithms are advancements of earlier methods for comput...
Thorsten Hüls
DATE
2006
IEEE
76views Hardware» more  DATE 2006»
15 years 10 months ago
Performance optimization for energy-aware adaptive checkpointing in embedded real-time systems
Using additional store-checkpoinsts (SCPs) and compare-checkpoints (CCPs), we present an adaptive checkpointing for double modular redundancy (DMR) in this paper. The proposed app...
Zhongwen Li, Hong Chen, Shui Yu