2947 search results - page 380 / 590 » Analyzing Program Analyses |
147
Voted
OOPSLA
2010
Springer
15 years 1 months ago
2010
Springer
Domain-specific languages offer high expressive power foa particular problem domain, abstracting over the accidental complexity associated with traditional software development. ...
146
Voted
WABI
2010
Springer
15 years 1 months ago
2010
Springer
Background: Although many RNA molecules contain pseudoknots, computational prediction of pseudoknotted RNA structure is still in its infancy due to high running time and space con...
149
Voted
LCTRTS
2010
Springer
15 years 16 days ago
2010
Springer
Concurrent Action-Oriented Specifications (CAOS) model the behavior of a synchronous hardware circuit as asynchronous guarded at an abstraction level higher than the Register Tran...
149
Voted
CGO
2011
IEEE
14 years 6 months ago
2011
IEEE
—Approximating ideal program outputs is a common technique for solving computationally difficult problems, for adhering to processing or timing constraints, and for performance ...
138
Voted
BMCBI
2011
14 years 6 months ago
2011
Background: Second generation sequencing technologies yield DNA sequence data at ultra high-throughput. Common to most biological applications is a mapping of the reads to an almo...