2031 search results - page 183 / 407 » On Tree-Constrained Matchings and Generalizations |
107
click to vote
CONCUR
1997
Springer
15 years 2 months ago
1997
Springer
We apply the symbolic analysis principle to pushdown systems. We represent (possibly in nite) sets of con gurations of such systems by means of nite-state automata. In order to re...
ISSS
1996
IEEE
15 years 2 months ago
1996
IEEE
In the paper the problem of processor/compiler codesign for digital signal processing and embedded SYstems is discussed. The main principle we follow is the top-down approach char...
ICCS
1997
Springer
15 years 2 months ago
1997
Springer
The name of the system is \THE CG MARS LANDER", which stands forType Hierarchy Enhanced CGMatching And Retrieval SystemLinear Associative N-tuple Deductive Embedded Representa...
HPDC
1993
IEEE
15 years 2 months ago
1993
IEEE
The Numerical Propulsion System Simulation (NPSS) project has been initiated by NASA to explore the use of computer simulation in the development of new aircraft propulsion techno...
DAC
1994
ACM
15 years 2 months ago
1994
ACM
This paper describes a diagnosis technique for locating design errors in circuit implementations which do not match their functional specification. The method efficiently propagat...