2496 search results - page 404 / 500 » On covering by translates of a set |
ICCAD
1994
IEEE
15 years 6 months ago
1994
IEEE
Language containment is a method for design verification that involves checking if the behavior of the system to be verified is a subset of the behavior of the specifications (pro...
141
click to vote
ISCA
1993
IEEE
15 years 6 months ago
1993
IEEE
er uses an abstract machine approach to compare the mechanisms of two parallel machines: the J-Machine and the CM-5. High-level parallel programs are translated by a single optimi...
159
click to vote
CAV
1994
Springer
15 years 6 months ago
1994
Springer
We introduce event-recording automata. An event-recording automaton is a timed automaton that contains, for every event a, a clock that records the time of the last occurrence of a...
119
click to vote
DBPL
1993
Springer
15 years 6 months ago
1993
Springer
A frequent dilemma in the design of a database programming language is the choice between a language with a rich set of tailored notations for schema definitions, query expression...
108
click to vote
ECAI
1994
Springer
15 years 6 months ago
1994
Springer
Default logic, one of the best known formalisms to express common sense reasoning, does not allow to reason by cases in its standard formulations. We propose a natural and easy way...