|
Showing 1 - 12 of
12 matches in All Departments
This book constitutes the refereed conference proceedings of the
8th International Conference on Algorithms and Complexity, CIAC
2013, held in Barcelona, Spain, during May 22-24, 2013. The 31
revised full papers presented were carefully reviewed and selected
from 75 submissions. The papers present current research in all
aspects of computational complexity and the use, design, analysis
and experimentation of efficient algorithms and data structures.
This book constitutes the thoroughly refereed proceedings of the
18th International Conference, Euro-Par 2012, held in Rhodes
Islands, Greece, in August 2012. The 75 revised full papers
presented were carefully reviewed and selected from 228
submissions. The papers are organized in topical sections on
support tools and environments; performance prediction and
evaluation; scheduling and load balancing; high-performance
architectures and compilers; parallel and distributed data
management; grid, cluster and cloud computing; peer to peer
computing; distributed systems and algorithms; parallel and
distributed programming; parallel numerical algorithms; multicore
and manycore programming; theory and algorithms for parallel
computation; high performance network and communication; mobile and
ubiquitous computing; high performance and scientific applications;
GPU and accelerators computing.
Wireless sensor networks are about to be part of everyday life.
Homes and workplaces capable of self-controlling and adapting
air-conditioning for different temperature and humidity levels,
sleepless forests ready to detect and react in case of a fire,
vehicles able to avoid sudden obstacles or possibly able to
self-organize routes to avoid congestion, and so on, will probably
be commonplace in the very near future. Mobility plays a central
role in such systems and so does passive mobility, that is,
mobility of the network stemming from the environment itself. The
population protocol model was an intellectual invention aiming to
describe such systems in a minimalistic and analysis-friendly way.
Having as a starting-point the inherent limitations but also the
fundamental establishments of the population protocol model, we try
in this monograph to present some realistic and practical
enhancements that give birth to some new and surprisingly powerful
(for these kind of systems) computational models. Table of
Contents: Population Protocols / The Computational Power of
Population Protocols / Enhancing the model / Mediated Population
Protocols and Symmetry / Passively Mobile Machines that Use
Restricted Space / Conclusions and Open Research Directions /
Acronyms / Authors' Biographies
This book constitutes the refereed proceedings of the 28th
International Colloquium on Automata, Languages and Programming,
ICALP 2001, held in Crete, Greece in July 2001.
The 80 revised papers presented together with two keynote
contributions and four invited papers were carefully reviewed and
selected from a total of 208 submissions. The papers are organized
in topical sections on algebraic and circuit complexity, algorithm
analysis, approximation and optimization, complexity, concurrency,
efficient data structures, graph algorithms, language theory, codes
and automata, model checking and protocol analysis, networks and
routing, reasoning and verification, scheduling, secure
computation, specification and deduction, and structural
complexity.
This volume contains the proceedings of the fifth International
Workshop on Distributed Algorithms (WDAG '91) held in Delphi,
Greece, in October 1991. The workshop provided a forum for
researchers and others interested in distributed algorithms,
communication networks, and decentralized systems. The aim was to
present recent research results, explore directions for future
research, and identify common fundamental techniques that serve as
building blocks in many distributed algorithms. The volume contains
23 papers selected by the Program Committee from about fifty
extended abstracts on the basis of perceived originality and
quality and on thematic appropriateness and topical balance. The
workshop was organizedby the Computer Technology Institute of
Patras University, Greece.
|
|