1901 search results - page 40 / 381 » Predicting Program Properties from |
WOSP
2000
ACM
15 years 3 months ago
2000
ACM
For sometime now, Unified Modelling Language (UML) has been accepted as a standard for designing new systems. Its array of notations helps system designers to capture their ideas ...
SIGSOFT
2005
ACM
15 years 11 months ago
2005
ACM
We present Arithmetic Program Paths, a novel, efficient way to compress program control-flow traces that reduces program bit traces to less than a fifth of their original size whi...
ICCL
1994
IEEE
15 years 2 months ago
1994
IEEE
This paper presents a framework to define a semantics for a real-time object-orientation programming language and to verify programs written in the language. The semantics is defi...
ICSEA
2007
IEEE
15 years 5 months ago
2007
IEEE
The integration of query languages and programming languages is still a central problem of database research. In particular, issues with respect to the impedance mismatch are of i...
BMCBI
2005
14 years 11 months ago
2005
Background: In the post-genomic era, correct gene prediction has become one of the biggest challenges in genome annotation. Improved promoter prediction methods can be one step to...