Search Sciweavers | Sciweavers

12257 search results - page 85 / 2452

» Analysis of Algorithms

click to vote

IPPS
1998
IEEE

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

A Quantitative Code Analysis of Scientific Systolic Programs: DSP vs. Matrix Algorithms

14 years 1 months ago

Download ipdps.cc.gatech.edu

R. Sernec, M. Zajc, Jurij F. Tasic

claim paper

Read More »

click to vote

SIGCSE
1998
ACM

76views Education» more SIGCSE 1998»

Teaching the analysis of algorithms with visual proofs

14 years 1 months ago

Download www.ics.uci.edu

Michael T. Goodrich, Roberto Tamassia

claim paper

Read More »

click to vote

FTRTFT
1998
Springer

105views Formal Methods» more FTRTFT 1998»

An Algorithm for the Approximative Analysis of Rectangular Automata

14 years 1 months ago

Download www.cs.berkeley.edu

Jörg Preußig, Stefan Kowalewski, Howard...

claim paper

Read More »

click to vote

DATE
1997
IEEE

74views Hardware» more DATE 1997»

An algorithm for numerical reference generation in symbolic analysis of large analog circuits

14 years 1 months ago

Download www.cecs.uci.edu

Ignacio Garcia-Vargas, Mariano Galan, Francisco V....

claim paper

Read More »

click to vote

ICTAI
1996
IEEE

128views Artificial Intelligence» more ICTAI 1996»

Conflict Analysis in Search Algorithms for Satisfiability

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers