2957 search results - page 310 / 592 » Code analysis and CS-XML |
155
click to vote
IPPS
2006
IEEE
16 years 19 days 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 ...
195
Voted
FASE
2005
Springer
16 years 4 days 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...
154
click to vote
WOSP
2004
ACM
16 years 18 hour 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 ...
174
click to vote
ICDAR
2003
IEEE
2003
IEEE
Visualizing Multimedia Content on Paper Documents: Components of Key Frame Selection for Video Paper
15 years 12 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...
159
Voted
CC
2001
Springer
15 years 11 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....