Sciweavers

4725 search results - page 323 / 945
» Dependence-Based Program Analysis
Sort
View
SC
2003
ACM
16 years 14 days ago
A Compiler Analysis of Interprocedural Data Communication
This paper presents a compiler analysis for data communication for the purpose of transforming ordinary programs into ones that run on distributed systems. Such transformations ha...
Yonghua Ding, Zhiyuan Li
ESOP
2000
Springer
15 years 10 months ago
Polyvariant Flow Analysis with Constrained Types
Abstract. The basic idea behind improving the quality of a monovariant control flow analysis such as 0CFA is the concept of polyvariant analyses such as Agesen's Cartesian Pro...
Scott F. Smith, Tiejun Wang
PE
2010
Springer
144views Optimization» more  PE 2010»
15 years 2 months ago
A unified framework for the bottleneck analysis of multiclass queueing networks
We introduce a new framework supporting the bottleneck analysis of closed, multiclass BCMP queueing networks in the limiting regime where the number of jobs proportionally grows t...
Jonatha Anselmi, Paolo Cremonesi
CAV
2007
Springer
126views Hardware» more  CAV 2007»
16 years 1 months ago
Shape Analysis for Composite Data Structures
We propose a shape analysis that adapts to some of the complex composite data structures found in industrial systems-level programs. Examples of such data structures include “cyc...
Josh Berdine, Cristiano Calcagno, Byron Cook, Dino...
CSDA
2006
91views more  CSDA 2006»
15 years 7 months ago
Model-based cluster and discriminant analysis with the MIXMOD software
The mixmod (mixture modeling) program fits mixture models to a given data set for the purposes of density estimation, clustering or discriminant analysis. A large variety of algor...
Christophe Biernacki, Gilles Celeux, Gérard...