2635 search results - page 326 / 527 » Computing multihomogeneous resultants using straight-line pr... |
CAV
2008
Springer
14 years 10 days 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...
CF
2005
ACM
14 years 9 days 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...
BIBE
2005
IEEE
14 years 4 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...
ICPPW
2006
IEEE
14 years 4 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...
CF
2007
ACM
14 years 2 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...