Sciweavers

2947 search results - page 352 / 590
» Analyzing Program Analyses
Sort
View
EUROPAR
2007
Springer
16 years 21 days ago
Search Strategies for Automatic Performance Analysis Tools
Periscope is a distributed automatic online performance analysis system for large scale parallel systems. It consists of a set of analysis agents distributed on the parallel machin...
Michael Gerndt, Edmond Kereku
ICALP
2007
Springer
16 years 20 days ago
Commitment Under Uncertainty: Two-Stage Stochastic Matching Problems
Abstract. We define and study two versions of the bipartite matching problem in the framework of two-stage stochastic optimization with recourse. In one version the uncertainty is...
Irit Katriel, Claire Kenyon-Mathieu, Eli Upfal
VL
2006
IEEE
16 years 16 days ago
Using Visual Momentum to Explain Disorientation in the Eclipse IDE
We report on a field study about how software developers experience disorientation when using the Eclipse Java integrated development environment. We analyzed the data using the ...
Brian de Alwis, Gail C. Murphy
ISESE
2005
IEEE
16 years 3 days ago
Dialog-based protocol: an empirical research method for cognitive activities in software engineering
This paper proposes dialog-based protocol for the study of the cognitive activities during software development and evolution. The dialog-based protocol, derived from the idea of ...
Shaochun Xu, Václav Rajlich
SAT
2004
Springer
85views Hardware» more  SAT 2004»
15 years 12 months ago
Visualizing the Internal Structure of SAT Instances (Preliminary Report)
Modern algorithms for the SAT problem reveal an almost tractable behavior on “real-world” instances. This is frequently contributed to the fact that these instances possess an ...
Carsten Sinz