141 search results - page 3 / 29 » Automatic generation of library bindings using static analys... |
KBSE
2008
IEEE
14 years 4 months ago
2008
IEEE
Many approaches to software verification are currently semi-automatic: a human must provide key logical insights — e.g., loop invariants, class invariants, and frame axioms tha...
BMCBI
2010
13 years 10 months ago
2010
Background: The recognition of functional binding sites in genomic DNA remains one of the fundamental challenges of genome research. During the last decades, a plethora of differe...
ECMDAFA
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Model-based development is supposed to improve the development efficiency by raising the abstraction level and generating applications instead of manually coding the appl...
DATE
2005
IEEE
14 years 3 months ago
2005
IEEE
In today’s embedded applications a significant portion of energy is spent in the memory subsystem. Several approaches have been proposed to minimize this energy, including the u...
WCET
2008
13 years 11 months ago
2008
Static WCET analysis obtains a safe estimation of the WCET of a program. The timing behaviour of a program depends in many cases on input, and an analysis could take advantage of ...