2943 search results - page 333 / 589 » Software Implementation of Synchronous Programs |
125
click to vote
LCTRTS
1998
Springer
15 years 7 months ago
1998
Springer
This paper describes a general approach for automatic and accurate time-bound analysis. The approach consists of transformations for building time-bound functions in the presence ...
128
click to vote
IJPRAI
2010
15 years 13 days ago
2010
This paper investigates what kinds of information are necessary and sufficient to design and evaluate image processing software programs and proposes a representation of these inf...
ICSE
2009
IEEE-ACM
16 years 4 months ago
2009
IEEE-ACM
We present an effective static deadlock detection algorithm for Java. Our algorithm uses a novel combination of static analyses each of which approximates a different necessary co...
112
click to vote
VMCAI
2009
Springer
15 years 10 months ago
2009
Springer
The Rely-Guarantee approach is a well-known compositional method for proving Hoare logic properties of concurrent programs. In this approach, predicates in the proof must be proved...
133
click to vote
AADEBUG
1997
Springer
15 years 7 months ago
1997
Springer
We introduce an assertion language for run-time checking of linked list data structure shapes. The assertion language is expressive enough to define characteristic predicates for ...