1914 search results - page 254 / 383 » Verification by Abstract Interpretation |
74
Voted
UML
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. State machines, represented by statecharts or statechart diagrams, are an important formalism for behavioural modelling. According to the research literature, the most po...
131
click to vote
VLSM
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Many problems in image analysis and computer vision involving boundaries and regions can be cast in a variational formulation. This means that m-surfaces, e.g. curves and...
98
Voted
VSTTE
2005
Springer
15 years 6 months ago
2005
Springer
What You See Is Not What You eXecute: computers do not execute source-code programs; they execute machine-code programs that are generated from source code. Not only can the WYSINW...
108
click to vote
PASTE
2004
ACM
15 years 6 months ago
2004
ACM
Digital Signal Processors are widely used in critical embedded systems to pilot low-level, often critical functionalities. We describe a static analyzer based on abstract interpre...
105
Voted
ASIACRYPT
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Several generalizations of linear cryptanalysis have been proposed in the past, as well as very similar attacks in a statistical point of view. In this paper, we define ...