379 search results - page 42 / 76 » The AGEDIS Tools for Model Based Testing |
230
click to vote
CAV
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
191
click to vote
TCAD
2008
15 years 6 months ago
2008
We present an efficient optimization scheme for gate sizing in the presence of process variations. Our method is a worst-case design scheme, but it reduces the pessimism involved i...
183
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Microarray technology allows the simultaneous analysis of thousands of genes within a single experiment. Significance analyses of transcriptomic data ignore the gene d...
185
click to vote
JGS
2010
15 years 1 months ago
2010
Despite the fact that it provides a potentially useful analytical tool, allowing for the joint modeling of dynamic interdependencies within a group of connected areas, until latel...
188
click to vote
PLDI
2012
ACM
13 years 9 months ago
2012
ACM
Modern architectures implement relaxed memory models which may reorder memory operations or execute them non-atomically. Special instructions called memory fences are provided, al...