Further improvements in the Boolean domain /
The amount of digital systems supporting our daily life is increasing continuously. Improved technical facilities for their production have led to growing challenges for engineers and scientists working in the Boolean domain. A Boolean variable can only carry two different Boolean values: FALSE or T...
Saved in:
| Other Authors: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Newcastle upon Tyne, UK :
Cambridge Scholars Publishing,
2018.
|
| Subjects: | |
| Online Access: | CONNECT |
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | in00006410122 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 190129s2018 enka ob 101 0 eng d | ||
| 005 | 20240625151050.5 | ||
| 015 | |a GBB928329 |2 bnb | ||
| 016 | 7 | |a 019233031 |2 Uk | |
| 020 | |a 9781527526389 |q (electronic bk.) | ||
| 020 | |a 1527526380 |q (electronic bk.) | ||
| 020 | |z 9781527503717 | ||
| 020 | |z 1527503712 | ||
| 035 | |a 1WRLDSHRon1083545199 | ||
| 035 | |a (OCoLC)1083545199 | ||
| 037 | |a 9781527526389 |b Cambridge Scholars Publishing | ||
| 040 | |a N$T |b eng |e rda |e pn |c N$T |d YDX |d EBLCP |d UKMGB |d UKAHL |d OCLCQ |d ELBRO |d OCLCQ |d NLW |d OCLCO |d OCLCQ |d OCLCO | ||
| 049 | |a TXMM | ||
| 050 | 4 | |a QA10.3 |b .F87 2018eb | |
| 082 | 0 | 4 | |a 511.3/24 |2 23 |
| 245 | 0 | 0 | |a Further improvements in the Boolean domain / |c edited by Bernd Steinbach. |
| 264 | 1 | |a Newcastle upon Tyne, UK : |b Cambridge Scholars Publishing, |c 2018. | |
| 264 | 4 | |c ©2018 | |
| 300 | |a 1 online resource (xli, 494 pages) | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 500 | |a "This is the third book of a series that summarizes the best scientific results of contributions to the International Workshop on Boolean Problems (IWSBP)"--Acknowledgments | ||
| 504 | |a Includes bibliographical references and indexes. | ||
| 588 | 0 | |a Print version record. | |
| 505 | 0 | |a Intro; Contents; List of Figures; List of Tables; Foreword; Preface; Acknowledgments; List of Abbreviations; I Extensions in Theory and Computations; 1 Models, Methods, and Techniques; 1.1. NP-Problems and Boolean Equations; 1.1.1. Classes of Hard Problems; 1.1.2. Boolean Functions and Equations; 1.1.3. Boolean Equations and Ternary Vectors; 1.1.4. NP-Complete Problems; 1.1.5. Boolean Equations -- a Unifying Instrument; 1.2. Analysis of the Number of Variables to Represent Index Generation Functions; 1.2.1. Background; 1.2.2. An Index Generation Unit; 1.2.3. Notation | |
| 505 | 8 | |a 1.2.4. Expected Number of Variables in the Minimal Distinguishing Set1.2.5. Distribution of the Expected Number of Distinguishing Columns; 1.2.6. Expected Number of Balanced Columns in Random Binary Matrices; 1.2.7. Found Results; 1.3. Computational Complexity of Error Metrics in Approximate Computing; 1.3.1. Approximate Computing; 1.3.2. Preliminaries; 1.3.3. Error Metrics; 1.3.4. Complexity of Computing Error Metrics; 1.4. Spectral Techniques -- Origins and Applications; 1.4.1. Origins and Evolution of Spectral Techniques; 1.4.2. Digital System Design; 1.4.3. Signal processing | |
| 505 | 8 | |a 1.4.4. Towards FFT1.4.5. Towards Alternative Spectral Techniques; 1.4.6. Applications of Spectral Techniques; 1.5. A Relational Approach to Finite Topologies; 1.5.1. Experimentation as Motivation; 1.5.2. Relation Algebra; 1.5.3. Modeling Sets and Finite Topologies; 1.5.4. Closures, Interiors and Boundaries; 1.5.5. Topological Relations and Random Topologies; 1.5.6. Implementation and Related Work; 1.6. A Real-World Model of Partially Defined Logic; 1.6.1. Real-World Asynchronous Feedback; 1.6.2. Related Topics; 1.6.3. Use Case: Low-Active RS-Latch | |
| 505 | 8 | |a 1.6.4. Functionally Stabilized Dual-Rail Implementation1.6.5. Results; 2. Accelerated Computations; 2.1. Bent Function Enumeration by a Circular Pipeline Implemented on an FPGA; 2.1.1. Background; 2.1.2. Properties of Bent Functions; 2.1.3. Architecture for Bent Function Discovery; 2.1.4. Circular Pipeline Architecture; 2.1.5. Circuit of the Circular Pipeline; 2.1.6. Experimental Results; 2.1.7. Analytical Results; 2.1.8. Practical Aspects; 2.2. Efficient Random Generation of Bent Functions Using a GPU Platform; 2.2.1. Discovery of Bent Functions | |
| 505 | 8 | |a 2.2.2. Bent Functions in Reed-Muller and Walsh Domains2.2.3. Random Generation of Bent Functions in the Reed-Muller Domain; 2.2.4. Implementation of Random Generation of Bent Functions on a GPU Platform; 2.2.5. Comparison of Random Generation of Bent Functions on CPU and GPU Platforms; 2.3. Multi-GPU Approximation for Silent Data Corruption of AN Codes; 2.3.1. Error Detection and Correction; 2.3.2. Computing Distance Distribution of AN Codes; 2.3.3. Results; 2.3.4. Summary; 2.4. Orthogonalization of a TVL in Disjunctive or Conjunctive Form; 2.4.1. Orthogonality | |
| 520 | |a The amount of digital systems supporting our daily life is increasing continuously. Improved technical facilities for their production have led to growing challenges for engineers and scientists working in the Boolean domain. A Boolean variable can only carry two different Boolean values: FALSE or TRUE (0 or 1), and has the best interference resistance in technical systems. However, a Boolean function exponentially depends on the number of its variables. This exponential complexity is the reason for major problems in the process of design and realization of circuits. According to Moore's Law, | ||
| 500 | |a EBSCO eBook Academic Comprehensive Collection North America |5 TMurS | ||
| 650 | 0 | |a Algebra, Boolean |v Congresses. | |
| 650 | 0 | |a Digital electronics |x Design and construction |v Congresses. | |
| 655 | 7 | |a Conference papers and proceedings |2 fast | |
| 700 | 1 | |a Steinbach, Bernd, |e editor. | |
| 730 | 0 | |a WORLDSHARE SUB RECORDS | |
| 776 | 0 | 8 | |i Print version: |t Further improvements in the Boolean domain. |d Newcastle upon Tyne, UK : Cambridge Scholars Publishing, 2018 |z 9781527503717 |w (OCoLC)1007927810 |
| 856 | 4 | 0 | |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=2012260&authtype=ip,sso&custid=s4672406 |z CONNECT |3 eBooks on EBSCOhost |t 0 |
| 949 | |a ho0 | ||
| 994 | |a 92 |b TXM | ||
| 998 | |a wi |d z | ||
| 999 | f | f | |s 7d2147f8-4487-4ab2-a4ea-b3517d192583 |i 35b09dc4-2a64-4b00-b927-1b1151f5ee91 |t 0 |
| 952 | f | f | |a Middle Tennessee State University |b Main |c James E. Walker Library |d Electronic Resources |t 0 |e QA10.3 .F87 2018eb |h Library of Congress classification |
