Filter by
Automatic SIMD Vectorization of SSA-based Control Flow Graphs
Ralf Karrenberg presents Whole-Function Vectorization (WFV), an approach that allows a compiler to automatically create code that exploits data-parallelism using SIMD instructions. Data-parallel applications such as particle simulations, stock option price estimation or video decoding require the same computations to be performed on huge amounts of data. Without WFV, one processor core executes…
- Edition
- -
- ISBN/ISSN
- 978-3-658-10113-8
- Collation
- XVI, 187
- Series Title
- -
- Call Number
- 006.6
Automatic Design of Decision-Tree Induction Algorithms
Presents a detailed study of the major design components that constitute a top-down decision-tree induction algorithm, including aspects such as split criteria, stopping criteria, pruning and the approaches for dealing with missing values. Whereas the strategy still employed nowadays is to use a 'generic' decision-tree induction algorithm regardless of the data, the authors argue on the benefit…
- Edition
- -
- ISBN/ISSN
- 978-3-319-14231-9
- Collation
- XII, 176
- Series Title
- -
- Call Number
- 006.312
Automated Technology for Verification and Analysis : 13th International Sympo…
This book constitutes the proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015, held in Shanghai, China, in October 2015. The 27 revised papers presented together with 6 tool papers in this volume were carefully reviewed and selected from 95 submissions. They show current research on theoretical and practical aspects of automated a…
- Edition
- -
- ISBN/ISSN
- 978-3-319-24953-7
- Collation
- XIII, 520
- Series Title
- -
- Call Number
- 006.3
JavaScript Object Programming
This brief book explains the advantages of the object model, inheritance, both classical and prototypical, and shows how these concepts can be implemented in JavaScript. It also shows how object programming (OP) opens a new world of design possibilities that go far beyond inheritance. This book will help the intermediate JavaScript programmer learn to use both types of inheritance. For clas…
- Edition
- -
- ISBN/ISSN
- 978-1-4842-1787-0
- Collation
- -
- Series Title
- -
- Call Number
- -
JavaScript Frameworks for Modern Web Dev
JavaScript Frameworks for Modern Web Dev is your guide to the wild, vast, and untamed frontier that is JavaScript development. The JavaScript tooling landscape has grown and matured drastically in the past several years. This book will serve as an introduction to both new and well established libraries, frameworks, and utilities that have gained popular traction and support from seasoned dev…
- Edition
- -
- ISBN/ISSN
- 978-1-4842-0662-1
- Collation
- -
- Series Title
- -
- Call Number
- -
Automated Reasoning with Analytic Tableaux and Related Methods : 24th Interna…
This book constitutes the refereed proceedings of the 24th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2015, held in Wroclaw, Poland, in September 2015. The 19 full papers and 2 papers presented in this volume were carefully reviewed and selected from 34 submissions. They are organized in topical sections named: tableaux calculi; sequ…
- Edition
- -
- ISBN/ISSN
- 978-3-319-24312-2
- Collation
- XVI, 355
- Series Title
- -
- Call Number
- 006.4
Java Threads and the Concurrency Utilities
This concise book empowers all Java developers to master the complexity of the Java thread APIs and concurrency utilities. This knowledge aids the Java developer in writing correct and complex performing multithreaded applications. Java's thread APIs and concurrency utilities are among its most powerful and challenging APIs and language features. Java beginners typically find it very difficu…
- Edition
- -
- ISBN/ISSN
- 978-1-4842-1700-9
- Collation
- -
- Series Title
- -
- Call Number
- -
Java I/O, NIO and NIO.
Java I/O, NIO and NIO.2 is a power-packed book that is an accelerated guide and reference on buffers, files, sockets, datagrams, and pipe channels as found in the Java I/O, NIO, and NIO.2 reference implementations. In this book, you'll also learn how and when to use selectors, regular expressions, including patterns, matchers and more. You'll learn how to work with Charsets, formatters and scan…
- Edition
- -
- ISBN/ISSN
- 978-1-4842-1565-4
- Collation
- -
- Series Title
- -
- Call Number
- -
Automated Guided Vehicle Systems : A Primer with Practical Applications
This primer is directed at experts and practitioners in intralogistics who are concerned with optimizing material flows. The presentation is comprehensive covering both, practical and theoretical aspects with a moderate degree of specialization, using clear and concise language. Areas of operation as well as technical standards of all relevant components and functions are described. Recent deve…
- Edition
- -
- ISBN/ISSN
- 978-3-662-44814-4
- Collation
- XI, 227
- Series Title
- -
- Call Number
- 658.00973
Java Closures and Lambda
Java Closures and Lambda introduces you to significant new changes to the Java language coming out of what is termed Project Lambda. These new changes make their debut in Java 8, and their highlight is the long-awaited support for lambda expressions in the Java language. You’ll learn to write lambda expressions and use them to create functional interfaces and default methods for evolving APIs…
- Edition
- -
- ISBN/ISSN
- 978-1-4302-5999-2
- Collation
- -
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography