5314 search results - page 669 / 1063 » Hybrid Dynamic Programming |
234
click to vote
TSE
2010
15 years 1 months ago
2010
Statistical testing has been shown to be more efficient at detecting faults in software than other methods of dynamic testing such as random and structural testing. Test data are g...
215
click to vote
JMLR
2012
13 years 9 months ago
2012
In many settings, data is collected as multiple time series, where each recorded time series is an observation of some underlying dynamical process of interest. These observations...
287
click to vote
POPL
2006
ACM
16 years 7 months ago
2006
ACM
Virtual classes are class-valued attributes of objects. Like virtual methods, virtual classes are defined in an object's class and may be redefined within subclasses. They re...
209
click to vote
HPDC
2005
IEEE
16 years 13 days ago
2005
IEEE
good data partitioning scheme is the need of the time. However it is very diflcult to arrive at a good solution as the number of possible dutupartitionsfor a given real lifeprogra...
175
click to vote
KBSE
2005
IEEE
16 years 12 days ago
2005
IEEE
Software verification using model checking often translates programs into corresponding transition systems that model the program behavior. As software systems continue to grow i...