5 search results - page 1 / 1 » Derivation of Distributed Programs in the Theory of Owicki a... |
IWFM
2003
13 years 6 months ago
2003
This paper describes the derivation of a program for the propagation of information over a network, with acknowledgement (feedback) when the computation is complete. The derivatio...
ASWEC
2006
IEEE
13 years 11 months ago
2006
IEEE
This paper describes the formalisation of Java thread synchronisation in an extended Owicki-Gries theory, which facilitates the proof of safety and progress properties of multi-th...
SAIG
2000
Springer
13 years 9 months ago
2000
Springer
Extracting information from data, often also called data analysis, is an important scienti c task. Statistical approaches, which use methods from probability theory and numerical a...
WSC
2000
13 years 6 months ago
2000
Input modeling that involves fitting standard univariate parametric probability distributions is typically performed using an input modeling package. These packages typically fit ...
OOPSLA
2005
Springer
13 years 11 months ago
2005
Springer
An aspect observes the execution of a base program; when certain actions occur, the aspect runs some extra code of its own. In the AspectJ language, the observations that an aspec...