1701 search results - page 34 / 341 » Computer Science and State Machines |
VLSID
2002
IEEE
15 years 10 months ago
2002
IEEE
| This paper reports the design of BIST structures for sequential machines. Testability of an FSM is limited due to the fact that some machine states remain unreachable and some ac...
ERSHOV
1999
Springer
15 years 2 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...
SOFSEM
2012
Springer
13 years 5 months ago
2012
Springer
Service resilience, defined as the continued availability of a service despite failures and other negative changes in its environment, is vital in many systems. It is typically ac...
DELOS
2004
14 years 11 months ago
2004
Databases and Grid computing are a good match. With the service orientation of Grid computing, the complexity of maintaining and integrating databases can be kept away from the act...
ACSE
2000
ACM
15 years 2 months ago
2000
ACM
The Logo programming language implements a virtual drawing machine—the turtle machine. The turtle machine is well-known for giving students an intuitive understanding of fundame...