756 search results - page 75 / 152 » Can Abstract State Machines Be Useful in Language Theory |
150
click to vote
DAC
1997
ACM
15 years 10 months ago
1997
ACM
This paper presents a novel approach for automatic test pattern generation of asynchronous circuits. The techniques used for this purpose assume that the circuit can only be exerc...
153
click to vote
HYBRID
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Multi-modal control is a commonly used design tool for breaking up complex control tasks into sequences of simpler tasks. In this paper, we show that by viewing the contr...
130
click to vote
ENTCS
2007
15 years 5 months ago
2007
We present a method for pipeline verification using SMT solvers. It is based on a non-deterministic “mother pipeline” machine (MOP) that abstracts the instruction set archite...
153
click to vote
ATAL
2009
Springer
16 years 10 days ago
2009
Springer
In planning as well as in other areas, temporal logic has been used to specify so-called temporally extended goals. Temporally extended goals refer to desirable sequences of state...
165
click to vote
ESWS
2007
Springer
15 years 12 months ago
2007
Springer
Abstract. In this paper, we propose a novel approach to measure inconsistencies in ontologies based on Shapley values, which are originally proposed for game theory. This measure c...