Filter by
Data Parallel C++
"This book, now in is second edition, is the premier resource to learn SYCL 2020 and is the ONLY book you need to become part of this community." Erik Lindahl, GROMACS and Stockholm University Learn how to accelerate C++ programs using data parallelism and SYCL. This open access book enables C++ programmers to be at the forefront of this exciting and important development that is help…
- Edition
- -
- ISBN/ISSN
- 978-1-4842-9690-5
- Collation
- XXX, 630
- Series Title
- -
- Call Number
- -
Finite State Machines in Hardware: Theory and Design (with VHDL and SystemVer…
Modern, complex digital systems invariably include hardware-implemented finite state machines. The correct design of such parts is crucial for attaining proper system performance. This book offers detailed, comprehensive coverage of the theory and design for any category of hardware-implemented finite state machines. It describes crucial design problems that lead to incorrect or far from optima…
- Edition
- -
- ISBN/ISSN
- 9780262319096
- Collation
- 1 online resource (x, 337 pages) :illustrations
- Series Title
- -
- Call Number
- -
Evolvable Hardware From Practice to Application
This book covers the basic theory, practical details and advanced research of the implementation of evolutionary methods on physical substrates. Most of the examples are from electronic engineering applications, including transistor-level design and system-level implementation. The authors present an overview of the successes achieved, and the book will act as a point of reference for both acad…
- Edition
- -
- ISBN/ISSN
- 978-3-662-44616-4
- Collation
- 109 b/w illustrations, 78 illustrations in colour
- Series Title
- -
- Call Number
- -
VLSI-SoC: Internet of Things Foundations 22nd IFIP WG 10.5/IEEE Internationa…
This book contains extended and revised versions of the best papers presented at the 22nd IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2014, held in Playa del Carmen, Mexico, in October 2014. The 12 papers included in the book were carefully reviewed and selected from the 33 full papers presented at the conference. The papers cover a wide range of topics …
- Edition
- -
- ISBN/ISSN
- 978-3-319-25279-7
- Collation
- -
- Series Title
- -
- Call Number
- -
VLSI-SoC: At the Crossroads of Emerging Trends 21st IFIP WG 10.5/IEEE Intern…
This book contains extended and revised versions of the best papers presented at the 21st IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2013, held in Istanbul, Turkey, in October 2013. The 11 papers included in the book were carefully reviewed and selected from the 48 full papers presented at the conference. An extended version of a previously unpublished …
- Edition
- -
- ISBN/ISSN
- 978-3-319-23799-2
- Collation
- -
- Series Title
- -
- Call Number
- -
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design…
The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMC…
- Edition
- -
- ISBN/ISSN
- 9783854480464
- Collation
- -
- Series Title
- -
- Call Number
- -
Digital Ageism How it Operates and Approaches to Tackling it
This anthology contributes to creating awareness on how digital ageism operates in relation to the widely spread symbolic representations of old and young age around digital technologies, the (lack of) representation of diverse older individuals in the design, development, and marketing of digital technologies and in the actual algorithms and datasets that constitute them. It also shows how ind…
- Edition
- -
- ISBN/ISSN
- 9781000904796
- Collation
- -
- Series Title
- -
- Call Number
- -
Data Management in Pervasive Systems
The goal of this book is to provide a systematic description of the various research issues related to the management of information in pervasive systems, illustrating the state of the art in this area. Accordingly, it both outlines the foundations and basic technologies and presents more advanced aspects, making it suitable for self-contained graduate courses or seminars on pervasive data mana…
- Edition
- -
- ISBN/ISSN
- 9783319200620
- Collation
- xxii, 366 pages
- Series Title
- -
- Call Number
- 004
Applications and Usability of Interactive TV: Third Iberoamerican Conference,…
This book constitutes the refereed proceedings of the Third Iberoamerican Conference on Applications and Usability of Interactive TV, jAUTI 2014, and the Third Workshop on Interactive Digital TV, WTVDI 2014, held as part of Webmedia 2014, João Pessoa, Brazil, in November 2014. The 10 revised full papers presented were carefully reviewed and selected from 26 submissions. The papers are organize…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-22656-9
- Collation
- VIII, 147
- Series Title
- Communications in Computer and Information Science
- Call Number
- 005.642 APP a
OpenMP: Heterogenous Execution and Data Movements:11th International Workshop…
This book constitutes the refereed proceedings of the 11th International Workshop on OpenMP, held in Aachen, Germany, in October 2015.The 19 technical full papers presented were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on applications, accelerator applications, tools, extensions, compiler and runtime, and energy.
- Edition
- 1
- ISBN/ISSN
- 978-3-319-24594-2
- Collation
- XI, 274
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography