2278 search results - page 101 / 456 » Specification Techniques for Automatic Performance Analysis ... |
174
click to vote
WOSP
2004
ACM
16 years 4 days 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...
204
Voted
ASAP
2010
IEEE
15 years 8 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...
194
click to vote
PDPTA
2010
15 years 4 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 ...
183
click to vote
TCAD
2002
15 years 6 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,...
202
click to vote
WSC
1997
15 years 8 months 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 ...