4485 search results - page 218 / 897 » Equivalences on Observable Processes |
104
Voted
DATE
2009
IEEE
15 years 7 months ago
2009
IEEE
The process of sequential redundancy identification is the cornerstone of sequential synthesis and equivalence checking frameworks. The scalability of the proof obligations inhere...
140
Voted
ICCD
1995
IEEE
15 years 7 months ago
1995
IEEE
– This paper describes a new technique for extracting clock-level finite state machines(FSMs) from transistor netlists using symbolic simulation. The transistor netlist is prepr...
112
Voted
AAAI
2007
15 years 5 months ago
2007
In the last decade, several approaches have been proposed for merging multiple and potentially conflicting pieces of information. Egalitarist fusion modes privilege solutions tha...
158
Voted
SNPD
2003
15 years 4 months ago
2003
In particular for safety critical systems it is necessary to make sure that the non-functional properties imposed by a system architecture meet the corresponding requirements as e...
131
Voted
FORTE
1997
15 years 4 months ago
1997
In a Message Sequence Chart (MSC) the dynamical behaviour of a number of cooperating processes is depicted. An MSC defines a partial order on the communication events between the...