Sciweavers

223 search results - page 16 / 45
» From use cases to test cases via meta model-based reasoning
Sort
View
CORR
2010
Springer
162views Education» more  CORR 2010»
14 years 9 months ago
Random sampling of lattice paths with constraints, via transportation
We investigate Monte Carlo Markov Chain (MCMC) procedures for the random sampling of some one-dimensional lattice paths with constraints, for various constraints. We will see that...
Lucas Gerin
CMPB
2010
97views more  CMPB 2010»
14 years 8 months ago
A ligand predication tool based on modeling and reasoning with imprecise probabilistic knowledge
Ligand prediction has been driven by a fundamental desire to understand more about how biomolecules recognize their ligands and by the commercial imperative to develop new drugs. ...
Weiru Liu, Anbu Yue, David J. Timson
CSDA
2007
108views more  CSDA 2007»
14 years 9 months ago
Diagnostics for functional regression via residual processes
We develop regression diagnostics for functional regression models which relate a functional response to predictor variables that can be multivariate vectors or random functions. ...
Jeng-Min Chiou, Hans-Georg Müller
UML
2004
Springer
15 years 3 months ago
Test Driven Development of UML Models with SMART Modeling System
Abstract. We are developing a methodology of Test-Driven Development of Models (TDDM) based on an experimental UML2.0 modeling tool SMART. Our experience shows that TDDM is quite u...
Susumu Hayashi, Pan YiBing, Masami Sato, Kenji Mor...
DATE
2007
IEEE
155views Hardware» more  DATE 2007»
15 years 4 months ago
Design fault directed test generation for microprocessor validation
Functional validation of modern microprocessors is an important and complex problem. One of the problems in functional validation is the generation of test cases that has higher p...
Deepak Mathaikutty, Sandeep K. Shukla, Sreekumar V...