1914 search results - page 101 / 383 » Verification by Abstract Interpretation |
102
Voted
APLAS
2001
ACM
15 years 4 months ago
2001
ACM
We verified two versions of the CPS transformation in Isabelle/HOL: one by Plotkin by Danvy and Filinski. We adopted first order abstract syntax so that the formalization is close...
84
Voted
DAC
1996
ACM
15 years 4 months ago
1996
ACM
Superscalar processor developers are creatively leveraging best-in-class design verification tools to meet narrow market windows. Accelerated simulation is especially useful owing...
114
Voted
ECAI
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. We call verification the process of finding the actual explanation of a given set of manifestations. We consider an abductive setting, in which explanations are sets of a...
ICONIP
2004
15 years 2 months ago
2004
Abstract. A signature verification algorithm based on static and dynamic features of online signature data is presented. Texture and topological features are the static features of...
108
Voted
ENTCS
2008
15 years 21 days ago
2008
This paper presents an approach which supports verification and model-based adaptation of software compod services implemented using Windows Workflow Foundation (WF). First, we pr...