7167 search results - page 1051 / 1434 » Answer Set Programming |
132
click to vote
FMCAD
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Since the advent of model checking it is becoming more common for languages to be given a semantics in terms of transition systems. Such semantics allow to model check pr...
149
Voted
ASAP
1997
IEEE
15 years 7 months ago
1997
IEEE
This paper reviews a set of techniques for compiling dataflow-based, graphical programs for embedded signal processing applications into efficient implementations on programmable ...
111
Voted
DAC
1995
ACM
15 years 7 months ago
1995
ACM
Abstract—We present a new approach to event-driven simulation that does not use a centralized run-time event queue, yet is capable of handling arbitrary models, including those w...
128
Voted
ICCAD
1995
IEEE
15 years 7 months ago
1995
IEEE
Abstract—We propose the use of the logic S1S as a mathematical framework for studying the synthesis of sequential designs. We will show that this leads to simple and mathematical...
153
click to vote
ISSS
1995
IEEE
15 years 7 months ago
1995
IEEE
This paper presents a system level design methodology and its implementation as CAD tool for the optimization of heterogeneous multiprocessor systems. These heterogeneous systems,...