3381 search results - page 464 / 677 » Extending Dependencies with Conditions |
170
click to vote
VLDB
1989
ACM
15 years 11 months ago
1989
ACM
paper is concerned with ways of specifying situations and evaluating them efficiently. The techniques described in this paper were developed as part of the HiPAC (High Performance...
172
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
Traditional digital circuit synthesis flows start from an HDL behavioral definition and assume that circuit functions are almost completely defined, making don't-care conditio...
195
click to vote
GI
2007
Springer
15 years 11 months ago
2007
Springer
: Test-case generation with model-checkers is a promising field of research in software testing. Model-checker based approaches offer many advantages: They are fully automated, the...
187
click to vote
ACSC
2004
IEEE
15 years 11 months ago
2004
IEEE
Fuzzy logic is a natural basis for modelling and solving problems involving imprecise knowledge and continuous systems. Unfortunately, fuzzy logic systems are invariably static (o...
184
click to vote
ACSD
2006
IEEE
15 years 11 months ago
2006
IEEE
Asynchronous circuits have received much attention recently due to their potential for energy savings. Process algebras have been extensively used in the modelling, analysis and sy...