2947 search results - page 5 / 590 » Analyzing Program Analyses |
108
click to vote
BMCBI
2010
15 years 11 days ago
2010
Background: New "next generation" DNA sequencing technologies offer individual researchers the ability to rapidly generate large amounts of genome sequence data at drama...
88
Voted
BMCBI
2007
15 years 11 days ago
2007
Background: Chromatin immunoprecipitation combined with DNA microarrays (ChIP-chip) is a high-throughput assay for DNA-protein-binding or post-translational chromatin/histone modi...
110
Voted
SAS
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. The field of program analysis has focused primarily on sequential programming languages. But multithreading is becoming increasingly important, both as a program structu...
161
Voted
WCFLP
2005
ACM
15 years 5 months ago
2005
ACM
In this paper we present CurryBrowser, a generic analysis environment for the declarative multi-paradigm language Curry. CurryBrowser supports browsing through the implementation ...
106
Voted
ECRTS
2010
IEEE
15 years 1 months ago
2010
IEEE
Schedulability analysis for hard real-time systems requires bounds on the execution times of its tasks. To obtain useful bounds in the presence of caches, static timing analyses mu...