42507 search results - page 112 / 8502 » On the analysis of |
161
click to vote
ESOP
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Languages for intensional type analysis permit ad-hoc polymorphism, or run-time analysis of types. However, such languages require complex, specialized constructs to supp...
181
click to vote
DATE
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper examines several techniques for static timing analysis. In detail, the first part of the paper analyzes the connection of prediction accuracy (worst case execution tim...
171
click to vote
CCS
2006
ACM
15 years 10 months ago
2006
ACM
In this paper, we position the correct way of using graphical models for enhancing cyber security analysis in enterprise networks. Graphical models can be powerful in representati...
150
click to vote
ICDAR
1995
IEEE
15 years 10 months ago
1995
IEEE
In this paper, we present a hybrid approach to the problem of the document analysis in which the document image is segmented by means of a top-down technique and then basic blocks...
168
click to vote
POPL
1995
ACM
15 years 10 months ago
1995
ACM
Flow-based safety analysis of higher-order languages has been studied by Shivers, and Palsberg and Schwartzbach. Open until now is the problem of finding a type system that accep...