1809 search results - page 280 / 362 » Software Model Checking Using Linear Constraints |
139
Voted
ICLP
2001
Springer
15 years 6 months ago
2001
Springer
Tabling is an implementation technique that improves the declarativeness and expressiveness of Prolog by reusing solutions to goals. Quite a few interesting applications of tabling...
107
click to vote
LREC
2008
15 years 3 months ago
2008
The paper describes the treatment of some specific syntactic constructions in two treebanks of Latin according to a common set of annotation guidelines. Both projects work within ...
103
Voted
STTT
2008
15 years 2 months ago
2008
1 This papers introduces a generic framework for OBDD variants with weighted edges. It covers many boolean and multi-valued OBDD-variants that have been studied in the literature a...
112
Voted
HICSS
1998
IEEE
15 years 6 months ago
1998
IEEE
A review of the various models of New Product Development (NPD) process shows that although different approaches have been proposed, they are in fact all variants on a linear them...
147
Voted
DAC
2003
ACM
16 years 3 months ago
2003
ACM
Schedulability analysis of real-time embedded systems requires worst case timing guarantees of embedded software performance. This involves not only language level program analysi...