339 search results - page 32 / 68 » An Experimental Framework for the Analysis and Validation of... |
PEPM
2010
ACM
14 years 4 months ago
2010
ACM
Pushdown systems are well understood as abstract models of programs with (recursive) procedures. Reps et al. recently extended pushdown systems into weighted pushdown systems, whi...
PASTE
2004
ACM
14 years 1 months ago
2004
ACM
Many software testing and automated debugging tools rely on structural coverage techniques. Such tools implicitly assume a relation between individual control-flow choices made i...
CIB
2005
13 years 7 months ago
2005
Unlike the data approached in traditional data mining activities, software data are featured with partial-repeatability or parepeatics, which is an invariant property that can neit...
PEPM
2010
ACM
14 years 4 months ago
2010
ACM
A method for context-sensitive analysis of binaries that may have obfuscated procedure call and return operations is presented. Such binaries may use operators to directly manipul...
BMCBI
2008
13 years 7 months ago
2008
Background: Despite considerable efforts within the microarray community for standardising data format, content and description, microarray technologies present major challenges i...