439 search results - page 73 / 88 » On Aperiodic Trace Languages |
148
click to vote
DSD
2007
IEEE
16 years 12 days ago
2007
IEEE
Design space exploration is used to shorten the design time of System-on-Chips (SoCs). The models used in the exploration need to be both accurate and fast to simulate. This paper...
180
click to vote
ICDS
2007
IEEE
16 years 11 days ago
2007
IEEE
— In this paper we present a rule-based formalism for the representation, acquisition, and application of translation knowledge. The formalism is being used successfully in a Jap...
155
click to vote
SIES
2007
IEEE
16 years 10 days ago
2007
IEEE
The properties of a domain oriented modelling approach or language are determined by the dominant semantics of the domain. A significant subclass that needs particular attention,...
192
click to vote
ATVA
2007
Springer
16 years 7 days ago
2007
Springer
This paper presents a bounded model checking algorithm for the verification of analog and mixed-signal (AMS) circuits using a satisfiability modulo theories (SMT) solver. The sys...
144
click to vote
LPNMR
2007
Springer
16 years 6 days ago
2007
Springer
Answer-set programming (ASP) has become an important paradigm for declarative problem solving in recent years. However, to further improve the usability of answer-set programs, the...