Sciweavers

2312 search results - page 177 / 463
» Invariance in Property Testing
Sort
View
MA
2011
Springer
204views Communications» more  MA 2011»
14 years 11 months ago
Estimating structural VARMA models with uncorrelated but non-independent error terms
The asymptotic properties of the quasi-maximum likelihood estimator (QMLE) of vector autoregressive moving-average (VARMA) models are derived under the assumption that the errors ...
Y. Boubacar Mainassara, Christian Francq
ITC
1994
IEEE
90views Hardware» more  ITC 1994»
15 years 8 months ago
Defect Classes - An Overdue Paradigm for CMOS IC
: The IC test industry has struggled .for more than 30years to establish a test approach that would guarantee a low defect level to the customer. Wepropose a comprehensive strategy...
Charles F. Hawkins, Jerry M. Soden, Alan W. Righte...
CGO
2005
IEEE
15 years 10 months ago
Model-Based Framework: An Approach for Profit-Driven Optimization
Although optimizations have been applied for a number of years to improve the performance of software, problems that have been long-standing remain, which include knowing what opt...
Min Zhao, Bruce R. Childers, Mary Lou Soffa
FASE
2005
Springer
15 years 10 months ago
Ensuring Structural Constraints in Graph-Based Models with Type Inheritance
Graphs are a common means to represent structures in models and meta-models of software systems. In this context, the description of model domains by classifying the domain entitie...
Gabriele Taentzer, Arend Rensink
SAS
2005
Springer
134views Formal Methods» more  SAS 2005»
15 years 10 months ago
Using Dependent Types to Certify the Safety of Assembly Code
There are many source-level analyses or instrumentation tools that enforce various safety properties. In this paper we present an infrastructure that can be used to check independe...
Matthew Harren, George C. Necula