13,653 research outputs found
Composing concurrent objects
Adopting the object-oriented paradigm for the development of large and complex software systems offers several advantages, of which increased extensibility and reusability are the most prominent ones. The object-oriented model is also quite suitable for modelling concurrent systems. However, it appears that extensibility and reusability of concurrent applications is far from trivial. In addition, very little attention has been paid by the conventional object-oriented development methodologies to the analysis and design of\ud
synchronisation constraints for concurrent objects.\ud
To address these problems, in this thesis the framework of composition-filters, an extension to the object-oriented model, is adopted. An analysis is presented of the problems involved in reusing and extending concurrent objects, in particular the so-called inheritance anomalies. Based on this analysis, a set of criteria for effective extensible concurrent objectoriented\ud
programming languages is formulated.\ud
The thesis introduces techniques for the creation of concurrency and the synchronisation of concurrent activities, fully integrated within the (object-oriented) composition-filters model. Important properties of the proposed object model are: all objects are -potentially- active, intra-object concurrency is supported and synchronisation specifications are fully separated\ud
from method implementations. The applicability and expressive power of the proposed technique are demonstrated, and it is shown how reusability and extensibility of concurrent objects are achieved
Scalable Verification of Markov Decision Processes
Markov decision processes (MDP) are useful to model concurrent process
optimisation problems, but verifying them with numerical methods is often
intractable. Existing approximative approaches do not scale well and are
limited to memoryless schedulers. Here we present the basis of scalable
verification for MDPSs, using an O(1) memory representation of
history-dependent schedulers. We thus facilitate scalable learning techniques
and the use of massively parallel verification.Comment: V4: FMDS version, 12 pages, 4 figure
Electrophoretic silica-coating process on a nano-structured copper electrode
A method for silica-coating at the nanoscale by electrophoretic deposition is presented here, using raw or grafted silica dispersions
Multistability and memory effect in a highly turbulent flow: experimental evidence for a global bifurcation
We report an experimental evidence of a global bifurcation on a highly
turbulent von Karman flow. The mean flow presents multiple solutions: the
canonical symmetric solution becomes marginally unstable towards a flow which
breaks the basic symmetry of the driving apparatus even at very large Reynolds
number. The global bifurcation between these states is highly subcritical and
the system thus keeps a memory of its history. The transition recalls
low-dimension dynamical systems transitions and exhibits a very peculiar
statistics. We discuss the role of turbulence in two ways: the multiplicity of
hydrodynamical solutions and the effect of fluctuations on the nature of
transitions.Comment: submitted to Physical Review Letters 19 May 2004, accepted 10
September 200
Distributed Verification of Rare Properties using Importance Splitting Observers
Rare properties remain a challenge for statistical model checking (SMC) due
to the quadratic scaling of variance with rarity. We address this with a
variance reduction framework based on lightweight importance splitting
observers. These expose the model-property automaton to allow the construction
of score functions for high performance algorithms.
The confidence intervals defined for importance splitting make it appealing
for SMC, but optimising its performance in the standard way makes distribution
inefficient. We show how it is possible to achieve equivalently good results in
less time by distributing simpler algorithms. We first explore the challenges
posed by importance splitting and present an algorithm optimised for
distribution. We then define a specific bounded time logic that is compiled
into memory-efficient observers to monitor executions. Finally, we demonstrate
our framework on a number of challenging case studies
Smart Sampling for Lightweight Verification of Markov Decision Processes
Markov decision processes (MDP) are useful to model optimisation problems in
concurrent systems. To verify MDPs with efficient Monte Carlo techniques
requires that their nondeterminism be resolved by a scheduler. Recent work has
introduced the elements of lightweight techniques to sample directly from
scheduler space, but finding optimal schedulers by simple sampling may be
inefficient. Here we describe "smart" sampling algorithms that can make
substantial improvements in performance.Comment: IEEE conference style, 11 pages, 5 algorithms, 11 figures, 1 tabl
Robust capacitated trees and networks with uniform demands
We are interested in the design of robust (or resilient) capacitated rooted
Steiner networks in case of terminals with uniform demands. Formally, we are
given a graph, capacity and cost functions on the edges, a root, a subset of
nodes called terminals, and a bound k on the number of edge failures. We first
study the problem where k = 1 and the network that we want to design must be a
tree covering the root and the terminals: we give complexity results and
propose models to optimize both the cost of the tree and the number of
terminals disconnected from the root in the worst case of an edge failure,
while respecting the capacity constraints on the edges. Second, we consider the
problem of computing a minimum-cost survivable network, i.e., a network that
covers the root and terminals even after the removal of any k edges, while
still respecting the capacity constraints on the edges. We also consider the
possibility of protecting a given number of edges. We propose three different
formulations: a cut-set based formulation, a flow based one, and a bilevel one
(with an attacker and a defender). We propose algorithms to solve each
formulation and compare their efficiency
Integrating Environmental Issues Into Corporate Strategy: A Catalyst for Radical Organizational Innovation
This paper presents the results of a study conducted in manufacturing firms operating in the electrical and electronic sectors in Quebec. It investigates the extent to which environmental concerns are integrated into corporate strategy and the entire product development stages. Special attention is paid to the underlying decision process and the benefits derived from being green . Un étude conduite auprès des entreprises québécoises oeuvrant dans les secteur électrique et électronique permet d'évaluer le niveau d'intégration des préoccupations environnementales dans la stratégie corporative et dans les différentes phases du cycle de développement des produits. Les résultats de l'étude analysent les processus décisionnels sous-jacents ainsi que les bénéfices encourus par les entreprises qui ont privilégié une stratégie environnementale plus intense.Electrical indystry; Electronical industry; Environnemental concerns; Product development, Industrie électrique ; Industrie électronique ; Préoccupation environnementales ; Développement des produits
- …