2346 search results - page 270 / 470 » Hierarchical State Machines |
185
click to vote
VSTTE
2005
Springer
16 years 1 days ago
2005
Springer
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...
172
click to vote
ISRR
2001
Springer
15 years 11 months 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...
169
click to vote
AC
2000
Springer
15 years 11 months 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...
159
click to vote
ASM
2000
ASM
15 years 11 months 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 ...
135
click to vote
ISCAS
1999
IEEE
15 years 11 months 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...