5159 search results - page 334 / 1032 » Structural Testing of Executables |
185
click to vote
CSL
2000
Springer
15 years 11 months ago
2000
Springer
We define three composition and structuring concepts which reflect frequently used refinements of ASMs and integrate standard structuring constructs into the global state based ...
217
click to vote
JMLR
2008
15 years 7 months ago
2008
Pointwise consistent, feasible procedures for estimating contemporaneous linear causal structure from time series data have been developed using multiple conditional independence ...
214
click to vote
CIDM
2009
IEEE
16 years 2 months ago
2009
IEEE
Abstract— A Bayes net has qualitative and quantitative aspects: The qualitative aspect is its graphical structure that corresponds to correlations among the variables in the Baye...
219
click to vote
ICCD
2008
IEEE
16 years 4 months ago
2008
IEEE
— Verification remains an integral and crucial phase of today’s microprocessor design and manufacturing process. Unfortunately, with soaring design complexities and decreasing...
209
click to vote
ICSM
2006
IEEE
16 years 1 months ago
2006
IEEE
Software Engineers frequently need to locate and understand the code that implements a specific user feature of a large system. This paper reports on a study by Motorola Inc. and ...