1246 search results - page 134 / 250 » Online testing with model programs |
101
Voted
UM
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Words mean different things to different people, and capturing these differences is often a subtle art. These differences are often “a matter of perspective,” and...
98
Voted
SYRCODIS
2008
15 years 2 months ago
2008
In this paper we offer several models of reference sequences (traces of references) using Markov chains for testing of the replacement policies in caching systems. These models en...
80
Voted
ICSE
2009
IEEE-ACM
16 years 1 months ago
2009
IEEE-ACM
A variety of compilers, static analyses, and testing frameworks rely heavily on path frequency information. Uses for such information range from optimizing transformations to bug ...
119
click to vote
BMCBI
2008
15 years 28 days ago
2008
Background: Comparative prediction of RNA structures can be used to identify functional noncoding RNAs in genomic screens. It was shown recently by Babak et al. [BMC Bioinformatic...
CDC
2009
IEEE
15 years 5 months ago
2009
IEEE
— Timed Continuous Petri Net (TCPN) systems are piecewise linear models with input constraints that can approximate the dynamical behavior of a class of timed discrete event syst...