General

Authors

Search



Committee login



 
 

 


 

 

Forthcoming

Small thumbnail

Reliability Investigation of LED Devices for Public Light Applications

Durability, Robustness and Reliability of Photonic Devices Set

Small thumbnail

Aerospace Actuators 2

Signal-by-Wire and Power-by-Wire

Small thumbnail

Flash Memory Integration

Performance and Energy Considerations

Small thumbnail

Mechanics of Aeronautical Solids, Materials and Structures

Small thumbnail

Engineering Investment Process

Making Value Creation Repeatable

Small thumbnail

Space Strategy

Small thumbnail

Distributed Systems

Concurrency and Consistency

Small thumbnail

Fatigue of Textile and Short Fiber Reinforced Composites

Durability and Ageing of Organic Composite Materials Set – Volume 1

Small thumbnail

Management of the Effects of Coastal Storms

Policy, Scientific and Historical Perspectives

Small thumbnail

Computational Color Science

Variational Retinex-like Methods

Browse Titles by Subject

Computer Engineering

Computational Frameworks

Systems, Models and Applications

Edited by Mamadou Kaba Traoré, Blaise Pascal University, France

Computational Science and Engineering (CSE) is core to all engineering sciences. As a result, computational systems are seeing worldwide growth of services to all user domains: public or private, military or government, education or industry, healthcare or finance, science or entertainment.
The use of computational technologies (e.g. big data, high performance clusters, databases and information...

April 2017
More...

Evolutionary Algorithms

Metaheuristics Set – Volume 9

Alain Pétrowski, Institut Mines-Télécom, Paris-Saclay University, France Sana Ben-Hamida, Paris Ouest University, Paris Dauphine University, France

Evolutionary algorithms are bio-inspired algorithms based on Darwin’s theory of evolution. They are expected to provide non-optimal but good quality solutions to problems whose resolution is impracticable by exact methods.
In six chapters, this book presents the essential knowledge required to efficiently implement evolutionary algorithms.
Chapter 1 describes a generic evolutionary algorith...

April 2017
More...

Flash Memory Integration

Performance and Energy Considerations

Jalil Boukhobza, University of Western Brittany, France Pierre Olivier, Virginia Tech, USA

4 zettabytes (4 billion terabytes) of data generated in 2013, 44 zettabytes predicted for 2020 and 185 zettabytes for 2025. These figures are staggering and perfectly illustrate this new era of data deluge. Data has become a major economic and social challenge. The speed of processing of these data is that of the weakest link in a computer system: the storage system. It is therefore crucial to opt...

March 2017
More...

Distributed Systems

Concurrency and Consistency

Matthieu Perrin, University of Nantes, France.

Modern society is increasingly governed by technology with more than 3 billion internet users in 2015. Unlike their sequential counterparts, distributed systems are much more difficult to design and are therefore prone to problems. On a large scale, usability reminiscent of sequential consistency, which would provide the same global view to all users, is very expensive or proves impossible to achi...

March 2017
More...

Safety of Web Applications

Risks, Encryption and Handling Vulnerabilities with PHP

Éric Quinton, National Research Institute of Science and technology for Environment and Agriculture, France

Web applications are prime targets for hackers. If a site has poor security, it is more susceptible to hacking, which could lead to sensitive information being leaked. Establishing appropriate security involves first analyzing risk, which consists of an evaluation of information confidentiality, integrity and availability along with a potential threat analysis, should security be breached.
An ...

March 2017
More...

Certifiable Software Applications 2

Support Processes

Jean-Louis Boulanger, consultant

The Certifiable Software Applications series presents the development of a critical software application.
The objective of this second volume is to explain the processes necessary to achieve a certifiable application. This concerns several major topics: skill management, data preparation, requirement management, software verification and software validation.
Analysis of the impact of the use of ...

January 2017
More...

Evolutionary Computation with Biogeography-based Optimization

Metaheuristics Set – Volume 8

Haiping Ma, Shaoxing University, China Dan Simon, Cleveland State University, USA

During the past few years, the popularity of evolutionary algorithms (EAs) has skyrocketed at a rate that shows no signs of slowing down. One of the most notable recent additions to the EA family is biogeography-based optimization (BBO), which is based on mathematical models of the migration, speciation, and extinction of biological organisms.
This book, co-authored by the inventor of BBO and by ...

January 2017
More...

Energy Autonomy of Real-Time Systems

Energy Management in Embedded Systems Set

Maryline Chetto and Audrey Queudet, University of Nantes, France

This book deals with a new problem, that of energy autonomy of a real-time system that feeds from a source of environmental energy. This involves investigating various issues related to the harvest of energy, its temporary storage and use in order to ensure sustainable autonomy while respecting the rules of performance in real time.
After two introductory chapters which deal with real-time comp...

December 2016
More...

Advanced Graph Theory and Combinatorics

Michel Rigo, University of Liège, Belgium

Based on a course taught for more than ten years at university level, this book focuses on some of the main notions arising in graph theory, with an emphasis throughout on the possible applications of the theory and the fruitful links that exist with linear algebra.
Commencing with basic notions such as connectedness, Eulerian, Hamiltonian and planar graphs, it opens the way for a variety of app...

December 2016
More...

Evolutionary Algorithms for Food Science and Technology

Metaheuristics Set – Volume 7

Evelyne Lutton, INRA, France Nathalie Perrot, INRA, France Alberto Tonda, INRA, France

Food is an essential component of our lives, health and well-being, not to mention one of the most important sectors of industry, dealing with the chemical, agriculture, animal feed, food processing, trade, retail and consumer sectors. Providing an adequate food supply to a growing world population is one of the grand challenges facing our global society.
In these conditions, robust optimization ...

December 2016
More...

Energy Autonomy of Batteryless and Wireless Embedded Systems

Aeronautical Applications

Jean-Marie Dilhac, National Institute of Applied Sciences of Toulouse, France Vincent Boitier, University Paul Sabatier, Toulouse, France

Numerous new applications of embedded systems are envisioned in the context of aeronautics, such as sensor deployment for flight tests or for structural health monitoring. However, the increasing burden of on-board cabling requires wireless solutions. Moreover, concerns such as safety or system lifetime preclude the use of electrochemical energy storage. Ambient energy capture, storage and managem...

October 2016
More...

Enterprise Interoperability

in the Digitized and Networked Factory of the Future

Edited by Martin Zelm Guy Doumeingts Joao Pedro Mendonça

In the economic environment of today, Enterprises recognise the need and the competitive advantage interoperating with suppliers and customers in collaborative networks to develop innovative product-service solutions The I-ESA series of conferences has become a forum where research and industry meet to share ideas and experience, and to discuss problems, innovations and solutions of enterprise in...

September 2016
More...

Metaheuristics for String Problems in Bio-informatics

Metaheuristics Set – Volume 6

Christian Blum, Spanish National Research Council (CSIC), Bellaterra, Spain Paola Festa, University of Naples Federico II, Italy

So-called string problems are abundant in bioinformatics and computational biology. New optimization problems dealing with DNA or protein sequences are constantly arising and researchers are highly in need of efficient optimization techniques for solving them.
One obstacle for optimization practitioners is the atypical nature of these problems which require an interdisciplinary approach in order ...

August 2016
More...

Metaheuristics for Big Data

Metaheuristics set – Volume 5

Clarisse Dhaenens and Laetitia Jourdan, University of Lille, France

Big Data is a new field, with many technological challenges to be understood in order to use it to its full potential. These challenges arise at all stages of working with Big Data, beginning with data generation and acquisition. The storage and management phase presents two critical challenges: infrastructure, for storage and transportation, and conceptual models. Finally, to extract meaning fr...

August 2016
More...

Certifiable Software Applications 1

Main Processes

Jean-Louis Boulanger, consultant

The Certifiable Software Applications Set is a presentation of the development of a critical software application.
This first volume is dedicated to the establishment of quality assurance and safety assurance. It establishes the context for achieving a certifiable software application. In it, the author covers recent developments such as the module, component and product line approach. Applicable...

July 2016
More...

Eyestrain Reduction in Stereoscopy

FOCUS Series in Computer Engineering

Laure Leroy, University of Paris 8, France

Stereoscopic processes are increasingly used in virtual reality and entertainment. This technology is interesting because it allows for a quick immersion of the user, especially in terms of depth perception and relief clues. However, these processes tend to cause stress on the visual system if used over a prolonged period of time, leading some to question the cause of side effects that these syste...

June 2016
More...

Metaheuristics for Logistics

Metaheuristics Set – Volume 4

Laurent Deroussi, Blaise Pascal University, Clermont-Ferrand, France

Logistics has been progressively evolving in the industrial world ever since its emergence during the 19th Century. Today, it constitutes a means of pressure essential for the competitiveness of companies.
In three parts, this book describes the tools and techniques necessary to overcome classical combinatorial problems faced when designing a logistics network or driving a supply chain. In the fi...

February 2016
More...

Metaheuristics for Vehicle Routing Problems

Metaheuristics Set – Volume 3

Nacima Labadie, University of Technology, Troyes, France Christian Prins, University of Technology, Troyes, France Caroline Prodhon, University of Technology, Troyes, France

This book is an introduction to the development of metaheuristics dedicated to vehicle routing problems. To begin with, a general presentation familiarizes the reader with the related field of logistics and combinatorial optimization. This preamble is completed with a description of significant heuristic methods classically used to provide feasible solutions quickly, and local improvement moves wi...

February 2016
More...

Data Mining and Machine Learning in Building Energy Analysis

Frédéric Magoulès, Ecole Centrale Paris, France Hai-Xiang Zhao, Amadeus, France

The energy consumption of a building has, in recent years, become a determining factor during its design and construction. With carbon footprints being a growing issue, it is important that buildings be optimized for energy conservation and CO2 reduction. This book therefore presents AI models and optimization techniques related to this application.
The authors start with a review of recent model...

January 2016
More...

Parallel Scientific Computing

Frédéric Magoulès, Ecole Centrale Paris, France François-Xavier Roux, Université Pierre et Marie, France Guillaume Houzeaux, Barcelona Supercomputing Center, Spain

Scientific computing has become an indispensable tool in numerous fields, such as physics, biology, chemistry, finance and engineering. For example, it enables us, thanks to efficient algorithms adapted to current computers and supercomputers, to simulate complex phenomena, without the help of models or experimentations. Some examples are the structural behaviors of civil engineering structures, t...

December 2015
More...

Metaheuristics for Air Traffic Management

Metaheuristics Set - Volume 2

Nicolas Durand, ENAC, France David Gianazza, ENAC, France Jean-Baptiste Gotteland, ENAC, France Jean-Marc Alliot, IRIT, France

Air Traffic Management involves many different services such as Airspace Management, Air Traffic Flow Management and Air Traffic Control. Many optimization problems arise from these topics and they generally involve different kinds of variables, constraints and uncertainties. Metaheuristics are often good candidates to solve these problems.
This book bridges academic sciences and a rapidly expand...

December 2015
More...

Object-oriented Programming with Smalltalk

Harald Wertz, University of Paris 8, France

Object-oriented programming is a way of thinking about problems, where Smalltalk represents one of the purest incarnations of an object-oriented programming language.
There is currently no textbook which provides an in-depth self-study of the Smalltalk language. Here the author provides a guide which fills this gap, permitting readers to become acquainted with object-oriented programming through...

November 2015
More...

Abstract Domains in Constraint Programming

Marie Pelleau, University of Nantes, France

Constraint programming aims at solving hard combinatorial problems, with computation times increasing exponentially in practice. Today the methods are efficient enough to solve large industrial problems within a generic framework. However, solvers are dedicated to a single variable type: integer or real. Solving mixed problems relies on ad hoc transformations. In another field, abstract interpreta...

May 2015
More...

Guided Randomness in Optimization

Metaheuristics Set – Volume 1

Maurice Clerc, Consultant

Optimization metaheuristics proceed to “pot luck” as to whether to carry out certain choices or apply certain rules, for which they must use one or several random number generators (RNGs).
There are several types of RNG, from the truly random to the simply coded. They can be manipulated to produce specific distributions.The performances of an algorithm depend on the RNG used.
This book concern...

May 2015
More...

Visual Inspection Technology in the Hard Disk Drive Industry

Edited by Paisarn Muneesawang and Suchart Yammen, Naresuan University, Thailand

Visual Inspection Technology in the Hard Disk Drive Industry gives a presentation of the use of computer vision systems to control manufacturing processes and product quality in the hard disk drive industry.
It is an application-oriented book born out of collaborative research with the world’s leading hard disk drive companies.
It covers the latest developments and important topics in computer...

April 2015
More...

Performance Evaluation by Simulation and Analysis with Applications to Computer Networks

Ken Chen, Paris 13 University, France

The performance of a computer network is among the key elements that determine its operational quality; performance evaluation cannot be only treated empirically.
This book presents the two most commonly used methodologies for performance evaluation in computer networks: simulation using specialized software and mathematical modeling. A large part is dedicated to simulation, especially within it...

February 2015
More...

COBOL Software Modernization

From Principles to Implementation with the BLU AGE® Method

Franck Barbier, University of Pau, France Jean-Luc Recoussine, BLU AGE® Corporation, Dallas, Texas

The digital economy is expanding faster and faster due to the constant advances in IT. There is a virtuous circle such that, in turn, more and more (often unpredictable) innovative usages boost IT. These usages are social and, in a broad sense, economical, meaning that the impact of IT on business is nowadays immense.
This book presents a reflection on software modernization to align old informat...

January 2015
More...

Enterprise Interoperability

Interoperability for Agility, Resilience and Plasticity of Collaborations

Edited by Matthieu Lauras Martin Zelm Bernard Archimède Frédérick Bénaben and Guy Doumeingts

The fast changing global economy is governed by enterprise systems operating in the Future Internet and by trends towards more services in the manufacturing domain. Enterprises and virtual factories will self-organize in distributed, innovative Ecosystems needing Interoperability for Agility, Resilience and Plasticity of Collaborations.
This book constitutes the proceedings of eight workshops an...

December 2014
More...

Rapid Prototyping of Software for Avionics Systems

Model-oriented Approaches for Complex Systems Certification

Nicolas Larrieu and Antoine Varet, ENAC (French Civil Aviation University), France

The design, implementation and validation of avionics and aeronautical systems have become extremely complex tasks due to the increase of functionalities that are deployed in current avionics systems and the need to be able certify them before putting them into production.
This book proposes a methodology to enable the rapid prototyping of such a system by considering from the start the certific...

October 2014
More...

Musical Rhetoric

Foundations and Annotation Schemes

Patrick Saint-Dizier, ILPL research group (Computational Linguistics and Logic Programming), Toulouse, France

Rhetoric is the discipline that uses any type of discourse, e.g. spoken, written, gestural, with the aim of persuading an audience to approve a fact, a decision or an attitude.
This book explores the various roles played by music in a rhetoric discourse or in an argumentative construction. Music turns out to be a very strong, persuasive and expressive means of great interest for rhetoric. Its ass...

August 2014
More...

Graph-related Optimization and Decision Support Systems

FOCUS Series in Computer Engineering

Saoussen Krichen, LARODEC Laboratory and Faculty of Law, Economics and Management, University of Jendouba Jouhaina Chaouachi, IHEC Carthage, Tunisia

Constrained optimization is a challenging branch of operations research that aims to create a model which has a wide range of applications in the supply chain, telecommunications and medical fields. As the problem structure is split into two main components, the objective is to accomplish the feasible set framed by the system constraints. The aim of this book is expose optimization problems that c...

August 2014
More...

Scheduling of Large-scale Virtualized Infrastructures

Toward Cooperative Management

Flavien Quesnel, Ecole des Mines, Nantes

Increasing needs in computing power are satisfied nowadays by federating more and more computers (or nodes) to build distributed infrastructures. Historically, these infrastructures have been managed by means of user-space frameworks or distributed operating systems. Over the past few years, a new kind of software manager has appeared, managers that rely on system virtualization. System virtualiza...

July 2014
More...

Smart SOA Platforms in Cloud Computing Architectures

Ernesto Exposito, INSA and LAAS-CNRS, France Codé Diop, LAAS-CNRS, France

Introducing the principles of the Event-Driven and Service-Oriented Architecture (SOA 2.0), and its role in the new interconnected world based on the cloud computing architecture paradigm, this book focuses on how the current and future SOA technologies provide the basis for the smart management of the service model provided by the Platform as a Service (PaaS) layer. In this new context, the conce...

June 2014
More...

Formal Methods Applied to Complex Systems

Implementation of the B Method

Edited by Jean-Louis Boulanger

This book presents real-world examples of formal techniques in an industrial context. It covers formal methods such as SCADE and/or the B Method, in various fields such as railways, aeronautics, and the automotive industry. The purpose of this book is to present a summary of experience on the use of “formal methods” (based on formal techniques such as proof, abstract interpretation and model-check...

June 2014
More...

Mathematical Programming Solver based on Local Search

FOCUS Series in Computer Engineering

Frédéric Gardi, Innovation 24 and LocalSolver, Paris, France Thierry Benoist, Innovation 24, Paris, France Julien Darlay, Innovation 24, Paris, France Bertrand Estellon, Aix-Marseille University, France Romain Megel, Innovation 24, Paris, France

This book covers local search for combinatorial optimization and its extension to mixed-variable optimization. Although not yet understood from the theoretical point of view, local search is the paradigm of choice for tackling large-scale real-life optimization problems. Today’s end-users demand interactivity with decision support systems. For optimization software, this means obtaining good-quali...

June 2014
More...

Formal Methods Applied to Industrial Complex Systems

Edited by Jean-Louis Boulanger, Consultant

This book presents real-world examples of formal techniques in an industrial context. It covers formal methods such as SCADE, the B-Method, ControlBuild and Matelo, in various fields such as railways, aeronautics, and the automotive industry. The purpose of this book is to present a summary of experience on the use of “formal methods” (such as proof and model-checking) in industrial examples of co...

June 2014
More...

Advanced Backend Code Optimization

Sid Touati, University Nice Sophia Antipolis, France Benoit Dupont de Dinechin, Kalray, France

A summary of more than a decade of research in the area of backend code optimization for high performance and embedded computing, this book contains the latest fundamental and technical research results in this field at an advanced level.
With chapters on phase ordering in optimizing compilation, register saturation in instruction level parallelism, code size reduction for software pipelining, me...

May 2014
More...

Software Architecture 2

Edited by Mourad Chabane Oussalah, University of Nantes, France

Over the past 20 years, software architectures have significantly contributed to the development of complex and distributed systems. Nowadays, it is recognized that one of the critical problems in the design and development of any complex software system is its architecture, i.e. the organization of its architectural elements. This book presents the software architecture paradigms based on objects...

May 2014
More...

Software Architecture 1

Edited by Mourad Chabane Oussalah, University of Nantes, France

Over the past 20 years, software architectures have significantly contributed to the development of complex and distributed systems. Nowadays, it is recognized that one of the critical problems in the design and development of any complex software system is its architecture, i.e. the organization of its architectural elements.
Software Architecture 1 presents the software architecture paradigms ...

April 2014
More...

Time-Predictable Architectures

Christine Rochange, Paul Sabatier University, Toulouse, France Sascha Uhrig, Technical University of Dortmund, Germany Pascal Sainrat, Paul Sabatier University, Toulouse, France

Computer systems are becoming more and more powerful and, in parallel, more and more complex. Even though increased computing performance is at the core of these developments, the complexity raises major challenges, especially in the domain of hard real-time systems. These systems need to provide a deterministic timing behavior, since unpredictable variations of timing can lead to catastrophic res...

December 2013
More...

Co-Clustering

Models, Algorithms and Applications

Gérard Govaert, University of Technology of Compiègne, France Mohamed Nadif, University of Paris-Descartes, France

Cluster or co-cluster analyses are important tools in a variety of scientific areas. The introduction of this book presents a state of the art of already well-established, as well as more recent methods of co-clustering. The authors mainly deal with the two-mode partitioning under different approaches, but pay particular attention to a probabilistic approach.
Chapter 1 concerns clustering in gen...

November 2013
More...

3D Video

From Capture to Diffusion

Edited by Laurent Lucas, University of Reims Champagne Ardenne, France Céline Loscos, University of Reims Champagne Ardenne, France Yannick Remion, University of Reims Champagne Ardenne, France

While 3D vision has existed for many years, the use of 3D cameras and video-based modeling by the film industry has induced an explosion of interest for 3D acquisition technology, 3D content and 3D displays. As such, 3D video has become one of the new technology trends of this century.
The chapters in this book cover a large spectrum of areas connected to 3D video, which are presented both theor...

October 2013
More...

Modeling and Optimization of Air Traffic

Daniel Delahaye and Stéphane Puechmorel, Ecole Nationale de l’Aviation Civile (French National School of Civil Aviation), France

This book combines the research activities of the authors, both of whom are researchers at Ecole Nationale de l’Aviation Civile (French National School of Civil Aviation), and presents their findings from the last 15 years. Their work uses air transport as its focal point, within the realm of mathematical optimization, looking at real-life problems and theoretical models in tandem, and the challen...

June 2013
More...

Algorithms and Ordering Heuristics for Distributed Constraint Satisfaction Problems

FOCUS Series in Computer Science and Information Technology

Mohamed Wahbi, Ecole des Mines de Nantes, France

DisCSP (Distributed Constraint Satisfaction Problem) is a general framework for solving distributed problems arising in Distributed Artificial Intelligence. A wide variety of problems in artificial intelligence are solved using the constraint satisfaction problem paradigm. However, there are several applications in multi-agent coordination that are of a distributed nature. In this type of applicat...

June 2013
More...

Safety Management for Software-based Equipment

FOCUS Series in Computer Engineering and Information Technology

Jean-Louis Boulanger, Consultant

A review of the principles of the safety of software-based equipment, this book begins by presenting the definition principles of safety objectives. It then moves on to show how it is possible to define a safety architecture (including redundancy, diversification, error-detection techniques) on the basis of safety objectives and how to identify objectives related to software programs. From softwar...

April 2013
More...

LMF — Lexical Markup Framework

Edited by Gil Francopoulo, Tagmatica and Spotter, Paris and Palavas, France

The community responsible for developing lexicons for Natural Language Processing (NLP) and Machine Readable Dictionaries (MRDs) started their ISO standardization activities in 2003. These activities resulted in the ISO standard – Lexical Markup Framework (LMF). After selecting and defining a common terminology, the LMF team had to identify the common notions shared by all lexicons in order to spe...

March 2013
More...

The Inverse Method

Parametric Verification of Real-time Embedded Systems

Étienne André, University of Paris 13, France Romain Soulat, ENS-Cachan, France

This book introduces state-of-the-art verification techniques for real-time embedded systems, based on the inverse method for parametric timed automata. It reviews popular formalisms for the specification and verification of timed concurrent systems and, in particular, timed automata as well as several extensions such as timed automata equipped with stopwatches, linear hybrid automata and affine h...

January 2013
More...

Constraint Satisfaction Problems

CSP Formalisms and Techniques

Khaled Ghedira, University of Tunis, Tunisia

A Constraint Satisfaction Problem (CSP) consists of a set of variables, a domain of values for each variable and a set of constraints. The objective is to assign a value for each variable such that all constraints are satisfied. CSPs continue to receive increased attention because of both their high complexity and their omnipresence in academic, industrial and even real-life problems. This is why ...

January 2013
More...

Memory Allocation Problems in Embedded Systems

Optimization Methods

Maria Soto, IUT de Vannes, France Marc Sevaux, University of South Brittany, Lorient, France André Rossi, University of South Brittany, Lorient, France Johann Laurent, University of South Brittany, Lorient, France

Embedded systems are everywhere in contemporary life and are supposed to make our lives more comfortable. In industry, embedded systems are used to manage and control complex systems (e.g. nuclear power plants, telecommunications and flight control) and they are also taking an important place in our daily activities (e.g. smartphones, security alarms and traffic lights). In the design of embedded ...

December 2012
More...

Program Specialization

Renaud Marlet, École des Ponts ParisTech, Marne-la-Vallée, France

This book presents the principles and techniques of program specialization — a general method to make programs faster (and possibly smaller) when some inputs can be known in advance. As an illustration, it describes the architecture of Tempo, an offline program specializer for C that can also specialize code at runtime, and provides figures for concrete applications in various domains. Technical d...

December 2012
More...

Computer Architecture

Gérard Blanchet and Bertrand Dupouy, Telecom ParisTech, France

This book lays out the concepts necessary to understand how a computer works. For reasons of clarity, the authors have deliberately chosen examples that apply to machines from all eras, without having to water down the contents of the book. This choice helps to show how techniques, concepts and performances have evolved since the first computers. The book is divided into five parts. The first four...

December 2012
More...

Computer Science and Ambient Intelligence

Gaëlle Calvary, Grenoble INP, France Thierry Delot, University of Valenciennes, France Florence Sèdes, Paul Sabatier University, Toulouse, France Jean-Yves Tigli, University of Nice Sophia Antipolis, France

This book focuses on ambient intelligence and addresses various issues related to data management, networking and HCI in this context. Taking a holistic view, it covers various levels of abstraction, ranging from fundamental to advanced concepts and brings together the contributions of various specialists in the field. Moreover, the book covers the key areas of computer science concerned with the ...

December 2012
More...

Model-Driven and Software Product Line Engineering

Hugo Arboleda, ICESI University, Cali, Colombia Jean-Claude Royer, Ecole des Mines de Nantes, France

Many approaches to creating Software Product Lines have emerged that are based on Model-Driven Engineering. This book introduces both Software Product Lines and Model-Driven Engineering, which have separate success stories in industry, and focuses on the practical combination of them. It describes the challenges and benefits of merging these two software development trends and provides the reader ...

September 2012
More...

Industrial Use of Formal Methods

Formal Verification

Edited by Jean-Louis Boulanger, Consultant

Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techniques enable us to analyze the behavior of a software application, described in a programming language. It took until the end of the 1990s before formal methods or the B method could be implemented in industrial applications or be usable in an industrial setti...

June 2012
More...

Formal Methods

Industrial Use from Model to the Code

Edited by Jean-Louis Boulanger, Consultant

Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techniques enable us to analyze the behavior of a software application, described in a programming language. It took until the end of the 1990s before formal methods or the B method could be implemented in industrial applications or be usable in an industrial setti...

May 2012
More...

Assembly Language Programming

ARM Cortex-M3

Vincent Mahout, LAAS-INSA, France

ARM designs the cores of microcontrollers which equip most “embedded systems” based on 32-bit processors. Cortex-M3 is one of these designs, recently developed by ARM with microcontroller applications in mind. To conceive a particularly optimized piece of software (as is often the case in the world of embedded systems) it is often necessary to know how to program in an assembly language.
This bo...

January 2012
More...

Static Analysis of Software

The Abstract Interpretation

Edited by Jean-Louis Boulanger, Consultant

This book presents real examples of the formal techniques called “abstract interpretation” currently being used in various industrial fields: railway, aeronautics, space, automotive, etc.
The current literature seems to only provide very general books on the formal techniques. The purpose of this book is to present students and researchers, in a single book, with the wealth of experience of peopl...

November 2011
More...

Progress in Combinatorial Optimization

ISCO2010

Edited by A. Ridha Mahjoub, LAMSADE, Paris-Dauphine University, France

This book aims to present recent developments and new trends in Combinatorial Optimization. The topics will include, among others, complexity analysis, exact and heuristic methods, cutting-plane techniques, approximations algorithms, computational complexity and network design algorithms.
Combinatorial Optimization is an active research area that has applications in many domains such as communic...

November 2011
More...

Graph Partitioning

Edited by Charles-Edmond Bichot, École Centrale de Lyon, France Patrick Siarry, Paris-Est University, France

Graph partitioning is a theoretical subject with applications in many areas, principally numerical analysis, program mapping onto parallel architectures, image segmentation, and VLSI design. Over the last 40 years, the literature has strongly increased and big improvements have been made. In this book we bring together knowledge accumulated over many years to extract both the theoretical foundatio...

September 2011
More...

Distributed Systems

Design and Algorithms

Edited by Serge Haddad, ENS de Cachan, France Fabrice Kordon, UPMC, Paris, France Laurent Pautet, Telecom ParisTech, France Laure Petrucci, University Paris 13, France

In today’s digital environment, distributed systems are increasingly present in a wide variety of environments, ranging from public software applications to critical systems.
Distributed Systems introduces the underlying concepts, the associated design techniques and the related security issues.
Distributed Systems: Design and Algorithms, is dedicated to engineers, students, and anyone famili...

June 2011
More...

Models and Analysis in Distributed Systems

Edited by Serge Haddad, ENS de Cachan, France Fabrice Kordon, UPMC, Paris, France Laurent Pautet, Telecom ParisTech, France Laure Petrucci, University Paris 13, France

Nowadays, distributed systems are increasingly present, for public software applications as well as critical systems. software applications as well as critical systems. This title and Distributed Systems: Design and Algorithms – from the same editors – introduce the underlying concepts, the associated design techniques and the related security issues.
The objective of this book is to describe the...

June 2011
More...

Logic for Computer Science and Artificial Intelligence

Ricardo Caferra, Grenoble INP, France

Logic and its components (propositional, first-order, non-classical) play a key role in Computer Science and Artificial Intelligence. While a large amount of information exists scattered throughout various media (books, journal articles, webpages, etc.), the diffuse nature of these sources is problematic and logic as a topic benefits from a unified approach. Logic for Computer Science and Artifici...

June 2011
More...

Tree-based Graph Partitioning Constraint

Xavier Lorca, Ecole des Mines de Nantes, France

Combinatorial problems based on graph partitioning enable us to mathematically represent and model many practical applications. Mission planning and the routing problems occurring in logistics perfectly illustrate two such examples. Nevertheless, these problems are not based on the same partitioning pattern: generally, patterns like cycles, paths, or trees are distinguished. Moreover, the practica...

June 2011
More...

Computing Networks

From Cluster to Cloud Computing

Pascale Vicat-Blanc, LYATISS, Lyon Brice Goglin, INRIA, Bordeaux, France Sébastien Soudan and Romaric Guillier, LYATISS, Lyon

Computing Networks explores the core principles of the new distributed computing infrastructures being used today: the networking systems of clusters, grids and cloud-based services. Cloud Computing will give millions of users the ability to process data anytime, anywhere, while also allowing them to maintain eco-friendly principles. In order to deliver this fast-growing traffic in a timely, cost...

May 2011
More...

Constraint Programming in Music

Edited by Charlotte Truchet, University of Nantes, France Gérard Assayag, IRCAM-CNRS, France

Constraint Programming (CP) is a declarative programming paradigm with many academic and industrial applications (from n-queens to planning, vehicle routing, optimization, and other fields). Since the earliest works on automatic harmonization, Music Composition has been one of these applications, and a very special and challenging one due to its artistic (highly subjective) nature.
The early work...

May 2011
More...

Artificial Ants

Edited by Nicolas Monmarché, University of Tours, France Frédéric Guinand, University of Le Havre, France Patrick Siarry, University of Paris 12, France

Artificial ants take their inspiration from observations in nature: animal societies, such as ant colonies, have developed collective behaviors with fascinating efficiency and robustness. The motivation to imitate nature has grown increasingly, and throughout the last decade, artificial ants have experienced rapid development in the research community, mainly for solving optimization problems. Now...

September 2010
More...

Mathematics for Informatics and Computer Science

Pierre Audibert, University of Paris 8, Saint Denis, France

How many different ways are there to mix different ingredients? What are the odds of winning a gambling game? How many possible paths are there from one place to another in a network? Mathematics for Informatics and Computer Science gives stimulating and exhaustive answers to these kinds of questions, and provides the tools for students and professionals alike to find the solutions to these and ma...

September 2010
More...

Model Driven Engineering for distributed Real-Time Systems

MARTE modelling, model transformations and their usages

Edited by Jean-Philippe Babau, University of Brest, France. Mireille Blay-Fornarino, Engineering School of Technology of the University of Nice, France. Joël Champeau, ENSIETA, Brest Area, France. Sylvain Robert, LISP, French Atomic Energy and Alternative Energies Commission. Antonino Sabetta, ISTI CNR, Pisa, Italy.

After introducing general concepts about model transformations, two presentations provide an overview of the MARTE profile. Model-driven implementations of software and hardware architectures are then given, covering the most common aspects of Model-Driven Development for Distributed Real-Time Systems: structuring architectures using components, mapping between different levels of abstraction, des...

August 2010
More...

Safety of Computer Architectures

Edited by Jean-Louis Boulanger, Consultant

It is currently quite easy for students or designers/engineers to find very general books on the various aspects of safety, reliability and dependability of computer system architectures, and partial treatments of the elements that comprise an effective system architecture. It is not so easy to find a single source reference for all these aspects of system design. However, the purpose of this bo...

June 2010
More...

Ant Colony Optimization and Constraint Programming

Christine Solnon, University of Lyon 1, France

Ant colony optimization is a metaheuristic - or very generally a form of “black-box” problem-solving algorithm - which has been successfully applied to a wide range of combinatorial optimization problems. This book describes the ant colony metaheuristic and examines its efficacy for solving some difficult combinatorial problems, with a specific focus on constraint programming.
The book is organ...

April 2010
More...

Co-design Approaches for Dependable Networked Control Systems

Edited by Christophe Aubrun, Nancy University, France Daniel Simon, INRIA Rhône-Alpes, France Ye-Qiong Song, Nancy University, France

Networked Control Systems (NCS) is a growing field of application and calls for the development of integrated approaches requiring multidisciplinary skills in control, real-time computing and communication protocols. This book describes co-design approaches, and establishes the links between the QoC (Quality of Control) and QoS (Quality of Service) of the network and computing resources. The metho...

January 2010
More...

Communicating Embedded Systems

Software and design

Edited by Claude Jard, ENS Cachan, France. Olivier H. Roux, Nantes University, France.

The increased complexity of embedded systems coupled with quick design cycles to accommodate faster time-to-market requires increased system design productivity that involves both model-based design and tool-supported methodologies.
Formal methods are mathematically-based techniques and provide a clean framework in which to express requirements and models of the systems, taking into account discr...

November 2009
More...

Constraint Networks

Techniques and Algorithms

Christophe Lecoutre, University of Artois, France.

A major challenge in constraint programming is to develop efficient generic approaches to solve instances of the constraint satisfaction problem (CSP). With this important aim in mind, this book provides an accessible synthesis of the field, including direct access to the author’s research in this area, divided into four main topics: representation, inference, search and learning. The results obta...

June 2009
More...

Graph Theory and Applications

with exercises and problems

Jean-Claude Fournier, University Pierre et Marie Curie, Paris, France

This book provides a pedagogical and comprehensive introduction to graph theory and its applications. It contains all the standard basic material and develops significant topics and applications, such as: colorings and the timetabling problem, matchings and the optimal assignment problem, Hamiltonian cycles and the travelling salesman problem, to name but a few.
Exercises at various levels are...

February 2009
More...

The Mojette Transform

theory and applications

Edited by Jeanpierre Guédon, University of Nantes, France.

Applied sciences in the 20th century have developed and used unitary transforms for concentrating energy. Now, the challenge lies in the expression and use of redundancy to build redundant systems. The Mojette transform is a very simple transform using only additions but with strong properties that break this challenge.
The first part of the book gives the basics of the Mojette transform both mat...

February 2009
More...

Cooperating Embedded Systems and Wireless Sensor Networks

Edited by Michel Banâtre, INRIA, Rennes, France Pedro Jose Marron, IPVS/University of Stuttgart, Stuttgart, Germany Anibal Ollero, AICIA, Sevilla, Spain Adam Wolisz, TUB, Berlin, Germany

A number of different system concepts have become important in the broader context of embedded systems over the past few years. Whilst there are some differences between them, this book argues that in fact there is much they share in common, particularly the important notions of control, heterogenity, wireless communication, dynamics/ad hoc nature and cost. The first part of the book covers cooper...

February 2008
More...

Nanocomputers and Swarm Intelligence

Jean-Baptiste Waldner

For the last 50 years, the performance of integrated circuits has continued to grow. However, this performance will soon reach its physical limit. What new ways will then be available to develop the next generation of even more powerful and up-to-date systems? This book introduces the principles of quantum computing, the use of nanotubes in molecular transistors and DNA computing. It suggests new...

February 2008
More...

Combinatorial Optimization and Theoretical Computer Science

Interfaces and Perspectives 30th Anniversary of the LAMSADE

Edited by Vangelis Th. Paschos, University of Paris-Dauphine, France.

This book addresses two main objectives: to show that bringing together operational research and theoretical computer science can yield useful results for a range of applications, and secondarily to demonstrate the quality and range of research conducted by the LAMSADE in these areas. With this in mind, it offers a comprehensive overview of combinatorial optimization and theoretical computer scien...

January 2008
More...

Modeling and Verification of Real-Time Systems

Formalisms and Software Tools

Edited by Stephan Merz and Nicolas Navet, INRIA Lorraine, Nancy, France

This title presents some of the most important concepts and techniques for describing and modeling real-time systems and analyzing their behavior in order to enable hardware and embedded software designers to create systems that will operate as intended in a real-world environment.
Topics addressed include mathematical models of real-time systems and associated formal verification techniques such...

January 2008
More...

Trends in Constraint Programming

Edited by Frédéric Benhamou, University of Nantes, France Narendra Jussien, Ecole des Mines, Nantes, France Barry O’Sullivan, University College Cork, Ireland

This title brings together the best papers on a range of topics raised at the annual International Conference on Principles and Practice of Constraint Programming. This conference provides papers and workshops which produce new insights, concepts and results which can then be used by those involved in this area to develop their own work.
...

May 2007
More...

A to Z of Sudoku

Narendra Jussien, Ecole des Mines de Nantes, France

The science behind Sudoku…
Sudoku is a logic puzzle that has become a worldwide phenomenon in the last few years: but where has it come from? How does it work? And what is the science behind sudoku – what are the rules for generating and solving grids?
Answers to all of these questions can be found in the A-Z of Sudoku. As its title suggests, this book provides a “one stop shop” on sudoku, cove...

January 2007
More...

From MDD Concepts To Experiments And Illustrations

Edited by Jean-Philippe Babau, INSA Lyon Joël Champeau, ENSIETA Sébastien Gérard, CEA, France

In the context of Distributed and Real-time Embedded Systems (DRES), system developers are faced with reducing system development cost and time while developing correct (relating to safe and QoS properties) and increasingly complex systems. To take up this challenge, Model Driven Development (MDD) advocates the intensive use of models and model transformations on several levels of abstraction. Thi...

September 2006
More...

Interoperability for Enterprise Software and Applications

Proceedings of the Workshops and the Doctorial Symposium of the Second IFAC/IFIP I-ESA International Conference: EI2N, WSI, IS-TSPQ 2006

Edited by Hervé Panetto, University Henri Poincaré Nancy I, Research Centre for Automatic Control, France Nacer Boudjlida, University Henri Poincaré Nancy I, LORIA, France

During the IFAC/IFIP I-ESA international conference, supported by the INTEROP NoE (Interoperability Research for Networked Enterprises Applications and Software Network of Excellence) and the ATHENA IP (Advanced Technologies for interoperability of Heterogeneous Enterprise Networks and their Applications), three workshops and a doctoral symposium were organized in order to strengthen some key topi...

July 2006
More...

Software Specification Methods

An Overview Using a Case Study

Edited by Henri Habrias, University of Nantes, France Marc Frappier, University of Sherbrooke, Canada

This book introduces several key software specification methods. Each method is presented using the same example, an invoicing system, allowing the reader to compare and contrast. Every chapter follows a rigorous pattern whereby techniques and notations are gradually introduced through questions which are asked to an imaginary user. Most specification courses tend to focus on one or two key techni...

April 2006
More...

Probabilistic Combinatorial Optimization on Graphs

Cécile Murat, University Paris–Dauphine, France Vangelis Th. Paschos, University Paris–Dauphine, France

This title provides a comprehensive survey over the subject of probabilistic combinatorial optimization, discussing probabilistic versions of some of the most paradigmatic combinatorial problems on graphs, such as the maximum independent set, the minimum vertex covering, the longest path and the minimum coloring. Detailed discussion is given to a priori optimization, which is adopted as the main w...

March 2006
More...

Model Driven Engineering for Distributed Real-time Embedded Systems

Edited by Sébastien Gérard, CEA, France Jean-Philippe Babau, INSA Lyon, Lyon, France Joël Champeau, ENSIETA, France

Model-based development methods, and supporting technologies, can provide the techniques and tools needed to address the dilemma between reducing system development costs and time, and developing increasingly complex systems. The Model Driven Architecture (MDA) initiative of the Object Management Group (OMG) is concerned with the development of standards and technologies that enable and support mo...

September 2005
More...

Interoperability of Enterprise Software and Applications

Workshops of the INTEROP-ESA 2005 International Conference (EI2N, WSI, ISIDI and IEHENA 2005)

Edited by Hervé Panetto, University Henri Poincaré Nancy I, Research Centre for Automatic Control, France

This book features four workshops from the INTEROP-ESA international conference, organized by the INTEROP NoE (Interoperability Research for Networked Enterprises Applications and Software Network of Excellence). It highlights key topics related to interoperability of enterprise applications and software. The workshops are related to the conference topics and will enable researchers to explore new...

July 2005
More...
































0.19226 s.