Search Sciweavers | Sciweavers

2144 search results - page 66 / 429

» Exact Flow Analysis

131

click to vote

JISE
1998

106views more JISE 1998»

Control / Data-Flow Analysis for VHDL Semantic Extraction

15 years 3 months ago

Download kona.ee.pitt.edu

straction reduces the number of states necessary to perform formal verification while maintaining the functionality of the original model with respect to ifications to be verified....

Yee-Wing Hsieh, Steven P. Levitan

claim paper

Read More »

106

click to vote

QUESTA
1998

47views more QUESTA 1998»

Stability and performance analysis of rate-based feedback flow controlled ATM networks

15 years 3 months ago

Download ece.iisc.ernet.in

Vinod Sharma, Joy Kuri

claim paper

Read More »

Voted

SIGMETRICS
2002
ACM

76views Hardware» more SIGMETRICS 2002»

Scheduling flows with unknown sizes: approximate analysis

15 years 3 months ago

Download www.cs.bu.edu

Liang Guo, Ibrahim Matta

claim paper

Read More »

click to vote

TOPLAS
1998

39views more TOPLAS 1998»

Equality-based flow analysis versus recursive types

15 years 3 months ago

Download www.cs.ucla.edu

Jens Palsberg

claim paper

Read More »

Voted

ICCSA
2010
Springer

139views Applied Computing» more ICCSA 2010»

Spatial Autocorrelation Analysis for the Evaluation of Migration Flows: The Italian Case

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers