Search Sciweavers | Sciweavers

8949 search results - page 453 / 1790

» is 1998

143

click to vote

FMCAD
1998
Springer

85views Formal Methods» more FMCAD 1998»

An Assume-Guarantee Rule for Checking Simulation

15 years 11 months ago

Download network.ku.edu.tr

Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajama...

claim paper

Read More »

159

click to vote

FPGA
1998
ACM

131views FPGA» more FPGA 1998»

Managing Pipeline-Reconfigurable FPGAs

15 years 11 months ago

Download www.cs.cmu.edu

Srihari Cadambi, Jeffrey Weener, Seth Copen Goldst...

claim paper

Read More »

144

click to vote

FPGA
1998
ACM

128views FPGA» more FPGA 1998»

Fast Module Mapping and Placement for Datapaths in FPGAs

15 years 11 months ago

Download brass.cs.berkeley.edu

Timothy J. Callahan, Philip Chong, André De...

claim paper

Read More »

168

click to vote

FPGA
1998
ACM

150views FPGA» more FPGA 1998»

Efficiently Supporting Fault-Tolerance in FPGAs

15 years 11 months ago

Download www.cs.ucla.edu

John Lach, William H. Mangione-Smith, Miodrag Potk...

claim paper

Read More »

140

click to vote

FSTTCS
1998
Springer

56views Software Engineering» more FSTTCS 1998»

The Power of Reachability Testing for Timed Automata

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers