Sciweavers

9842 search results - page 65 / 1969
» Compositional timing analysis
Sort
View
CC
2002
Springer
107views System Software» more  CC 2002»
13 years 7 months ago
Modular Static Program Analysis
The purpose of this paper is to present four basic methods for ional separate modular static analysis of programs by abstract interpretation: simpli cation-based separate analysis;...
Patrick Cousot, Radhia Cousot
ICDAR
2007
IEEE
14 years 2 months ago
A Pen-Based Interface for Real-Time Document Edition
José A. Rodríguez, Gemma Sánc...
IPPS
2005
IEEE
14 years 1 months ago
Predictive Performance Modelling of Parallel Component Composition
Large-scale scientific computing applications frequently make use of closely-coupled distributed parallel components. The performance of such scientific applications is therefore ...
Lei Zhao, Stephen A. Jarvis, Daniel P. Spooner, Gr...
ECMDAFA
2006
Springer
142views Hardware» more  ECMDAFA 2006»
13 years 11 months ago
Ontology-Based Composition and Transformation for Model-Driven Service Architecture
Building service-based architectures has become a major area of interest since the advent of Web services. Modelling these architectures is a central activity. Model-driven archite...
Claus Pahl
DM
2011
228views Education» more  DM 2011»
13 years 2 months ago
The largest missing value in a composition of an integer
Archibald and Knopfmacher recently considered the largest missing value in a composition of an integer and established mean and variance. Our alternative, probabilistic approach p...
Margaret Archibald, Arnold Knopfmacher