6153 search results - page 417 / 1231 » Modeling Cyclic Change |
176
click to vote
BIBE
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract—In this paper we demonstrate the inherent robustness of minimum distance estimator that makes it a potentially powerful tool for parameter estimation in gene expression ...
131
click to vote
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
Formal verification is an important issue in circuit and system design. In this context, Bounded Model Checking (BMC) is one of the most successful techniques. But even if all sp...
154
click to vote
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
Errors in timing closure process during the physical design stage may result in systematic silicon failures, such as scan chain hold time violations, which prohibit the test of ma...
182
Voted
IEEECIT
2007
IEEE
16 years 1 months ago
2007
IEEE
The User requirements of many web-based services are dynamically and continuously changing even during the service time itself. For that reason, web service companies always keep ...
171
click to vote
HYBRID
2007
Springer
16 years 1 months ago
2007
Springer
We consider the problem of verifying reachability properties of stochastic real-time systems modeled as generalized semi-Markov processes (GSMPs). The standard simulation-based tec...