2947 search results - page 254 / 590 » Analyzing Program Analyses |
189
click to vote
DAGSTUHL
1996
15 years 8 months ago
1996
A partial evaluator, given a program and a known "static" part of its input data, outputs a specialised or residual program in which computations depending only on the st...
158
click to vote
EMSOFT
2007
Springer
16 years 25 days ago
2007
Springer
Most recent embedded systems use caches to improve their average performance. Current timing analyses are able to compute safe timing guarantees for these systems, if tasks are ru...
186
click to vote
SAS
2005
Springer
16 years 4 days ago
2005
Springer
Programmers increasingly implement plugin architectures in type-safe object-oriented languages such as Java. A virtual machine can dynamically load class files containing plugins,...
210
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Metagenomic analyses of microbial communities that are comprehensive enough to provide multiple samples of most loci in the genomes of the dominant organism types will...
210
click to vote
NAR
2008
15 years 6 months ago
2008
TarO (http://www.compbio.dundee.ac.uk/taro) offers a single point of reference for key bioinformatics analyses relevant to selecting proteins or domains for study by structural bi...