3082 search results - page 303 / 617 » Deviation Analysis: A New Use of Model Checking |
174
click to vote
WSC
2007
15 years 9 months ago
2007
Photolithography is generally regarded as the most constraining element in semiconductor manufacturing. This is primarily attributable to the high capital investment and extensive...
173
click to vote
WOSP
2010
ACM
16 years 1 months ago
2010
ACM
In this paper we provide a general method to derive productform solutions for stochastic models. We take inspiration from the Reversed Compound Agent Theorem [14] and we provide a...
162
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Antibacterial peptides are important components of the innate immune system, used by the host to protect itself from different types of pathogenic bacteria. Over the l...
173
click to vote
ICCD
2006
IEEE
16 years 3 months ago
2006
IEEE
— Accurate estimation of worst-case crosstalk effects is critical for a realistic estimation of the worst-case behavior of deep sub-micron circuits. Crosstalk analysis models usu...
171
click to vote
IASSE
2004
15 years 8 months ago
2004
Latest research results have shown that requirements errors have a prolonged impact on software development and that they are more expensive to fix during later stages than early ...