9842 search results - page 649 / 1969 » Compositional timing analysis |
189
Voted
ICSM
1994
IEEE
15 years 11 months ago
1994
IEEE
An experimental study is presented in which participants perform impact analysis on alternate forms of design record information. The primary objective of the research is to asses...
178
click to vote
ESOP
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. In a functional language, the dominant control-flow mechanism is function call and return. Most higher-order flow analyses, including k-CFA, do not handle call and retu...
241
click to vote
PEPM
1995
ACM
15 years 10 months ago
1995
ACM
This paper concerns a method for approximating the possible “shapes” that heap-allocated structures in a program can take on. We present a new approach to finding solutions t...
200
click to vote
ASPDAC
2005
ACM
15 years 9 months ago
2005
ACM
- This paper presents a novel approach for fast transient analysis of buffered hybrid structured clock networks. The new method applies structure reduction and relaxed hierarchical...
161
click to vote
APVIS
2007
15 years 8 months ago
2007
This paper presents various methods for visualization and analysis of email networks; visualization on the surface of a sphere to reveal communication patterns between different g...