1916 search results - page 213 / 384 » Reconfiguring a state machine |
ISRR
2001
Springer
14 years 21 days ago
2001
Springer
Field Robots are machines that work in unstructured environments, including under water, in mines, in forests and on farms, and in the air. These applications involve both advance...
AC
2000
Springer
14 years 18 days ago
2000
Springer
This tutorial paper discusses a particular style of operational semantics that enables one to give a ‘syntax-directed’ inductive definition of termination which is very useful...
ASM
2000
ASM
14 years 18 days ago
2000
ASM
Abstract. The Abstract State Machines (ASM) methodology is a methodology for formally specifying computing systems. We use the ASM methodology to give the dynamic semantics of the ...
ISCAS
1999
IEEE
14 years 16 days ago
1999
IEEE
A simple but accurate pseudo-passive mismatch-shaping D/A converter is described. A digital state machine is used to control the switching sequence of a symmetric two-capacitor ne...
DFT
1998
IEEE
14 years 16 days ago
1998
IEEE
This paper presents a system to evaluate the testability of an on-line testable circuit. The system operates at the RT-level, before the logic synthesis step, and allows for an ex...