Sciweavers

3889 search results - page 513 / 778
» The Use of Program Dependence Graphs in Software Engineering
Sort
View
ICS
1995
Tsinghua U.
15 years 10 months ago
Gated SSA-based Demand-Driven Symbolic Analysis for Parallelizing Compilers
In this paper, we present a GSA-based technique that performs more e cient and more precise symbolic analysis of predicated assignments, recurrences and index arrays. The e ciency...
Peng Tu, David A. Padua
PLDI
2005
ACM
16 years 4 days ago
Mitosis compiler: an infrastructure for speculative threading based on pre-computation slices
Speculative parallelization can provide significant sources of additional thread-level parallelism, especially for irregular applications that are hard to parallelize by conventio...
Carlos García Quiñones, Carlos Madri...
ISSRE
2005
IEEE
16 years 5 days ago
Synchronous Testing of Multimodal Systems: An Operational Profile-Based Approach
In this paper we present a method for automatically testing interactive multimodal systems1 . The proposed approach was originally dedicated to synchronous programming which is ma...
Laya Madani, Catherine Oriat, Ioannis Parissis, Ju...
ICSE
2008
IEEE-ACM
16 years 7 months ago
Answering conceptual queries with Ferret
Programmers seek to answer questions as they investigate the functioning of a software system, such as "which execution path is being taken in this case?" Programmers at...
Brian de Alwis, Gail C. Murphy
ISPASS
2009
IEEE
16 years 1 months ago
Accuracy of performance counter measurements
Many workload characterization studies depend on accurate measurements of the cost of executing a piece of code. Often these measurements are conducted using infrastructures to ac...
Dmitrijs Zaparanuks, Milan Jovic, Matthias Hauswir...