Sciweavers

1518 search results - page 97 / 304
» Cryptographic Test Correction
Sort
View
IANDC
2006
117views more  IANDC 2006»
15 years 3 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
138
Voted
IEAAIE
2009
Springer
15 years 1 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-...
123
Voted
BMCBI
2007
104views more  BMCBI 2007»
15 years 3 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...
123
Voted
SIAMSC
2010
140views more  SIAMSC 2010»
15 years 2 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...
122
Voted
ICCAD
2007
IEEE
131views Hardware» more  ICCAD 2007»
16 years 16 days 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...