4716 search results - page 432 / 944 » Iterative-free program analysis |
177
click to vote
CAINE
2003
15 years 8 months ago
2003
This paper discusses the development of a computational modeling and analysis toolkit to construct, animate, and biomechanically analyze sophisticated models of vertebrates. Users...
164
click to vote
WSC
1998
15 years 8 months ago
1998
LABATCH.2 is a collection of computer programs available in C, FORTRAN, and SIMSCRIPT II.5 by anonymous ftp, at http://www.or.unc.edu/gfish/labatch.2.html. It performs statistical...
187
Voted
ECRTS
2010
IEEE
15 years 8 months ago
2010
IEEE
Schedulability analysis for hard real-time systems requires bounds on the execution times of its tasks. To obtain useful bounds in the presence of caches, static timing analyses mu...
180
click to vote
GECCO
2008
Springer
15 years 8 months ago
2008
Springer
Standard tournament selection samples individuals with replacement. The sampling-with-replacement strategy has its advantages but also has issues. One of the commonly recognised i...
167
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
High-dimensional statistical inference deals with models in which the the number of parameters p is comparable to or larger than the sample size n. Since it is usually impossible ...