2007 search results - page 205 / 402 » Using general-purpose programming languages for FPGA design |
129
Voted
POPL
2010
ACM
16 years 27 days ago
2010
ACM
The automated inference of quantified invariants is considered one of the next challenges in software verification. The question of the right precision-efficiency tradeoff for the...
164
Voted
ASPLOS
2006
ACM
15 years 7 months ago
2006
ACM
Architects use cycle-by-cycle simulation to evaluate design choices and understand tradeoffs and interactions among design parameters. Efficiently exploring exponential-size desig...
106
Voted
ASPLOS
2000
ACM
15 years 8 months ago
2000
ACM
This paper describes the architecture and implementation of the AlphaServer GS320, a cache-coherent non-uniform memory access multiprocessor developed at Compaq. The AlphaServer G...
243
click to vote
ASPLOS
2009
ACM
16 years 4 months ago
2009
ACM
Modern processors use branch target buffers (BTBs) to predict the target address of branches such that they can fetch ahead in the instruction stream increasing concurrency and pe...
153
click to vote
MUC
1992
15 years 7 months ago
1992
The GE NLTooLsET is a set of text interpretation tools designed to be easily adapted to new domains. This report summarizes the system and its performance on the MUG-4 task . INTR...