804 search results - page 51 / 161 » On the Termination of the Chase Algorithm |
104
Voted
DAC
2004
ACM
16 years 1 months ago
2004
ACM
The advent of strong multi-level partitioners has made topdown min-cut placers a favored choice for modern placer implementations. We examine terminal propagation, an important st...
120
Voted
EUC
2007
Springer
15 years 6 months ago
2007
Springer
Networked embedded systems present unique challenges for system designers composing distributed applications with dyanmic, real-time, and resilience requirements. We consider the ...
106
Voted
ISSAC
2007
Springer
15 years 6 months ago
2007
Springer
The parallelization of two applications in symmetric cryptography is considered: block ciphering and a new method based on random sampling for the selection of basic substitution ...
103
click to vote
RTCSA
2005
IEEE
15 years 6 months ago
2005
IEEE
We propose a new architecture for a content protection system that conceals confidential data and algorithms in an FPGA as electrical circuits. This architecture is designed for a...
100
click to vote
SAS
2004
Springer
15 years 5 months ago
2004
Springer
Termination has been a subject of intensive research in the logic programming community for the last two decades. Most works deal with proving universal left termination of a given...