987 search results - page 94 / 198 » Implementing an untrusted operating system on trusted hardwa... |
144
click to vote
ICFP
2012
ACM
13 years 4 months ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
ISCA
1998
IEEE
15 years 5 months ago
1998
IEEE
Microprocessors and memory systems su er from a growing gap in performance. We introduce Active Pages, a computation model which addresses this gap by shifting data-intensive comp...
105
click to vote
IOLTS
2002
IEEE
15 years 6 months ago
2002
IEEE
The reusing of the same hardware resources to implement speed-critical algorithms, without interrupting system operation, is one of the main reasons for the increasing use of reco...
CORR
2010
Springer
15 years 1 months ago
2010
Springer
We present an exact and complete algorithm to isolate the real solutions of a zero-dimensional bivariate polynomial system. The proposed algorithm constitutes an elimination metho...
119
click to vote
ARITH
2009
IEEE
15 years 8 months ago
2009
IEEE
Hardware implementation of all the basic radix-10 arithmetic operations is evolving as a new trend in the design and implementation of general purpose digital processors. Redundan...