5216 search results - page 276 / 1044 » Planning as Model Checking |
168
click to vote
AADEBUG
2005
Springer
15 years 10 months ago
2005
Springer
One of today’s challenges is producing reliable software in the face of an increasing number of interacting components. Our system CHET lets developers define specifications des...
124
click to vote
DAC
2009
ACM
15 years 9 months ago
2009
ACM
We present a novel technique for Sequential Equivalence Checking (SEC) between non-cycle-accurate designs. The problem is routinely encountered in verifying the correctness of a s...
143
click to vote
UKCBR
1995
15 years 8 months ago
1995
Various cognitive and computational models have addressed the use of previous experience to understand a new domain. In particular, research in case-based reasoning has explored t...
377
click to vote
DAC
2012
ACM
13 years 7 months ago
2012
ACM
Loop pipelining is a critical transformation in behavioral synthesis. It is crucial to producing hardware designs with acceptable latency and throughput. However, it is a complex ...
115
click to vote
ICDT
1999
ACM
15 years 9 months ago
1999
ACM
In data integration systems, queries posed to a mediator need to be translated into a sequence of queries to the underlying data sources. In a heterogeneous environment, with sour...