Search results: Found 18

Listing 1 - 10 of 18 << page
of 2
>>
Sort by
The Informatics of Time and Events

Author:
ISBN: 9782722604292 Year: Language: English
Publisher: Collège de France
Added to DOAB on : 2016-11-14 17:16:04
License: OpenEdition licence for Books

Loading...
Export citation

Choose an application

Abstract

The management of time and events is central to various domains of informatics, from embedded circuits and software programs in all sorts of objects to musical creation, or the simulation of physical phenomena. Yet this subject receives little attention in classical informatics. This lecture presents different types of time and event modelling associated with new programming languages. It discusses the notions of density of the moment and of hierarchical and multiform times created by the rep...

Real-Time Embedded Systems

Authors: ---
ISBN: 9783038975090 9783038975106 Year: Pages: 188 DOI: 10.3390/books978-3-03897-510-6 Language: English
Publisher: MDPI - Multidisciplinary Digital Publishing Institute
Subject: Electrical and Nuclear Engineering
Added to DOAB on : 2019-01-10 12:20:27
License:

Loading...
Export citation

Choose an application

Abstract

Real-time and networked embedded systems are important bidirectional bridges between the physical and the information worlds. Embedded intelligence is increasingly pervading industry, infrastructure, and public and private spaces, being identified as an emerging societal and economic “neural system” that supports both societal changes and economic growth. As cost/performance improves, objects connected in everyday life increasingly rely on embedded intelligence in an ever-growing array of application fields, specialized technologies, and engineering disciplines.While this process gradually builds the IoT, it exposes a series of specific non-trivial timing and other extra-functional requirements and system properties that are less common in other computing areas. The ten articles in this book propose solutions to the specific open problems of cyber–physical and real-time embedded systems applicable to both traditional application domains, such as industrial automation and control, energy management, automotive, aerospace and defense systems, as well as emerging domains, such as medical devices, household appliances, mobile multimedia, gaming, and entertainment systems.]

A Journey of Embedded and Cyber-Physical Systems

Author:
ISBN: 9783030474874 Year: Pages: 176 DOI: 10.1007/978-3-030-47487-4 Language: English
Publisher: Springer Nature
Subject: Agriculture (General)
Added to DOAB on : 2020-09-01 00:02:28
License:

Loading...
Export citation

Choose an application

Abstract

This Open Access book celebrates Professor Peter Marwedel's outstanding achievements in compilers, embedded systems, and cyber-physical systems. The contributions in the book summarize the content of invited lectures given at the workshop “Embedded Systems” held at the Technical University Dortmund in early July 2019 in honor of Professor Marwedel's seventieth birthday. Provides a comprehensive view from leading researchers with respect to the past, present, and future of the design of embedded and cyber-physical systems; Discusses challenges and (potential) solutions from theoreticians and practitioners on modeling, design, analysis, and optimization for embedded and cyber-physical systems; Includes coverage of model verification, communication, software runtime systems, operating systems and real-time computing.

QoS in Wireless Sensor/Actuator Networks and Systems

Author:
ISBN: 9783038973621 9783038973638 Year: Pages: 200 DOI: 10.3390/books978-3-03897-363-8 Language: English
Publisher: MDPI - Multidisciplinary Digital Publishing Institute
Subject: Computer Science --- Electrical and Nuclear Engineering
Added to DOAB on : 2018-11-26 10:59:38
License:

Loading...
Export citation

Choose an application

Abstract

Wireless sensor/actuators networks (WSANs) are being increasingly used in a panoply of applications, such as industrial automation, process control, ambient assisted living, structural health monitoring, and homeland security. Most of these applications require specific quality-of-service (QoS) guarantees from their underlying communication infrastructures (regardless of their wireless, wired, or hybrid nature).This book gathers together an extremely rich set of contributions, addressing several WSAN domains and sharing QoS as a common denominator. Eight papers have made it through a rigorous and iterative peer review process (three reviews per paper, at least two review rounds), involving 38 authors from all over the world (North and South America, Europe, Asia, and Australia) from academia, industry, and the military. Each paper features at least one reference author which is highly reputed in this scientific domain, totaling over 100,000 citations altogether.

Fundamental Approaches to Software Engineering

Authors: ---
Book Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues ISBN: 9783030452346 Year: Pages: 552 DOI: 10.1007/978-3-030-45234-6 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-05-14 09:29:57
License:

Loading...
Export citation

Choose an application

Abstract

This open access book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 23 full papers, 1 tool paper and 6 testing competition papers presented in this volume were carefully reviewed and selected from 81 submissions. The papers cover topics such as requirements engineering, software architectures, specification, software quality, validation, verification of functional and non-functional properties, model-driven development and model transformation, software processes, security and software evolution.

Computer Aided Verification

Authors: ---
Book Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues ISBN: 9783030532918 Year: Pages: 683 DOI: 10.1007/978-3-030-53291-8 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-09-01 00:03:38
License:

Loading...
Export citation

Choose an application

Abstract

The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic systems; and synthesis. *The conference was held virtually due to the COVID-19 pandemic.

Computational Intelligence in Photovoltaic Systems

Authors: ---
ISBN: 9783039210985 9783039210992 Year: Pages: 180 DOI: 10.3390/books978-3-03921-099-2 Language: English
Publisher: MDPI - Multidisciplinary Digital Publishing Institute
Subject: Technology (General) --- General and Civil Engineering
Added to DOAB on : 2019-12-09 16:10:12
License:

Loading...
Export citation

Choose an application

Abstract

Photovoltaics, among the different renewable energy sources (RES), has become more popular. In recent years, however, many research topics have arisen as a result of the problems that are constantly faced in smart-grid and microgrid operations, such as forecasting of the output of power plant production, storage sizing, modeling, and control optimization of photovoltaic systems. Computational intelligence algorithms (evolutionary optimization, neural networks, fuzzy logic, etc.) have become more and more popular as alternative approaches to conventional techniques for solving problems such as modeling, identification, optimization, availability prediction, forecasting, sizing, and control of stand-alone, grid-connected, and hybrid photovoltaic systems. This Special Issue will investigate the most recent developments and research on solar power systems. This Special Issue “Computational Intelligence in Photovoltaic Systems” is highly recommended for readers with an interest in the various aspects of solar power systems, and includes 10 original research papers covering relevant progress in the following (non-exhaustive) fields: Forecasting techniques (deterministic, stochastic, etc.); DC/AC converter control and maximum power point tracking techniques; Sizing and optimization of photovoltaic system components; Photovoltaics modeling and parameter estimation; Maintenance and reliability modeling; Decision processes for grid operators.

Tools and Algorithms for the Construction and Analysis of Systems

Authors: ---
Book Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues ISBN: 9783030451905 Year: Pages: 501 DOI: 10.1007/978-3-030-45190-5 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-05-14 09:30:00
License:

Loading...
Export citation

Choose an application

Abstract

This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows: Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems. Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020.

Tools and Algorithms for the Construction and Analysis of Systems

Authors: ---
Book Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues ISBN: 9783030452377 Year: Pages: 425 DOI: 10.1007/978-3-030-45237-7 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-05-14 09:30:03
License:

Loading...
Export citation

Choose an application

Abstract

This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows: Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems. Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020.

Programming Languages and Systems

Author:
Book Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues ISBN: 9783030449148 Year: Pages: 772 DOI: 10.1007/978-3-030-44914-8 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-05-14 09:30:21
License:

Loading...
Export citation

Choose an application

Abstract

This open access book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which was planned to take place in Dublin, Ireland, in April 2020, as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The actual ETAPS 2020 meeting was postponed due to the Corona pandemic. The papers deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.

Listing 1 - 10 of 18 << page
of 2
>>
Sort by