221 search results - page 19 / 45 » Control Dependence for Extended Finite State Machines |
ERSHOV
1999
Springer
13 years 11 months ago
1999
Springer
A semi-visual framework for the speci cation of syntax and semantics of imperative programming languages, called Montages, was proposed in an earlier work by the authors. The prima...
TCS
2008
13 years 7 months ago
2008
We investigate the decidability of observational equivalence and approximation in Reynolds' "Syntactic Control of Interference" (SCI), a prototypical functionalimpe...
ICCD
1995
IEEE
13 years 11 months ago
1995
IEEE
We describe thedesign of a high performance asynchronous SCSI Small Computer Systems Interface controller data path and the associated control circuits. The data path is an asyn...
ICPR
2000
IEEE
14 years 8 months ago
2000
IEEE
In this paper we describe a machine vision system for inspecting bearings, which are an important part of electro-mechanical kWh meters. The system consists of a personal computer ...
VIS
2007
IEEE
14 years 8 months ago
2007
IEEE
Modern unsteady (multi-)field visualizations require an effective reduction of the data to be displayed. From a huge amount of information the most informative parts have to be ext...