1901 search results - page 108 / 381 » Predicting Program Properties from |
131
Voted
CODES
2007
IEEE
15 years 6 months ago
2007
IEEE
For the worst-case execution time (WCET) analysis, especially loops are an inherent source of unpredictability and loss of precision. This is caused by the difficulty to obtain sa...
119
Voted
BMCBI
2005
15 years 2 months ago
2005
Background: Gene expression programs depend on recognition of cis elements in promoter region of target genes by transcription factors (TFs), but how TFs regulate gene expression ...
133
Voted
TPHOL
2008
IEEE
15 years 9 months ago
2008
IEEE
Slicing is a widely-used technique with applications in e.g. compiler technology and software security. Thus verification of algorithms in these areas is often based on the correc...
122
Voted
DALT
2006
Springer
15 years 6 months ago
2006
Springer
Goals are used to define the behavior of (pro-active) agents. It is our view that the goals of an agent can be seen as a knowledge base of the situations that it wants to achieve. ...
164
Voted
MKM
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Formal verification of numerical programs is notoriously difficult. On the one hand, there exist automatic tools specialized in floatingpoint arithmetic, such as Gappa...