Sciweavers

1620 search results - page 67 / 324
» Testing Polymorphic Properties
Sort
View
124
Voted
CSDA
2006
85views more  CSDA 2006»
15 years 2 months ago
Detecting change-points in multidimensional stochastic processes
A general test statistic for detecting change-points in multidimensional stochastic processes with unknown parameters is proposed. The test statistic is specialized to the case of...
Jan G. De Gooijer
120
Voted
SIGSOFT
2007
ACM
16 years 3 months ago
CTG: a connectivity trace generator for testing the performance of opportunistic mobile systems
The testing of the performance of opportunistic communication protocols and applications is usually done through simulation as i) deployments are expensive and should be left to t...
Roberta Calegari, Mirco Musolesi, Franco Raimondi,...
104
Voted
IOLTS
2003
IEEE
124views Hardware» more  IOLTS 2003»
15 years 7 months ago
Designing FPGA based Self-Testing Checkers for m-out-of-n Codes
The paper describes a specific method for designing selfchecking checkers for m-out-of-n codes. The method is oriented to the Field Programmable Gate Arrays technology and is base...
A. Matrosova, Vladimir Ostrovsky, Ilya Levin, K. N...
122
Voted
CASC
2010
Springer
151views Mathematics» more  CASC 2010»
15 years 1 months ago
Supporting Global Numerical Optimization of Rational Functions by Generic Symbolic Convexity Tests
Convexity is an important property in nonlinear optimization since it allows to apply efficient local methods for finding global solutions. We propose to apply symbolic methods t...
Winfried Neun, Thomas Sturm, Stefan Vigerske
123
Voted
DATESO
2010
131views Database» more  DATESO 2010»
15 years 17 days ago
Testing Quasigroup Identities using Product of Sequence
Non-associative quasigroups are well known combinatorial designs with many different applications. Many cryptographic algorithms based on quasigroups primitives have been published...
Eliska Ochodkova, Jiri Dvorský, Václ...