Sciweavers

9284 search results - page 1447 / 1857
» Knowledge State Algorithms
Sort
View
ISCAS
2006
IEEE
111views Hardware» more  ISCAS 2006»
16 years 23 days ago
CMOS analog iterative decoders using margin propagation circuits
Abstract- Analog iterative decoders offer several advantages over their digital counterparts in terms of speed and power -A- log-MAP consumption. The current state of art CMOS anal...
S. Chakrabartty
PRDC
2006
IEEE
16 years 23 days ago
Detecting and Exploiting Symmetry in Discrete-state Markov Models
Dependable systems are usually designed with multiple instances of components or logical processes, and often possess symmetries that may be exploited in model-based evaluation. T...
W. Douglas Obal II, Michael G. McQuinn, William H....
208
Voted
RSP
2006
IEEE
125views Control Systems» more  RSP 2006»
16 years 23 days ago
Creation and Validation of Embedded Assertion Statecharts
This paper addresses the need to integrate formal assertions into the modeling, implementation, and testing of statechart based designs. The paper describes an iterative process f...
Doron Drusinsky, Man-tak Shing, Kadir Alpaslan Dem...
SRDS
2006
IEEE
16 years 23 days ago
Recovering from Distributable Thread Failures with Assured Timeliness in Real-Time Distributed Systems
We consider the problem of recovering from failures of distributable threads with assured timeliness. When a node hosting a portion of a distributable thread fails, it causes orph...
Edward Curley, Jonathan Stephen Anderson, Binoy Ra...
SUTC
2006
IEEE
16 years 23 days ago
Energy Efficient Sleep Schedule for Achieving Minimum Latency in Query based Sensor Networks
Energy management in sensor networks is crucial to prolong the network lifetime. Though existing sleep scheduling algorithms save energy, they lead to a large increase in end-to-e...
N. A. Vasanthi, S. Annadurai
« Prev « First page 1447 / 1857 Last » Next »