Sciweavers

2129 search results - page 88 / 426
» Cutting-Edge Timing Analysis Techniques
Sort
View
ESOP
2000
Springer
15 years 1 months ago
A Kleene Analysis of Mobile Ambients
Abstract. We show how a program analysis technique originally developed for C-like pointer structures can be adapted to analyse the hierarchical structure of processes in the ambie...
Flemming Nielson, Hanne Riis Nielson, Shmuel Sagiv
SCAM
2003
IEEE
15 years 3 months ago
Online Cycle Detection and Difference Propagation for Pointer Analysis
This paper presents and evaluates a number of techniques to improve the execution time of interprocedural pointer analysis in the context of large C programs. The analysis is form...
David J. Pearce, Paul H. J. Kelly, Chris Hankin
IV
2008
IEEE
115views Visualization» more  IV 2008»
15 years 4 months ago
Visual Analytics on the Financial Market: Pixel-based Analysis and Comparison of Long-Term Investments
In this paper, we describe solutions how pixel-based visualization techniques can support the decision making process for investors on the financial market. We especially focus o...
Hartmut Ziegler, Tilo Nietzschmann, Daniel A. Keim
SOFTVIS
2010
ACM
14 years 10 months ago
3D kiviat diagrams for the interactive analysis of software metric trends
Previous techniques for visualizing time-series of multivariate data mostly plot the time along additional axes, are often complex, and does not support intuitive interaction. In ...
Andreas Kerren, Ilir Jusufi
BIB
2010
89views more  BIB 2010»
14 years 8 months ago
Knowledge-based data analysis comes of age
The emergence of high-throughput technologies for measuring biological systems has introduced problems for data interpretation that must be addressed for proper inference. First, ...
Michael F. Ochs