Sciweavers

489 search results - page 66 / 98
» Support tools for graphs in computer science
Sort
View
IPPS
2007
IEEE
15 years 7 months ago
Stack Trace Analysis for Large Scale Debugging
We present the Stack Trace Analysis Tool (STAT) to aid in debugging extreme-scale applications. STAT can reduce problem exploration spaces from thousands of processes to a few by ...
Dorian C. Arnold, Dong H. Ahn, Bronis R. de Supins...
HPDC
2010
IEEE
15 years 2 months ago
Mendel: efficiently verifying the lineage of data modified in multiple trust domains
Data is routinely created, disseminated, and processed in distributed systems that span multiple administrative domains. To maintain accountability while the data is transformed b...
Ashish Gehani, Minyoung Kim
CAISE
2004
Springer
15 years 5 months ago
Simple and Minimum-Cost Satisfiability for Goal Models
Abstract. Goal models have been used in Computer Science in order to represent software requirements, business objectives and design qualities. In previous work we have presented a...
Roberto Sebastiani, Paolo Giorgini, John Mylopoulo...
STOC
2004
ACM
158views Algorithms» more  STOC 2004»
16 years 1 months ago
Collective asynchronous reading with polylogarithmic worst-case overhead
The Collect problem for an asynchronous shared-memory system has the objective for the processors to learn all values of a collection of shared registers, while minimizing the tot...
Bogdan S. Chlebus, Dariusz R. Kowalski, Alexander ...
ICSE
2005
IEEE-ACM
16 years 1 months ago
Process issues in course projects
Defined software engineering process help teaching and guiding software engineering courses projects. However, using them raises several issues related to process and course featu...
Wilson P. Paula Filho