516 search results - page 97 / 104 » Constructing difference tools for models using the SiDiff fr... |
IPPS
2006
IEEE
15 years 8 months ago
2006
IEEE
Advances in high-performance computing have led to the broad use of computational studies in everyday engineering and scientific applications. A single study may require thousand...
248
click to vote
CASES
2011
ACM
14 years 2 months ago
2011
ACM
This paper advocates a rigorously formal and compositional style for obtaining key performance and/or interface metrics of systems with real-time constraints. We propose a hierarc...
145
click to vote
ICSM
2008
IEEE
15 years 8 months ago
2008
IEEE
Change impact analysis is a useful technique for software evolution. It determines the effects of a source editing session and provides valuable feedbacks to the programmers for m...
112
click to vote
ICCV
2009
IEEE
16 years 7 months ago
2009
IEEE
This paper presents a target tracking framework for unstructured
crowded scenes. Unstructured crowded scenes
are defined as those scenes where the motion of a crowd
appears to b...
111
click to vote
INFOVIS
2005
IEEE
15 years 8 months ago
2005
IEEE
We present the Visual Code Navigator, a set of three interrelated visual tools that we developed for exploring large source code software projects from three different perspective...