Sciweavers

3605 search results - page 264 / 721
» Analysis and Applications of the XDI model
Sort
View
SAFECOMP
2007
Springer
16 years 24 days ago
Using Deductive Cause-Consequence Analysis (DCCA) with SCADE
Abstract. Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical compon...
Matthias Güdemann, Frank Ortmeier, Wolfgang R...
ICSM
2005
IEEE
16 years 9 days ago
Annotated Inclusion Constraints for Precise Flow Analysis
Program flow analysis has many applications in software tools for program understanding, restructuring, verification, testing and reverse engineering. There are two important re...
Ana Milanova, Barbara G. Ryder
192
Voted
IEEEPACT
2006
IEEE
16 years 22 days ago
A two-phase escape analysis for parallel java programs
Thread escape analysis conservatively determines which objects may be accessed in more than one thread. Thread escape analysis is useful for a variety of purposes – finding rac...
Kyungwoo Lee, Samuel P. Midkiff
VISUALIZATION
1996
IEEE
15 years 11 months ago
BLaC-Wavelets: A Multiresolution Analysis With Non-Nested Spaces
In the last ve years, there has been numerous applications of wavelets and multiresolution analysis in many elds of computer graphics as di erent as geometric modelling, volume vi...
Georges-Pierre Bonneau, Stefanie Hahmann, Gregory ...
EUROPAR
2009
Springer
16 years 1 months ago
Stochastic Analysis of Hierarchical Publish/Subscribe Systems
With the gradual adoption of publish/subscribe systems in mission critical areas, it is essential that systems are subjected to rigorous performance analysis before they are put in...
Gero Mühl, Arnd Schröter, Helge Parzyjeg...