2947 search results - page 516 / 590 » Analyzing Program Analyses |
DAC
2005
ACM
15 years 1 months ago
2005
ACM
Parallelism in processor architecture and design imposes a verification challenge as the exponential growth in the number of execution combinations becomes unwieldy. In this paper...
ESEM
2008
ACM
15 years 26 days ago
2008
ACM
Software review is a necessity activity to build high reliability software in software development. In this paper, we experimentally analyze the difference in performance between ...
107
click to vote
FPGA
2008
ACM
15 years 19 days ago
2008
ACM
We present an in-depth analysis of the Xilinx bitstream format. The information gathered in this paper allows bitstream compilation and decompilation. While not actually compromis...
LREC
2010
15 years 16 days ago
2010
Broad-coverage language resources which provide prior linguistic knowledge must improve the accuracy and the performance of NLP applications. We are constructing a broad-coverage ...
87
Voted
DMS
2008
15 years 16 days ago
2008
The statically-determinate, pin-connected truss is a basic structural element used by engineers to create larger and more complex systems. Truss analysis and design are topics tha...