610 search results - page 17 / 122 » Fast Modular Reduction |
104
Voted
WSC
2007
15 years 3 months ago
2007
It is well known that trivariate reduction — a method to generate two dependent random variables from three independent random variables — can be used to generate Poisson rand...
101
click to vote
APN
2003
Springer
15 years 6 months ago
2003
Springer
Model checking by exhaustive state space enumeration is one of the most developed analysis methods for distributed event systems. Its main problem—the size of the state spaces—...
87
Voted
ICSE
2003
IEEE-ACM
16 years 27 days ago
2003
IEEE-ACM
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
94
Voted
DAC
2005
ACM
16 years 1 months ago
2005
ACM
eriodically time-varying (LPTV) abstractions are useful for a variety of communication and computer subsystems. In this paper, we present a novel operator-based model-order reduct...
90
Voted
DATE
2004
IEEE
15 years 4 months ago
2004
IEEE
This paper presents a realizable RLMC1 reduction algorithm for extracted interconnect circuits based on two effective approaches: RL branch reduction and RC/LC node reduction. Our...