4722 search results - page 77 / 945 » Representation-independent program analysis |
DAC
2009
ACM
14 years 10 months ago
2009
ACM
Traditionally, synchronous languages, such as Esterel, have been compiled into hardware, where timing analysis is relatively easy. When compiled into software ? e.g., into sequent...
ICSE
2003
IEEE-ACM
14 years 9 months ago
2003
IEEE-ACM
In our research demonstration, we show two development support systems for Java programs. One is an Aspectoriented Dynamic Analysis and Slice calculation system named ADAS, and an...
EUROPAR
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. Today’s parallel computers with SMP nodes provide both multithreading and message passing as their modes of parallel execution. As a consequence, performance analysis a...
ERSHOV
2001
Springer
14 years 1 months ago
2001
Springer
A general semantics-based framework for the analysis of logic programs with delay declarations is presented. The framework incorporates well known refinement techniques based on r...
EUROPAR
2005
Springer
14 years 2 months ago
2005
Springer
This paper describes a novel approach to performance analysis for parallel and distributed systems that is based on soft computing. We introduce the concept of performance score re...