Search Sciweavers | Sciweavers

11716 search results - page 39 / 2344

» Computable symbolic dynamics

click to vote

SOFSEM
2010
Springer

105views Theoretical Computer Science» more SOFSEM 2010»

Symbolic OBDD-Based Reachability Analysis Needs Exponential Space

15 years 8 months ago

Download www.sofsem.cz

Beate Bollig

claim paper

Read More »

click to vote

WG
2004
Springer

106views Theoretical Computer Science» more WG 2004»

A Symbolic Approach to the All-Pairs Shortest-Paths Problem

15 years 5 months ago

Download ls2-www.cs.uni-dortmund.de

Daniel Sawitzki

claim paper

Read More »

click to vote

IPPS
2000
IEEE

82views Distributed And Parallel Com...» more IPPS 2000»

Using Postordering and Static Symbolic Factorization for Parallel Sparse LU

15 years 4 months ago

Download ipdps.cc.gatech.edu

Michel Cosnard, Laura Grigori

claim paper

Read More »

click to vote

DAC
2000
ACM

83views Computer Architecture» more DAC 2000»

Reliable verification using symbolic simulation with scalar values

15 years 4 months ago

Download www.eecs.umich.edu

Chris Wilson, David L. Dill

claim paper

Read More »

click to vote

DAC
1999
ACM

122views Computer Architecture» more DAC 1999»

Cycle-Based Symbolic Simulation of Gate-Level Synchronous Circuits

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers