26496 search results - page 343 / 5300 » An Approach to Computing Ethics |
190
Voted
DATE
2002
IEEE
16 years 16 days ago
2002
IEEE
The core computation in BDD-based symbolic synthesis and verification is forming the image and pre-image of sets of states under the transition relation characterizing the sequen...
202
click to vote
FOCS
2002
IEEE
16 years 16 days ago
2002
IEEE
We present the first explicit connection between quantum computation and lattice problems. Namely, our main result is a solution to the Unique Shortest Vector Problem (SVP) under ...
208
click to vote
TABLEAUX
2009
Springer
16 years 3 days ago
2009
Springer
Projection computation is a generalization of second-order quantifier elimination, which in turn is closely related to the computation of forgetting and of uniform interpolants. O...
183
click to vote
HPDC
2000
IEEE
15 years 12 months ago
2000
IEEE
A new RAID-x (redundant array of inexpensive disks at level x) architecture is presented for distributed I/O processing on a serverless cluster of computers. The RAID-x architectu...
196
click to vote
IPPS
2000
IEEE
15 years 12 months ago
2000
IEEE
Cellular automata can be used to design high-performance natural solvers on parallel computers. This paper describes the development of applications using CARPET, a high-level prog...