Search Sciweavers | Sciweavers

3235 search results - page 52 / 647

» Partial Redundant Modeling

click to vote

ICNP
1996
IEEE

83views Computer Networks» more ICNP 1996»

Partial-Order Validation for Multi-Process Protocols Modeled as Communicating Finite State Machines

15 years 4 months ago

Download www.ieee-icnp.org

Hong Liu, Raymond E. Miller

claim paper

Read More »

click to vote

ISMVL
1994
IEEE

98views Hardware» more ISMVL 1994»

Digital Circuit Verification Using Partially-Ordered State Models

15 years 4 months ago

Download www.cs.cmu.edu

Many aspects of digital circuit operation can be efficiently verified by simulating circuit operation over "weakened" state values. This technique has long been practice...

Carl-Johan H. Seger, Randal E. Bryant

claim paper

Read More »

click to vote

PLILP
1995
Springer

83views Programming Languages» more PLILP 1995»

A Semantic Model of Binding Times for Safe Partial Evaluation

15 years 3 months ago

Download repository.readscheme.org

Fritz Henglein, David Sands

claim paper

Read More »

click to vote

ASPDAC
2005
ACM

110views Hardware» more ASPDAC 2005»

Compact and stable modeling of partial inductance and reluctance matrices

15 years 1 months ago

Download cobweb.ecn.purdue.edu

Abstract— The sparsiﬁcation of the reluctance matrix L−1 (where L denotes the usual inductance matrix L) has been widely used in several recent investigations to make the pro...

Hong Li, Venkataramanan Balakrishnan, Cheng-Kok Ko...

claim paper

Read More »

click to vote

SIGMAP
2008

108views Business» more SIGMAP 2008»

Partial Tracking in Sinusoidal Modeling - An Adaptive Prediction-based RLS Lattice Solution

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers