Sciweavers

391 search results - page 25 / 79
» On Time-Aware Instrumentation of Programs
Sort
View
IPPS
2000
IEEE
15 years 6 months ago
Online Computation of Critical Paths for Multithreaded Languages
We have developed an instrumentation scheme that enables programs written in multithreaded languages to compute a critical path at run time.Our scheme gives not only the length (ex...
Yoshihiro Oyama, Kenjiro Taura, Akinori Yonezawa
CONCURRENCY
2002
107views more  CONCURRENCY 2002»
15 years 1 months ago
A callgraph-based search strategy for automated performance diagnosis
Abstract. We introduce a new technique for automated performance diagnosis, using the program's callgraph. We discuss our implementation of this diagnosis technique in the Par...
Harold W. Cain, Barton P. Miller, Brian J. N. Wyli...
POPL
2009
ACM
16 years 2 months ago
The theory of deadlock avoidance via discrete control
Deadlock in multithreaded programs is an increasingly important problem as ubiquitous multicore architectures force parallelization upon an ever wider range of software. This pape...
Manjunath Kudlur, Scott A. Mahlke, Stéphane...
88
Voted
ACMSE
2006
ACM
15 years 7 months ago
Student perspectives of ePortfolios in computing education
This paper presents the preliminary findings of the Electronic Portfolio Student Perspective Instrument (EPSPI) developed to ascertain student attitudes and intended uses of ePort...
Albert Dieter Ritzhaupt, Oma Singh
137
Voted
SAS
2005
Springer
134views Formal Methods» more  SAS 2005»
15 years 7 months ago
Using Dependent Types to Certify the Safety of Assembly Code
There are many source-level analyses or instrumentation tools that enforce various safety properties. In this paper we present an infrastructure that can be used to check independe...
Matthew Harren, George C. Necula