2635 search results - page 326 / 527 » Computing multihomogeneous resultants using straight-line pr... |
181
click to vote
CAV
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. The use of Craig interpolants has enabled the development of powerful hardware and software model checking techniques. Efficient algorithms are known for computing interp...
139
click to vote
CF
2005
ACM
15 years 5 months ago
2005
ACM
Data-driven array architectures seem to be important alternatives for coarse-grained reconfigurable computing platforms. Their use has provided performance improvements over micro...
127
Voted
BIBE
2005
IEEE
15 years 9 months ago
2005
IEEE
We propose two novel dynamic programming (DP) methods that solve the the approximate bounded and unbounded global alignment problems for biological sequences. Our first method so...
144
Voted
ICPPW
2006
IEEE
15 years 9 months ago
2006
IEEE
Location is one of the most important contexts used in the applications in the pervasive computing environments . It helps the application do the right thing at the right place. O...
143
click to vote
CF
2007
ACM
15 years 7 months ago
2007
ACM
This paper presents a novel architectural technique to hide fetch latency overhead of hardware encrypted and authenticated memory. A number of recent secure processor designs have...