2662 search results - page 139 / 533 » Tools Demonstrations |
151
click to vote
FPL
1998
Springer
15 years 8 months ago
1998
Springer
With the XC6200 FPGA Xilinx introduced the first commercially available FPGA designed for reconfigurable computing. It has a completely new internal architecture, so new design alg...
133
click to vote
CAV
1993
Springer
15 years 8 months ago
1993
Springer
Abstract. This paper presents a scalable approach to reasoning formally about distributed algorithms. It uses results about I O automata to extract a set of proof obligations for s...
135
click to vote
DATE
2004
IEEE
15 years 8 months ago
2004
IEEE
Advances in Boolean satisfiability solvers have popularized their use in many of today's CAD VLSI challenges. Existing satisfiability solvers operate on a circuit representat...
130
click to vote
FPL
1995
Springer
15 years 8 months ago
1995
Springer
Abstract. FPGAs have been proposed as high-performance alternatives to DSP processors. This paper quantitatively compares FPGA performance against DSP processors and ASICs using ac...
144
click to vote
PPOPP
1997
ACM
15 years 8 months ago
1997
ACM
This paper describes a new approach to finding performance bottlenecks in shared-memory parallel programs and its embodiment in the Paradyn Parallel Performance Tools running with...