Search results: Found 28

Listing 1 - 10 of 28 << page
of 3
>>
Sort by
Programming Languages and Systems

Author:
Book Series: Lecture Notes in Computer Science ISBN: 9783030171841 Year: Pages: 816 DOI: 10.1007/978-3-030-17184-1 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-01-29 11:21:11
License:

Loading...
Export citation

Choose an application

Abstract

This open access book constitutes the proceedings of the 28th European Symposium on Programming, ESOP 2019, which took place in Prague, Czech Republic, in April 2019, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.

Pro TBB

Authors: --- ---
ISBN: 9781484243985 Year: Pages: 754 DOI: 10.1007/978-1-4842-4398-5 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-02-05 11:21:04
License:

Loading...
Export citation

Choose an application

Abstract

This open access book is a modern guide for all C++ programmers to learn Threading Building Blocks (TBB). Written by TBB and parallel programming experts, this book reflects their collective decades of experience in developing and teaching parallel programming with TBB, offering their insights in an approachable manner. Throughout the book the authors present numerous examples and best practices to help you become an effective TBB programmer and leverage the power of parallel systems. Pro TBB starts with the basics, explaining parallel algorithms and C++'s built-in standard template library for parallelism. You'll learn the key concepts of managing memory, working with data structures and how to handle typical issues with synchronization. Later chapters apply these ideas to complex systems to explain performance tradeoffs, mapping common parallel patterns, controlling threads and overhead, and extending TBB to program heterogeneous systems or system-on-chips. What You'll Learn Use Threading Building Blocks to produce code that is portable, simple, scalable, and more understandable Review best practices for parallelizing computationally intensive tasks in your applications Integrate TBB with other threading packages Create scalable, high performance data-parallel programs Work with generic programming to write efficient algorithms Who This Book Is For C++ programmers learning to run applications on multicore systems, as well as C or C++ programmers without much experience with templates. No previous experience with parallel programming or multicore processors is required. ;

Ray Tracing Gems

Authors: ---
ISBN: 9781484244272 Year: Pages: 607 DOI: 10.1007/978-1-4842-4427-2 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-02-05 11:21:04
License:

Loading...
Export citation

Choose an application

Abstract

This book is a must-have for anyone serious about rendering in real time. With the announcement of new ray tracing APIs and hardware to support them, developers can easily create real-time applications with ray tracing as a core component. As ray tracing on the GPU becomes faster, it will play a more central role in real-time rendering. Ray Tracing Gems provides key building blocks for developers of games, architectural applications, visualizations, and more. Experts in rendering share their knowledge by explaining everything from nitty-gritty techniques that will improve any ray tracer to mastery of the new capabilities of current and future hardware. What you'll learn: The latest ray tracing techniques for developing real-time applications in multiple domains Guidance, advice, and best practices for rendering applications with Microsoft DirectX Raytracing (DXR) How to implement high-performance graphics for interactive visualizations, games, simulations, and more Who this book is for: Developers who are looking to leverage the latest APIs and GPU technology for real-time rendering and ray tracing Students looking to learn about best practices in these areas Enthusiasts who want to understand and experiment with their new GPUs

Rethinking Productivity in Software Engineering

Authors: ---
ISBN: 9781484242216 Year: Pages: 310 DOI: 10.1007/978-1-4842-4221-6 Language: English
Publisher: Springer Nature
Subject: Business and Management --- Computer Science
Added to DOAB on : 2020-02-05 11:21:04
License:

Loading...
Export citation

Choose an application

Abstract

Get the most out of this foundational reference and improve the productivity of your software teams. This open access book collects the wisdom of the 2017 "Dagstuhl" seminar on productivity in software engineering, a meeting of community leaders, who came together with the goal of rethinking traditional definitions and measures of productivity. The results of their work, Rethinking Productivity in Software Engineering, includes chapters covering definitions and core concepts related to productivity, guidelines for measuring productivity in specific contexts, best practices and pitfalls, and theories and open questions on productivity. You'll benefit from the many short chapters, each offering a focused discussion on one aspect of productivity in software engineering. Readers in many fields and industries will benefit from their collected work. Developers wanting to improve their personal productivity, will learn effective strategies for overcoming common issues that interfere with progress. Organizations thinking about building internal programs for measuring productivity of programmers and teams will learn best practices from industry and researchers in measuring productivity. And researchers can leverage the conceptual frameworks and rich body of literature in the book to effectively pursue new research directions. What You'll Learn Review the definitions and dimensions of software productivity See how time management is having the opposite of the intended effect Develop valuable dashboards Understand the impact of sensors on productivity Avoid software development waste Work with human-centered methods to measure productivity Look at the intersection of neuroscience and productivity Manage interruptions and context-switching Who Book Is For Industry developers and those responsible for seminar-style courses that include a segment on software developer productivity. Chapters are written for a generalist audience, without excessive use of technical terminology. ; Collects the wisdom of software engineering thought leaders in a form digestible for any developer Shares hard-won best practices and pitfalls to avoid An up to date look at current practices in software engineering productivity

Foundations of Software Science and Computation Structures

Authors: ---
Book Series: Lecture Notes in Computer Science ISBN: 9783030171278 Year: Pages: 542 DOI: 10.1007/978-3-030-17127-8 Language: English
Publisher: Springer Nature
Subject: Mathematics --- Computer Science
Added to DOAB on : 2020-01-29 11:21:11
License:

Loading...
Export citation

Choose an application

Abstract

This open access book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019. The 29 papers presented in this volume were carefully reviewed and selected from 85 submissions. They deal with foundational research with a clear significance for software science.

Computer Aided Verification

Authors: ---
Book Series: Lecture Notes in Computer Science ISBN: 9783030255404 Year: Pages: 673 DOI: 10.1007/978-3-030-25540-4 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-01-29 11:21:10
License:

Loading...
Export citation

Choose an application

Abstract

This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following topical sections: Part I: automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical systems and machine learning; probabilistic systems, runtime techniques; dynamical, hybrid, and reactive systems; Part II: logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; verification and invariants; and concurrency.

Fundamental Approaches to Software Engineering

Authors: ---
Book Series: Lecture Notes in Computer Science ISBN: 9783030167226 Year: Pages: 446 DOI: 10.1007/978-3-030-16722-6 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-01-29 11:21:11
License:

Loading...
Export citation

Choose an application

Abstract

This book is Open Access under a CC BY licence. This book constitutes the proceedings of the 22nd International Conference on Fundamental Approaches to Software Engineering, FASE 2019, which took place in Prague, Czech Republic in April 2019, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. The 24 papers presented in this volume were carefully reviewed and selected from 94 submissions. The papers are organized in topical sections named: software verification; model-driven development and model transformation; software evolution and requirements engineering; specification, design, and implementation of particular classes of systems; and software testing.

Optimisation Models and Methods in Energy Systems

Author:
ISBN: 9783039211180 9783039211197 Year: Pages: 192 DOI: 10.3390/books978-3-03921-119-7 Language: English
Publisher: MDPI - Multidisciplinary Digital Publishing Institute
Subject: Technology (General) --- General and Civil Engineering
Added to DOAB on : 2019-12-09 11:49:15
License:

Loading...
Export citation

Choose an application

Abstract

Challenging problems arise in all segments of energy industries—generation, transmission, distribution and consumption. Optimization models and methods play a key role in offering decision/policy makers better information to assist them in making sounder decisions at different levels, ranging from operational to strategic planning.

Nanogrids, Microgrids, and the Internet of Things (IoT): Towards the Digital Energy Network

Author:
ISBN: 9783039217946 9783039217953 Year: Pages: 128 DOI: 10.3390/books978-3-03921-795-3 Language: English
Publisher: MDPI - Multidisciplinary Digital Publishing Institute
Subject: Technology (General) --- General and Civil Engineering
Added to DOAB on : 2019-12-09 11:49:16
License:

Loading...
Export citation

Choose an application

Abstract

Driven by new regulations, new market structures, and new energy resources, the smart grid has been the trigger for profound changes in the way that electricity is generated, distributed, managed, and consumed. The smart grid has raised the traditional power grid by using a two-way electricity and information flow to create an advanced, automated power supply network. However, these pioneering smart grid technologies must grow to adapt to the demands of the current digital society. In today’s digital landscape, we can access feasible data and knowledge that were merely inconceivable. This Special Issue aims to address the landscape in which smart grids are progressing, due to the advent of pervasive technologies like the Internet of Things (IoT). It will be the advanced exploitation of the massive amounts of data generated from (low-cost) IoT sensors that will become the main driver to evolve the concept of the smart grid, currently focused on infrastructure, towards the digital energy network paradigm, focused on service. Furthermore, collective intelligence will improve the processes of decision making and empower citizens. Original manuscripts focusing on state-of-the-art IoT networking and communications, M2M communications, cyberphysical system architectures, big data analytics or cloud computing applied to digital energy platforms, including design methodologies and practical implementation aspects, are welcome.

Distributed Energy Resources Management

Author:
ISBN: 9783038977186 Year: Pages: 236 DOI: 10.3390/books978-3-03897-719-3 Language: English
Publisher: MDPI - Multidisciplinary Digital Publishing Institute
Subject: Physics (General) --- Science (General)
Added to DOAB on : 2019-03-21 15:50:41
License:

Loading...
Export citation

Choose an application

Abstract

At present, the impact of distributed energy resources in the operation of power and energy systems is unquestionable at the distribution level, but also at the whole power system management level. Increased flexibility is required to accommodate intermittent distributed generation and electric vehicle charging. Demand response has already been proven to have a great potential to contribute to an increased system efficiency while bringing additional benefits, especially to the consumers. Distributed storage is also promising, e.g., when jointly used with the currently increasing use of photovoltaic panels. This book addresses the management of distributed energy resources. The focus includes methods and techniques to achieve an optimized operation, to aggregate the resources, namely, by virtual power players, and to remunerate them. The integration of distributed resources in electricity markets is also addressed as a main drive for their efficient use.

Keywords

ac/dc hybrid microgrid --- adaptive droop control --- autonomous operation --- distributed generation --- energy management system --- aggregator --- optimal bidding --- electricity markets --- probabilistic programming --- microgrid --- uncertainty --- hierarchical game --- non-cooperative game (NCG) --- energy trading --- pricing strategy --- demand response --- distributed generation --- microgrid --- real-time simulation --- consensus algorithm --- diffusion strategy --- distributed system --- energy management system --- microgrid operation --- optimal operation --- microgrids --- renewable energy --- storage --- scheduling --- co-generation --- decision-making under uncertainty --- domestic energy management system --- energy flexibility --- interval optimization --- stochastic programming --- Unit Commitment (UC) --- Demand Response (DR) --- Demand Response Unit Commitment (DRUC) --- Cat Swarm Optimization (CSO) --- average consensus algorithm (ACA) --- black start --- local controller --- microgrid (MG) --- multi-agent system (MAS) --- power system restoration (PSR) --- demand-side energy management --- multiplier method --- Powell direction acceleration method --- advance and retreat method --- thermal comfort --- transmission line --- fault localization --- time series --- ARIMA --- discrete wavelet transformer --- demand response --- virtual power plant --- energy flexibility potential --- aggregators --- business model --- building energy flexibility --- aggregator --- clustering --- demand response --- distributed generation

Listing 1 - 10 of 28 << page
of 3
>>
Sort by
Narrow your search

Publisher

MDPI - Multidisciplinary Digital Publishing Institute (21)

Springer Nature (7)


License

CC by-nc-nd (24)

CC by (4)


Language

english (28)


Year
From To Submit

2019 (28)