578 search results - page 102 / 116 » Analysis of Programs with Exception-Handling Constructs |
ISSTA
2004
ACM
14 years 28 days ago
2004
ACM
Constraints in predicate or relational logic can be translated into boolean logic and solved with a SAT solver. For faster solving, it is common to exploit the typing of predicate...
WOSP
2004
ACM
14 years 28 days ago
2004
ACM
When software products are assembled from pre-defined components, performance prediction should be based on the components also. This supports rapid model-building, using previous...
COMPSAC
1999
IEEE
13 years 11 months ago
1999
IEEE
As the complexity of software systems increases, so need for a good mechanism of abstraction. architecture design is an abstraction, hiding an immense amount of details about the ...
COLT
1999
Springer
13 years 11 months ago
1999
Springer
This paper proposes the use of constructive ordinals as mistake bounds in the on-line learning model. This approach elegantly generalizes the applicability of the on-line mistake ...
IDA
1999
Springer
13 years 11 months ago
1999
Springer
The goal of input-output modeling is to apply a test input to a system, analyze the results, and learn something useful from the causeeffect pair. Any automated modeling tool that...