1870 search results - page 134 / 374 » Abstract And-Parallel Machines |
ICCAD
2000
IEEE
15 years 3 months ago
2000
IEEE
Most hardware description frameworks, whether schematic or textual, use cooperating finite state machines (CFSM) as the underlying abstraction. In the CFSM framework, a designer ...
CAV
1998
Springer
15 years 3 months ago
1998
Springer
bstract description of state machines (ASMs), in which data and data operations are d using abstract sort and uninterpreted function symbols. ASMs are suitable for describing Regis...
WDAG
1993
Springer
15 years 3 months ago
1993
Springer
Fairness is an important concept in design and implementation of distributed systems. At the specification level, fairness usually serves as an assumption for proving liveness. At ...
EUC
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. In this article we elaborate on portability in componentbased operating systems, focusing in the hardware mediator construct proposed by Frhlich in the Application-Orient...
ZUM
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. This paper reports on an experimental application of formal specification to inform analysis of compiled code. The analyses with are concerned attempt to recover abstract...