Sciweavers

1518 search results - page 97 / 304
» Cryptographic Test Correction
Sort
View
IANDC
2006
117views more  IANDC 2006»
15 years 6 months ago
Statistical probabilistic model checking with a focus on time-bounded properties
Probabilistic verification of continuous-time stochastic processes has received increasing attention in the model-checking community in the past five years, with a clear focus on ...
Håkan L. S. Younes, Reid G. Simmons
IEAAIE
2009
Springer
15 years 3 months ago
Two Applications of Lexical Information to Computer-Assisted Item Authoring for Elementary Chinese
1 Testing is a popular way to assess one's competence in a language. The assessment can be conducted by the students for self evaluation or by the teachers in achievement test...
Chao-Lin Liu, Kan-Wen Tien, Yi-Hsuan Chuang, Chih-...
BMCBI
2007
104views more  BMCBI 2007»
15 years 6 months ago
Comparative evaluation of gene-set analysis methods
Background: Multiple data-analytic methods have been proposed for evaluating gene-expression levels in specific biological pathways, assessing differential expression associated w...
Qi Liu, Irina Dinu, Adeniyi J. Adewale, John D. Po...
SIAMSC
2010
140views more  SIAMSC 2010»
15 years 4 months ago
Parallel High-Order Integrators
In this work we discuss a class of defect correction methods which is easily adapted to create parallel time integrators for multi-core architectures and is ideally suited for deve...
Andrew J. Christlieb, Colin B. Macdonald, Benjamin...
ICCAD
2007
IEEE
131views Hardware» more  ICCAD 2007»
16 years 3 months ago
Low-overhead design technique for calibration of maximum frequency at multiple operating points
— Determination of maximum operating frequencies (Fmax) during manufacturing test at different operating voltages is required to: (a) to ensure that, for a Dynamic Voltage and Fr...
Somnath Paul, Sivasubramaniam Krishnamurthy, Hamid...