478 search results - page 22 / 96 » Context-Sensitive Dependency Pairs |
107
click to vote
SIGMOD
2004
ACM
15 years 12 months ago
2004
ACM
The rich dependency structure found in the columns of real-world relational databases can be exploited to great advantage, but can also cause query optimizers--which usually assum...
DDECS
2007
IEEE
15 years 3 months ago
2007
IEEE
A method of generating test pairs for the delay faults is presented in this paper. The modification of the MISR register gives the source of test pairs. The modification of this r...
119
click to vote
NECO
2007
14 years 11 months ago
2007
The persistent modification of synaptic efficacy as a function of the relative timing of pre- and postsynaptic spikes is a phenomenon known as spiketiming-dependent plasticity (...
ASPDAC
2004
ACM
15 years 3 months ago
2004
ACM
Non-rectangular (rectilinear) shape occurs very often in deep submicron floorplanning. Most previous algorithms are designed to handle only convex rectilinear blocks. However, han...
101
click to vote
RTA
2004
Springer
15 years 5 months ago
2004
Springer
We describe the system AProVE, an automated prover to verify (innermost) termination of term rewrite systems (TRSs). For this system, we have developed and implemented efficient al...