4469 search results - page 554 / 894 » Dynamic Program Slicing |
168
click to vote
BIB
2008
15 years 6 months ago
2008
Short tandem repeats, specifically microsatellites, are widely used genetic markers, associated with human genetic diseases, and play an important role in various regulatory mecha...
178
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
The Windows Vista operating system implements an interesting model of multi-level integrity. We observe that in this model, trusted code must participate in any information-flow a...
176
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Determining the evolutionary history of a given biological data is an important task in biological sciences. Given a set of quartet topologies over a set of taxa, the Maximum Quart...
164
click to vote
CL
2006
Springer
15 years 6 months ago
2006
Springer
Transforming programs to alter their semantics is of wide interest, for purposes as diverse as off-the-shelf component adaptation, optimization,tracegeneration,andexperimentationw...
205
click to vote
ENTCS
2007
15 years 6 months ago
2007
We introduce the idea of optimisation validation, which is to formally establish that an instance of an optimising transformation indeed improves with respect to some resource mea...