Search Sciweavers | Sciweavers

5015 search results - page 225 / 1003

» Model Checking a Path

125

click to vote

WEBDB
2005
Springer

103views Database» more WEBDB 2005»

A Data Model and Query Language to Explore Enhanced Links and Paths in Life Science Sources

15 years 12 months ago

Download webdb2005.uhasselt.be

George A. Mihaila, Felix Naumann, Louiqa Raschid, ...

claim paper

Read More »

123

click to vote

SIGMETRICS
2003
ACM

101views Hardware» more SIGMETRICS 2003»

Choosing an accurate network path model

15 years 11 months ago

Download www.eecs.berkeley.edu

Almudena Konrad, Anthony D. Joseph

claim paper

Read More »

131

click to vote

RANDOM
1997
Springer

88views Theoretical Computer Science» more RANDOM 1997»

Average-Case Complexity of Shortest-Paths Problems in the Vertex-Potential Model

15 years 10 months ago

Download www.mpi-inf.mpg.de

Colin Cooper, Alan M. Frieze, Kurt Mehlhorn, Volke...

claim paper

Read More »

133

click to vote

DAC
1995
ACM

124views Computer Architecture» more DAC 1995»

Symbolic Modeling and Evaluation of Data Paths

15 years 10 months ago

Download bears.ece.ucsb.edu

Chuck Monahan, Forrest Brewer

claim paper

Read More »

173

click to vote

RTSS
1995
IEEE

85views Control Systems» more RTSS 1995»

Efficient Microarchitecture Modeling and Path Analysis for Real-Time Software

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers