2278 search results - page 101 / 456 » Specification Techniques for Automatic Performance Analysis ... |
WOSP
2004
ACM
15 years 5 months ago
2004
ACM
Modelling and analysing distributed and mobile software systems is a challenging task. PEPA nets—coloured stochastic Petri nets—are a recently introduced modelling formalism w...
119
click to vote
ASAP
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--Polynomial approximation is a very general technique for the evaluation of a wide class of numerical functions of one variable. This article details an architecture gener...
PDPTA
2010
14 years 9 months ago
2010
- Many research questions remain open with regard to improving reliability in exascale systems. Among others, statistics-based analysis has been used to find anomalies, to isolate ...
110
click to vote
TCAD
2002
14 years 11 months ago
2002
The objective of this work is to create a framework for the optimization of embedded software. We present algorithms and a tool flow to reduce the computational effort of programs,...
108
click to vote
WSC
1997
15 years 28 days ago
1997
Scheduling of a construction project requires: a) hierarchical decomposition of the project; b) incorporation of risk and uncertainty in the activity time and cost estimates; and ...