Search Sciweavers | Sciweavers

21437 search results - page 16 / 4288

» Hardware

108

click to vote

CAV
2001
Springer

88views Hardware» more CAV 2001»

Binary Reachability Analysis of Pushdown Timed Automata with Dense Clocks

15 years 7 months ago

Download www.eecs.wsu.edu

Zhe Dang

claim paper

Read More »

click to vote

DATE
2000
IEEE

75views Hardware» more DATE 2000»

A New Effective And Efficient Multi-Level Partitioning Algorithm

15 years 7 months ago

Download www.cs.york.ac.uk

Youssef Saab

claim paper

Read More »

click to vote

ECBS
2000
IEEE

126views Hardware» more ECBS 2000»

Smooth Seas - Rough Sailing: The Case of the Lame Ship

15 years 7 months ago

Download acquisitionresearch.net

Darren Dalcher

claim paper

Read More »

114

click to vote

EH
2000
IEEE

218views Hardware» more EH 2000»

HereBoy: A Fast Evolutionary Algorithm

15 years 7 months ago

Download web.cecs.pdx.edu

Delon Levi

claim paper

Read More »

click to vote

ISMVL
2000
IEEE

111views Hardware» more ISMVL 2000»

De Morgan Bisemilattices

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers