2957 search results - page 310 / 592 » Code analysis and CS-XML |
130
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper we present MRI, a high level interface for selective monitoring of code regions and data structures in single and multiprocessor environments. MRI keeps transparent ...
160
click to vote
FASE
2005
Springer
15 years 9 months ago
2005
Springer
Model Transformation has become central to most software engineering activities. It refers to the process of modifying a (usually graphical) model for the purpose of analysis (by i...
126
click to vote
WOSP
2004
ACM
15 years 9 months ago
2004
ACM
In this paper we present an original method of analysing the newlyrevised UML2.0 activity diagrams. Our analysis method builds on our formal interpretation of these diagrams with ...
135
click to vote
ICDAR
2003
IEEE
2003
IEEE
Visualizing Multimedia Content on Paper Documents: Components of Key Frame Selection for Video Paper
15 years 9 months ago
The components of a key frame selection algorithm for a paper-based multimedia browsing interface called Video Paper are described. Analysis of video image frames is combined with...
120
click to vote
CC
2001
Springer
15 years 8 months ago
2001
Springer
This paper introduces design-driven compilation, an approach in which the compiler uses design information to drive its analysis and verify that the program conforms to its design....