1271 search results - page 106 / 255 » On Simulation-Checking with Sequential Systems |
120
Voted
AUTOMATICA
2007
15 years 2 months ago
2007
The iterative method labelled Correlation-based Tuning (CbT) is considered in this paper for tuning linear time-invariant multivariable controllers. The approach allows one to tun...
210
click to vote
ASE
2011
14 years 9 months ago
2011
This paper introduces a technique for incremental and compositional model checking that allows efficient reuse of model-checking results associated with the features in a product l...
129
Voted
WOTUG
2008
15 years 4 months ago
2008
Abstract. Communicating Sequential Processes (CSP) was developed around a formal algebra of processes and a semantics based on traces (and failures and divergences). A trace is a r...
140
Voted
CATA
2003
15 years 4 months ago
2003
This paper presents a basic framework for applying static task scheduling techniques to arbitrarily-structured task systems whose targeted execution environment is comprised of fi...
134
Voted
IJHPCA
2007
15 years 2 months ago
2007
A key characteristic of today’s high performance computing systems is a physically distributed memory, which makes the efficient management of locality essential for taking adv...