3454 search results - page 412 / 691 » Modern computer algebra |
155
Voted
IPPS
1996
IEEE
15 years 10 months ago
1996
IEEE
Communications co-processors (CCPs) have become commonplace in modern MPPs and networks of workstations. These co-processors provide dedicated hardware support for fast communicat...
138
click to vote
DAC
2010
ACM
15 years 10 months ago
2010
ACM
In this paper we present a solver for Quantified Boolean Formulas (QBFs) which is based on And-Inverter Graphs (AIGs). We use a new quantifier elimination method for AIGs, which...
323
Voted
CICLING
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Natural Language Processing holds great promise for making computer interfaces that are easier to use for people, since people will (hopefully) be able to talk to the com...
159
Voted
EGH
2004
Springer
15 years 10 months ago
2004
Springer
Partitioning fragment shaders into multiple rendering passes is an effective technique for virtualizing shading resource limits in graphics hardware. The Recursive Dominator Split...
158
Voted
CSO
2009
IEEE
15 years 9 months ago
2009
IEEE
The IBM Cell Broadband Engine (BE) is a multicore processor with a PowerPC host processor (PPE) and 8 synergic processor engines (SPEs). The Cell BE architecture is designed to im...