10055 search results - page 230 / 2011 » Structured programming using processes |
111
click to vote
TPHOL
2008
IEEE
15 years 6 months ago
2008
IEEE
We introduce a lightweight approach for reasoning about programs involving imperative data structures using the proof assistant Isabelle/HOL. It is based on shallow embedding of pr...
96
Voted
VLDB
1998
ACM
15 years 4 months ago
1998
ACM
Small Materialized Aggregates (SMAs for short) are considered a highly flexible and versatile alternative for materialized data cubes. The basic idea is to compute many aggregate ...
APLAS
2007
ACM
15 years 4 months ago
2007
ACM
This paper studies types and probabilistic bisimulations for a timed -calculus as an effective tool for a compositional analysis of probabilistic distributed behaviour. The types c...
AUTOMATICA
2005
15 years 8 days ago
2005
: This work proposes a systematic methodology for the optimal selection of controller parameters, in the sense of minimizing a performance index which is a quadratic function of th...
93
Voted
TPDS
1998
15 years 3 hour ago
1998
—The way the processes in a parallel program are scheduled on the processors of a multiprocessor system affects the performance significantly. Finding a schedule of processes to ...