5493 search results - page 798 / 1099 » Effectively Polynomial Simulations |
171
click to vote
CCGRID
2002
IEEE
15 years 11 months ago
2002
IEEE
Peer-to-peer computing and networking, an emerging model of communication and computation, has recently started to gain significant acceptance. This model not only enables client...
168
click to vote
DFT
2002
IEEE
15 years 11 months ago
2002
IEEE
We propose an algorithm for gate-delay fault diagnosis. It is based on the inject-and-evaluate paradigm [1], in which the fault site(s) are predicted through a series of injection...
161
click to vote
DSN
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents the experiences of using a symbolic model checker to check the safety properties of a servoloop control system. Symbolic model checking has been shown to be be...
175
click to vote
DSN
2002
IEEE
15 years 11 months ago
2002
IEEE
Network measurement has shown that a specific IP address prefix may be announced by more than one autonomous system (AS), a phenomenon commonly referred to as Multiple Origin AS...
175
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
We propose a class of alternative stochastic volatility models for electricity prices using the quantile function modeling approach. Specifically, we fit marginal distributions ...