433 search results - page 13 / 87 » Contracts: From Analysis to C Implementation |
COMPUTING
2008
14 years 12 months ago
2008
We introduce two data-structural transformations to construct doubleended priority queues from priority queues. To apply our transformations the priority queues exploited must sup...
109
click to vote
AAAI
1997
15 years 1 months ago
1997
We address the problem of visually detecting causal events and tting them together into a coherent story of the action witnessed by the camera. We show that this can be done by re...
171
click to vote
PLDI
2003
ACM
15 years 5 months ago
2003
ACM
In prior work [15] we studied a language construct restrict that allows programmers to specify that certain pointers are not aliased to other pointers used within a lexical scope....
104
click to vote
MST
1998
14 years 11 months ago
1998
We have developed a methodology for predicting the performance of parallel algorithms on real parallel machines. The methodology consists of two steps. First, we characterize a mac...
102
click to vote
ICSE
1997
IEEE-ACM
15 years 3 months ago
1997
IEEE-ACM
—Most analysis methods for real-time systems assume that all the components of the system are at roughly the same stage of development and can be expressed in a single notation, ...