3342 search results - page 118 / 669 » Automating Abstract Interpretation |
FASE
2007
Springer
15 years 5 months ago
2007
Springer
- Static Analysis and Abstract Interpretation I (Chair: Sophia Drossopulou, room: Multicert) • FASE - Specification (Chair: Marsha Chechik, room: Cisco) • TACAS - Specificati...
ICESS
2004
Springer
15 years 4 months ago
2004
Springer
Recent work showed that staging and abstract interpretation can be used to derive correct families of combinatorial circuits, and illustrated this technique with an in-depth analys...
ICWE
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. In this paper we discuss the automatic construction of webbased courseware applications from XML descriptions of appropriate UML models. The created applications conform ...
MICCAI
2001
Springer
15 years 3 months ago
2001
Springer
Abstract. An unsupervised model-based strategy for bias field correction is proposed. We assume that information (in the sense of the information theory) in the corrupted image is...
FMCAD
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. Transformation-based verification has been proposed to synergistically leverage various transformations to successively simplify and decompose large problems to ones whic...