Sciweavers

4107 search results - page 8 / 822
» The Generalized Lambda Test
Sort
View
TOCL
2012
235views Formal Methods» more  TOCL 2012»
13 years 2 months ago
Topological and Simplicial Models of Identity Types
racting these leads us to introduce the notion of a path object category. This is a relatively simple axiomatic framework, which is nonetheless sufficiently strong to allow the con...
Benno van den Berg, Richard Garner
FOSSACS
2005
Springer
15 years 5 months ago
Mathematical Models of Computational and Combinatorial Structures
The general aim of this talk is to advocate a combinatorial perspective, together with its methods, in the investigation and study of models of computation structures. This, of cou...
Marcelo P. Fiore
ICCAD
2009
IEEE
98views Hardware» more  ICCAD 2009»
14 years 9 months ago
GHM: A generalized Hamiltonian method for passivity test of impedance/admittance descriptor systems
A generalized Hamiltonian method (GHM) is proposed for passivity test of descriptor systems (DSs) which describe impedance or admittance input-output responses. GHM can test passi...
Zheng Zhang, Chi-Un Lei, Ngai Wong
ECBS
2007
IEEE
119views Hardware» more  ECBS 2007»
15 years 6 months ago
IPOG: A General Strategy for T-Way Software Testing
Most existing work on t-way testing has focused on 2-way (or pairwise) testing, which aims to detect faults caused by interactions between any two parameters. However, faults can ...
Yu Lei, Raghu Kacker, D. Richard Kuhn, Vadim Okun,...
MA
2011
Springer
220views Communications» more  MA 2011»
14 years 6 months ago
Asymptotic expansions for a class of tests for a general covariance structure under a local alternative
Let S be a p × p random matrix having a Wishart distribution Wp(n, n−1Σ). For testing a general covariance structure Σ = Σ(ξ), we consider a class of test statistics Th = n...
Hiroaki Shimizu, Hirofumi Wakaki