1901 search results - page 40 / 381 » Predicting Program Properties from |
115
click to vote
WOSP
2000
ACM
15 years 6 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 ...
115
Voted
SIGSOFT
2005
ACM
16 years 3 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...
128
Voted
ICCL
1994
IEEE
15 years 6 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...
86
Voted
ICSEA
2007
IEEE
15 years 8 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
15 years 2 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...