Sciweavers

105 search results - page 10 / 21
» In Vitro Implementation of Finite-State Machines
Sort
View
122
Voted
FAC
2008
64views more  FAC 2008»
15 years 3 months ago
Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine
A stream X-machine is a type of extended finite state machine with an associated development approach that consists of building a system from a set of trusted components. One of th...
Robert M. Hierons, Florentin Ipate
122
Voted
ISLPED
1998
ACM
94views Hardware» more  ISLPED 1998»
15 years 7 months ago
Theoretical bounds for switching activity analysis in finite-state machines
- The objective of this paper is to provide lower and upper bounds for the switching activity on the state lines in Finite State Machines (FSMs). Using a Markov chain model for the...
Diana Marculescu, Radu Marculescu, Massoud Pedram
133
Voted
ICCAD
2002
IEEE
110views Hardware» more  ICCAD 2002»
16 years 11 days ago
Whirlpool PLAs: a regular logic structure and their synthesis
 A regular circuit structure called a Whirlpool PLA (WPLA) is proposed. It is suitable for the implementation of finite state machines as well as combinational logic. A WPLA is ...
Fan Mo, Robert K. Brayton
113
Voted
ICECCS
1998
IEEE
110views Hardware» more  ICECCS 1998»
15 years 7 months ago
Risk Assessment and Integrity in System Design
All systems, regardless of how carefully they have been constructed, suffer failures. This paper focuses on developing a formal understanding of failure with respect to system imp...
Raymond Berg, Victor L. Winter
106
Voted
MST
2002
97views more  MST 2002»
15 years 3 months ago
Programmed Mutagenesis Is Universal
Programmed mutagenesis is a DNA computing system that uses cycles of DNA annealing, ligation, and polymerization to implement programatic rewriting of DNA sequences. We report that...
Julia Khodor, David K. Gifford