3481 search results - page 545 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
115
Voted
FSEN
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We present Trio2Promela, a tool for model checking TRIO specifications by means of Spin. TRIO is a linear-time temporal logic with both future and past operators and a qu...
88
Voted
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
We outline meta-encoding schemas for compiling nonmonotonic logic theories into Verilog HDL (Hardware Description Language) descriptions. These descriptions can be synthesized int...
148
Voted
CIE
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We outline a general theory of graph polynomials which covers all the examples we found in the vast literature, in particular, the chromatic polynomial, various generaliz...
95
Voted
ASPDAC
2006
ACM
15 years 7 months ago
2006
ACM
- This paper proposes a hardware design debugging method, Transition and Transaction Tracer (TTT), which probes and records the signals of interest for a long time, hours, days, or...
127
click to vote
ECOOPW
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Classification is a central concept in object-oriented approaches such as object-oriented programming, object-oriented knowledge representation systems (including descrip...