Бібліотека БДМУ

Головна

Спрощенний режим

Опис

Бази даних

Доступ до повнотекстових книг Springer Nature (через IP-адреси БДМУ) - результати пошуку

Вид пошуку

К Н И Г И

Періодичні видання

Дисертації та автореферати

Фонд рідкісних видань

Електронна Навчальна література

Публікації засновників кафедр БДМУ

Нововведення у сфері охорони здоров'я

Календар пам'ятних дат

Доступ до повнотекстових книг Springer Nature (через IP-адреси БДМУ)

Зона пошуку

у знайденому

Формат представлення знайдених документів:
повний	інформаційний	короткий

Відсортувати знайдені документи за:
автором	назвою	роком видання	типом документа

Пошуковий запит: (<.>S=Architecture, Computer.<.>)

Загальна кiлькiсть документiв : 24
Показанi документи с 1 за 20

1-20 21-24

    System Level Design from HW/SW to Memory for Embedded Systems [[electronic resource] :] : 5th IFIP TC 10 International Embedded Systems Symposium, IESS 2015, Foz do Iguacu, Brazil, November 3–6, 2015, Proceedings / / ed. Gotz, Marcelo. [et al.]. - 1st ed. 2017. - [S. l. : s. n.]. - XII, 231 p. 92 illus. - Б. ц.
Рубрики: Special purpose computers.
   Computer hardware.
   Architecture, Computer.
   Software engineering.
   Special Purpose and Application-Based Systems.
   Computer Hardware.
   Computer System Implementation.
   Software Engineering/Programming and Operating Systems.
Анотація: This book constitutes the refereed proceedings of the 5th IFIP TC 10 International Embedded Systems Symposium, IESS 2015, held in Foz do Iguacu, Brazil, in November 2015. The 18 full revised papers presented were carefully reviewed and selected from 25 submissions. The papers present a broad discussion on the design, analysis and verification of embedded and cyber-physical systems including design methodologies, verification, performance analysis, and real-time systems design. They are organized in the following topical sections: cyber-physical systems, system-level design; multi/many-core system design; memory system design; and embedded HW/SW design and applications.

Перейти: https://doi.org/10.1007/978-3-319-90023-0

Дод.точки доступу:
Gotz, Marcelo. \ed.\; Schirner, Gunar. \ed.\; Wehrmeister, Marco Aurelio. \ed.\; Al Faruque, Mohammad Abdullah. \ed.\; Rettberg, Achim. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Знайти схожі

    Guide to Unconventional Computing for Music [[electronic resource] /] : монография / ed. Miranda, Eduardo Reck. - 1st ed. 2017. - [S. l. : s. n.]. - XI, 284 p. 150 illus., 72 illus. in color. - Б. ц.
    Зміст:
Introduction to Unconventional Computing --
On Unconventional Computing for Sound and Music --
On Biophysical Music --
The Transgressive Practices of Silicon Luthiers --
Experiments in Sound and Music Quantum Computing --
Memristor in a Nutshell --
Physarum Inspired Audio: From Oscillatory Sonification to Memristor Music --
An Approach to Building Musical Bioprocessors with Physarum polycephalum Memristors --
Towards a Musical Programming Language.
Рубрики: Application software.
   Music.
   Architecture, Computer.
   Computer Appl. in Arts and Humanities.
   Music.
   Computer System Implementation.
Анотація: This pioneering text/reference explores how innovative new modes of computation may provide exciting new directions for future developments in the music industry, guiding the reader through the latest research in this emerging, interdisciplinary field. This work includes coverage of electronic music compositions and performances that incorporate unconventional interfacing, hacking and circuit bending. Topics and features: Presents an introduction to the broader field of unconventional computing, and to the application of unconventional computing in music composition and performance Discusses initiatives involving biophysical electronic music, the work of self-styled silicon luthiers, and the intersection of music and quantum computing Introduces the memristor, a new electronic component with the potential to revolutionize how computers are built in the future Reviews experiments and practical applications of biological memristors in music Describes IMUSIC, an unconventional tone-based programming language, which enables the programming of computers using musical phrases Includes review questions at the end of each chapter This unique volume is recommended reading for students pursuing postgraduate studies in computer music and associated topics, and for undergraduate students in computing, engineering, and music seeking to understand the key issues in the field. Researchers in academia and the private sector will also find the work to be an invaluable source of information. Prof. Eduardo Reck Miranda is a composer and Professor in Computer Music at Plymouth University, UK, where he is Director of the Interdisciplinary Centre for Computer Music Research (ICCMR). His previous publications include the Springer titles Guide to Brain-Computer Music Interfacing and Guide to Computing for Expressive Music Performance.

Перейти: https://doi.org/10.1007/978-3-319-49881-2

Дод.точки доступу:
Miranda, Eduardo Reck. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Знайти схожі

    Parallel Computational Technologies [[electronic resource] :] : 11th International Conference, PCT 2017, Kazan, Russia, April 3–7, 2017, Revised Selected Papers / / ed.: Sokolinsky, Leonid., Zymbler, Mikhail. - 1st ed. 2017. - [S. l. : s. n.]. - XIII, 348 p. 126 illus. - Б. ц.
    Зміст:
High performance architectures, tools and technologies --
Parallel numerical algorithms --
Supercomputer simulation.
Рубрики: Architecture, Computer.
   Computer simulation.
   Numerical analysis.
   Computer hardware.
   Computer programming.
   Algorithms.
   Computer System Implementation.
   Simulation and Modeling.
   Numeric Computing.
   Computer Hardware.
   Programming Techniques.
   Algorithm Analysis and Problem Complexity.
Анотація: This book constitutes the refereed proceedings of the 11th International Conference on Parallel Computational Technologies, PCT 2017, held in Kazan, Russia, in April 2017. The 24 revised full papers presented were carefully reviewed and selected from 167 submissions. The papers are organized in topical sections on high performance architectures, tools and technologies; parallel numerical algorithms; supercomputer simulation.

Перейти: https://doi.org/10.1007/978-3-319-67035-5

Дод.точки доступу:
Sokolinsky, Leonid. \ed.\; Zymbler, Mikhail. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Знайти схожі

    Delicato, Flavia C.
    Resource Management for Internet of Things [[electronic resource] /] : монография / Flavia C. Delicato, Pires, Paulo F., Batista, Thais. ; . - 1st ed. 2017. - [S. l. : s. n.]. - VIII, 116 p. 6 illus., 4 illus. in color. - Б. ц.
    Зміст:
Introduction --
The Resource Management Challenge in IoT --
The Activity of Resource Modelling --
The Activities of Resource Discovery and Resource Estimation --
The Activity of Resource Allocation --
Concluding Remarks and Open Issues.
Рубрики: Application software.
   Architecture, Computer.
   Multimedia information systems.
   Information Systems Applications (incl. Internet).
   Computer System Implementation.
   Multimedia Information Systems.
Анотація: This book investigates the pressing issue of resource management for Internet of Things (IoT). The unique IoT ecosystem poses new challenges and calls for unique and bespoke solutions to deal with these challenges. Using a holistic approach, the authors present a thorough study into the allocation of the resources available within IoT systems to accommodate application requirements. This is done by investigating different functionalities and architectural approaches involved in a basic workflow for managing the lifecycle of resources in an IoT system. Resource Management for the Internet of Things will be of interest to researchers and students as well as professional developers interested in studying the IoT paradigm from data acquisition to the delivery of value-added services for the end user.

Перейти: https://doi.org/10.1007/978-3-319-54247-8

Дод.точки доступу:
Pires, Paulo F.; Batista, Thais.; Delicato, Flavia C. \.\; SpringerLink (Online service)
Свободных экз. нет
Знайти схожі

    Supercomputing [[electronic resource] :] : third Russian Supercomputing Days, RuSCDays 2017, Moscow, Russia, September 25–26, 2017, Revised Selected Papers / / ed.: Voevodin, Vladimir., Sobolev, Sergey. - 1st ed. 2017. - [S. l. : s. n.]. - XVI, 532 p. 232 illus. - Б. ц.
    Зміст:
Parallel algorithms --
Supercomputer simulation --
High performance architectures, tools and technologies.
Рубрики: Special purpose computers.
   Architecture, Computer.
   Computer science—Mathematics.
   Computer simulation.
   Computer hardware.
   Computer programming.
   Special Purpose and Application-Based Systems.
   Computer System Implementation.
   Mathematics of Computing.
   Simulation and Modeling.
   Computer Hardware.
   Programming Techniques.
Анотація: This book constitutes the refereed proceedings of the Third Russian Supercomputing Days, RuSCDays 2017, held in Moscow, Russia, in September 2017. The 41 revised full papers and one revised short paper presented were carefully reviewed and selected from 120 submissions. The papers are organized in topical sections on parallel algorithms; supercomputer simulation; high performance architectures, tools and technologies.

Перейти: https://doi.org/10.1007/978-3-319-71255-0

Дод.точки доступу:
Voevodin, Vladimir. \ed.\; Sobolev, Sergey. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Знайти схожі

    Dick, Jeremy.
    Requirements Engineering [[electronic resource] /] : монография / Jeremy. Dick, Hull, Elizabeth., Jackson, Ken. ; . - 4th ed. 2017. - [S. l. : s. n.]. - XX, 240 p. 161 illus., 25 illus. in color. - Б. ц.
    Зміст:
Introduction --
A Generic Process for Requirements Engineering --
System Modelling for Requirements Engineering --
Writing and Reviewing Requirements --
Requirements Engineering in the Problem Domain --
Requirements Engineering in the Solution Domain --
Advanced Traceability --
DOORS: A Tool to Manage Requirements --
Management Aspects of Requirements Engineering -- .
Рубрики: Software engineering.
   Computer system failures.
   Architecture, Computer.
   User interfaces (Computer systems).
   Software Engineering.
   System Performance and Evaluation.
   Computer System Implementation.
   User Interfaces and Human Computer Interaction.
Анотація: Updated with new developments, ideas and thinking, as well as new tool descriptions, the fourth edition of this popular book is driven by practical experience from industry. It provides invaluable information on how to write and structure requirements, whilst explaining the importance of Systems Engineering and the creation of effective solutions to problems. This edition contains an expanded discussion of “design agnosticism” as an important principle in Requirements Engineering, and new insights regarding the validation and verification process in the context of the Systems Engineering “V” model. Further new elements include a discussion of SysML in the chapter on modelling techniques, and the use of SysML diagrams to present the generic process. Readers will also discover the latest thinking on requirements flow-down and rich traceability and an update to the chapter on tools to present DOORS Next Generation. Requirements Engineering is written by practitioners for practitioners and students who want to develop their knowledge of the subject area. .

Перейти: https://doi.org/10.1007/978-3-319-61073-3

Дод.точки доступу:
Hull, Elizabeth.; Jackson, Ken.; Dick, Jeremy. \.\; SpringerLink (Online service)
Свободных экз. нет
Знайти схожі

    Innovative Security Solutions for Information Technology and Communications [[electronic resource] :] : 10th International Conference, SecITC 2017, Bucharest, Romania, June 8–9, 2017, Revised Selected Papers / / ed.: Farshim, Pooya., Simion, Emil. - 1st ed. 2017. - [S. l. : s. n.]. - XII, 201 p. 35 illus. - Б. ц.
    Зміст:
Faster Zero-Knowledge Protocols and Applications --
Stochastic Side-Channel Leakage Analysis via Orthonormal Decomposition --
Key-policy Attribute-based Encryption from Bilinear Maps --
Security of Pseudo-Random Number Generators with Input --
Securing the Foundations of Democracy --
Exploring Naccache-Stern Knapsack Encryption --
Proximity Assurances Based on Natural and Artificial Ambient Environments --
Challenges of Federating National Data Access Infrastructures --
Strongly Deniable Identification Schemes Immune to Prover's and Verifier's Ephemeral Leakage --
Evolution of the McEliece Public Key Encryption Scheme --
New Algorithm for Modeling S-box in MILP Based Differential and Division Trail Search --
Secretly Embedding Trapdoors into Contract Signing Protocols --
On A Key Exchange Protocol. .
Рубрики: Computer security.
   Data structures (Computer science).
   Computer communication systems.
   Architecture, Computer.
   Special purpose computers.
   Computer science—Mathematics.
   Systems and Data Security.
   Data Structures and Information Theory.
   Computer Communication Networks.
   Computer System Implementation.
   Special Purpose and Application-Based Systems.
   Mathematics of Computing.
Анотація: This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Security for Information Technology and Communications, SecITC 2017, held in Bucharest, Romania, in June 2017. The 6 revised full papers presented together with 7 invited talks were carefully reviewed and selected from 22 submissions. The papers present advances in the theory, design, implementation, analysis, verification, or evaluation of secure systems and algorithms.

Перейти: https://doi.org/10.1007/978-3-319-69284-5

Дод.точки доступу:
Farshim, Pooya. \ed.\; Simion, Emil. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Знайти схожі

    Constructive Side-Channel Analysis and Secure Design [[electronic resource] :] : 8th International Workshop, COSADE 2017, Paris, France, April 13-14, 2017, Revised Selected Papers / / ed. Guilley, Sylvain. - 1st ed. 2017. - [S. l. : s. n.]. - X, 299 p. 127 illus. - Б. ц.
    Зміст:
Does Coupling Affect the Security of Masked Implementations --
Scaling Trends for Dual-Rail Logic Styles against Side-Channel Attacks: A Case-Study --
Dissecting Leakage Resilient PRFs with Multivariate Localized EM Attacks - A Practical Security Evaluation on FPGA --
Toward More Effcient DPA-Resistant AES Hardware Architecture Based on Threshold Implementation --
Enhanced Elliptic Curve Scalar Multiplication Secure Against Side Channel Attacks and Safe Errors --
SafeDRP: Yet Another Way Toward Power-Equalized Designs in FPGA --
On the Construction of Side-Channel Attack Resilient S-boxes --
Efficient Conversion Method from Arithmetic to Boolean Masking in Constrained Devices --
Side-Channel Analysis of Keymill --
On the Easiness of Turning Higher-Order Leakages into First-Order --
Side-Channel Attacks against the Human Brain: The PIN Code Case Study --
Impacts of Technology Trends on Physical Attacks --
Low-cost Setup for Localized Semi-invasive Optical Fault Injection Attacks - How Low Can We Go --
DFA on LS-Designs with a Practical Implementation on SCREAM --
Multiple-Valued Debiasing for Physically Unclonable Functions and Its Application to Fuzzy Extractors --
Getting the Most out of Leakage Detection - Statistical Tools and Measurement Setups Hand in Hand --
Mind the Gap: Towards Secure 1st-Order Masking in Software.
Рубрики: Computer security.
   Data encryption (Computer science).
   Management information systems.
   Computer science.
   Architecture, Computer.
   Computer science—Mathematics.
   Microprogramming .
   Systems and Data Security.
   Cryptology.
   Management of Computing and Information Systems.
   Computer System Implementation.
   Discrete Mathematics in Computer Science.
   Control Structures and Microprogramming.
Анотація: This book constitutes revised selected papers from the 8th International Workshop on Constructive Side-Channel Analysis and Secure Design, COSADE 2017, held in Paris, France, in April 2017. The 17 papers presented in this volume were carefully reviewed and selected from numerous submissions. They were organized in topical sections named: Side-Channel Attacks and Technological Effects; Side-Channel Countermeasures; Algorithmic Aspects in Side-Channel Attacks; Side-Channel Attacks; Fault Attacks; Embedded Security; and Side-Channel Tools.

Перейти: https://doi.org/10.1007/978-3-319-64647-3

Дод.точки доступу:
Guilley, Sylvain. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Знайти схожі

    Modelling Foundations and Applications [[electronic resource] :] : 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings / / ed.: Anjorin, Anthony., Espinoza, Huascar. - 1st ed. 2017. - [S. l. : s. n.]. - XIV, 317 p. 131 illus. - Б. ц.
    Зміст:
Meta-modeling and language engineering --
Model evolution and maintenance --
Model-driven generative development --
Model consistency management --
Model verification and analysis --
Experience reports, case studies and new applications scenarios. .
Рубрики: Software engineering.
   Programming languages (Electronic computers).
   Computer programming.
   Computers.
   Computer system failures.
   Architecture, Computer.
   Software Engineering.
   Programming Languages, Compilers, Interpreters.
   Programming Techniques.
   The Computing Profession.
   System Performance and Evaluation.
   Computer System Implementation.
Анотація: This book constitutes the proceedings of the 13th European Conference on Modelling Foundations and Applications, ECMFA 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017. The 18 papers presented in this volume were carefully reviewed and selected from 48 submissions. The papers are organized in the following topical sections: meta-modeling and language engineering; model evolution and maintenance; model-driven generative development; model consistency management; model verification and analysis; and experience reports, case studies and new applications scenarios.

Перейти: https://doi.org/10.1007/978-3-319-61482-3

Дод.точки доступу:
Anjorin, Anthony. \ed.\; Espinoza, Huascar. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Знайти схожі

10.

    Stabilization, Safety, and Security of Distributed Systems [[electronic resource] :] : 19th International Symposium, SSS 2017, Boston, MA, USA, November 5–8, 2017, Proceedings / / ed.: Spirakis, Paul., Tsigas, Philippas. - 1st ed. 2017. - [S. l. : s. n.]. - XIII, 496 p. 82 illus. - Б. ц.
    Зміст:
Proof-Labeling Schemes: Broadcast, Unicast and in Between --
Self-Stabilizing Rendezvous of Synchronous Mobile Agents in Graphs --
The Dynamics and Stability of Probabilistic Population Processes --
Self-stabilizing Distributed Stable Marriage --
Computing the Fault-Containment Time of Self-Stabilizing Algorithms Using Markov Chains and Lumping --
Self-Tuning Eventually-Consistent Data Stores --
An Efficient Silent Self-Stabilizing 1-Maximal Matching Algorithm under Distributed Daemon for Arbitrary Networks --
An Improved Approximate Agreement Algorithm in the Presence of Mobile Byzantine Faults --
Fault-Induced Dynamics of Oblivious Robots on a Line --
Relaxed Data Types as Consistency Conditions --
Ant-Inspired Dynamic Task Allocation via Gossiping --
Self-stabilizing Localization of the Middle Point of a Line Segment by an Oblivious Robot with Limited visibility --
Robust Routing Made Easy --
Generalized Paxos Made Byzantine (and Less Complex) --
ASSESS: A Tool for Automated Synthesis of Distributed Self-Stabilizing Algorithms --
How to Simulate Message-passing Algorithms in mobile agent systems with faults --
A Self-Stabilizing General De Bruijn Graph --
Constant-Time Complete Visibility for Asynchronous Robots with Lights --
On Security Analysis of Proof-of-Elapsed-Time (PoET) --
Brief Announcement: Federated Code Auditing and Delivery for MPC --
Brief Announcement: Reduced Space Self-stabilizing Center Finding Algorithms in Chains and Trees --
A Fully Asynchronous and Fault Tolerant Distributed Algorithm to Compute a Minimum Graph Orientation --
Universally Optimal Gathering under Limited Visibility --
Optimum Algorithm for Mutual Visibility among Asynchronous Robots with Lights --
Brief Announcement: ZeroBlock: Timestamp-Free Prevention of Block-Withholding Attack in Bitcoin --
Scalable Funding of Bitcoin Micropayment Channel Networks --
Brief Announcement: A Self-stabilizing Algorithm for the Minimal Generalized Dominating Set Problem --
Space-Optimal Proportion Consensus with Population Protocols --
Brief Announcement: Asynchronous, Distributed Optical Mutual Exclusion --
Brief Announcement: Passive and Active Attacks on Audience Response Systems Using Software Defined Radios --
Cryptocurrency Smart Contracts for Distributed Consensus of Public Randomness --
TorBricks: Blocking-Resistant Tor Bridge Distribution --
Cover Time in Edge-Uniform Stochastically-Evolving Graphs --
Bitcoin a Distributed Shared Register --
Broadcast Encryption with Both Temporary and Permanent Revocation --
Brief Announcement: Optimal Asynchronous Rendezvous for Mobile Robots with Lights --
Brief Announcement: Space-efficient Uniform Deployment of Mobile Agents in Asynchronous Unidirectional Rings. .
Рубрики: Computer communication systems.
   Special purpose computers.
   Architecture, Computer.
   Artificial intelligence.
   Operating systems (Computers).
   Arithmetic and logic units, Computer.
   Computer Communication Networks.
   Special Purpose and Application-Based Systems.
   Computer System Implementation.
   Artificial Intelligence.
   Operating Systems.
   Arithmetic and Logic Structures.
Анотація: This book constitutes the refereed proceedings of the 19th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2017, held in Boston, MA, USA, in November 2017. The 29 revised full papers presented together with 8 revised short papers were carefully reviewed and selected from 68 initial submissions. This year the Symposium was organized into three tracks reflecting major trends related to self-* systems: Stabilizing Systems: Theory and Practice: Distributed Computing and Communication Networks; and Computer Security and Information Privacy.

Перейти: https://doi.org/10.1007/978-3-319-69084-1

Дод.точки доступу:
Spirakis, Paul. \ed.\; Tsigas, Philippas. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Знайти схожі

11.

    Theory and Practice of Model Transformation [[electronic resource] :] : 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings / / ed.: Guerra, Esther., van den Brand, Mark. - 1st ed. 2017. - [S. l. : s. n.]. - XIV, 183 p. 73 illus. - Б. ц.
Рубрики: Software engineering.
   Operating systems (Computers).
   Logic design.
   Management information systems.
   Computer science.
   Architecture, Computer.
   Programming languages (Electronic computers).
   Software Engineering.
   Operating Systems.
   Logic Design.
   Management of Computing and Information Systems.
   Computer System Implementation.
   Programming Languages, Compilers, Interpreters.
Анотація: This book constitutes the refereed proceedings of the 10th International Conference on Model Transformation, ICMT 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017. The 9 full papers and 2 short papers were carefully reviewed and selected from 31 submissions. The papers are organized in the following topical sections: transformation paradigms, languages, algorithms and strategies; development of transformations; and applications and case studies.

Перейти: https://doi.org/10.1007/978-3-319-61473-1

Дод.точки доступу:
Guerra, Esther. \ed.\; van den Brand, Mark. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Знайти схожі

12.

    High Performance Computing [[electronic resource] :] : ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P / ed. Kunkel, Julian M. [et al.]. - 1st ed. 2017. - [S. l. : s. n.]. - XX, 743 p. 266 illus. - Б. ц.
    Зміст:
Workshop on Virtualization in High-Performance Cloud Computing (VHPC) --
Visualization at Scale: Deployment Case Studies and Experience Reports --
International Workshop on Performance Portable Programming Models for Accelerators (P
Рубрики: Input-output equipment (Computers).
   Architecture, Computer.
   Operating systems (Computers).
   Computer programming.
   Programming languages (Electronic computers).
   Logic design.
   Input/Output and Data Communications.
   Computer System Implementation.
   Operating Systems.
   Programming Techniques.
   Programming Languages, Compilers, Interpreters.
   Logic Design.
Анотація: This book constitutes revised selected papers from 10 workshops that were held as the ISC High Performance 2017 conference in Frankfurt, Germany, in June 2017. The 59 papers presented in this volume were carefully reviewed and selected for inclusion in this book. They stem from the following workshops: Workshop on Virtualization in High-Performance Cloud Computing (VHPC) Visualization at Scale: Deployment Case Studies and Experience Reports International Workshop on Performance Portable Programming Models for Accelerators (P

Перейти: https://doi.org/10.1007/978-3-319-67630-2

Дод.точки доступу:
Kunkel, Julian M. \ed.\; Yokota, Rio. \ed.\; Taufer, Michela. \ed.\; Shalf, John. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Знайти схожі

13.

    Languages and Compilers for Parallel Computing [[electronic resource] :] : 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers / / ed.: Ding, Chen., Criswell, John., Wu, Peng. - 1st ed. 2017. - [S. l. : s. n.]. - XI, 348 p. 137 illus. - Б. ц.
    Зміст:
Large Scale Parallelism --
Resilience and Persistence --
Compiler Analysis and Optimization --
Dynamic Computation and Languages --
GPUs and Private Memory --
Runt-time and Performance Analysis.
Рубрики: Programming languages (Electronic computers).
   Architecture, Computer.
   Computer programming.
   Software engineering.
   Operating systems (Computers).
   Microprocessors.
   Programming Languages, Compilers, Interpreters.
   Computer System Implementation.
   Programming Techniques.
   Software Engineering.
   Operating Systems.
   Processor Architectures.
Анотація: This book constitutes the thoroughly refereed post-conference proceedings of the 29th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2016, held in Rochester, NY, USA, in September 2016. The 20 revised full papers presented together with 4 short papers were carefully reviewed. The papers are organized in topical sections on large scale parallelism, resilience and persistence, compiler analysis and optimization, dynamic computation and languages, GPUs and private memory, and runt-time and performance analysis.

Перейти: https://doi.org/10.1007/978-3-319-52709-3

Дод.точки доступу:
Ding, Chen. \ed.\; Criswell, John. \ed.\; Wu, Peng. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Знайти схожі

14.

    Cryptographic Hardware and Embedded Systems – CHES 2017 [[electronic resource] :] : 19th International Conference, Taipei, Taiwan, September 25-28, 2017, Proceedings / / ed.: Fischer, Wieland., Homma, Naofumi. - 1st ed. 2017. - [S. l. : s. n.]. - XIV, 710 p. 210 illus. - Б. ц.
Рубрики: Computer communication systems.
   Software engineering.
   Data encryption (Computer science).
   Computer hardware.
   Architecture, Computer.
   Special purpose computers.
   Computer Communication Networks.
   Software Engineering/Programming and Operating Systems.
   Cryptology.
   Computer Hardware.
   Computer System Implementation.
   Special Purpose and Application-Based Systems.
Анотація: This book constitutes the proceedings of the 19th International Conference on Cryptographic Hardware and Embedded Systems, CHES 2017, held in Taipei, Taiwan, in September 2017. The 33 full papers presented in this volume were carefully reviewed and selected from 130 submissions. The annual CHES conference highlights new results in the design and analysis of cryptographic hardware and soft- ware implementations. The workshop builds a valuable bridge between the research and cryptographic engineering communities and attracts participants from industry, academia, and government organizations.

Перейти: https://doi.org/10.1007/978-3-319-66787-4

Дод.точки доступу:
Fischer, Wieland. \ed.\; Homma, Naofumi. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Знайти схожі

15.

    Architecture of Computing Systems - ARCS 2017 [[electronic resource] :] : 30th International Conference, Vienna, Austria, April 3–6, 2017, Proceedings / / ed. Knoop, Jens. [et al.]. - 1st ed. 2017. - [S. l. : s. n.]. - XIII, 262 p. 100 illus. - Б. ц.
    Зміст:
Resilience --
Accelerators --
Performance --
Memory systems --
Parallelism and many-core --
Scheduling --
Power/energy.
Рубрики: Computer communication systems.
   Architecture, Computer.
   Algorithms.
   Software engineering.
   Application software.
   Computers.
   Computer Communication Networks.
   Computer System Implementation.
   Algorithm Analysis and Problem Complexity.
   Software Engineering.
   Information Systems Applications (incl. Internet).
   Computation by Abstract Devices.
Анотація: This book constitutes the proceedings of the 30th International Conference on Architecture of Computing Systems, ARCS 2017, held in Vienna, Austria, in April 2017. The 19 full papers presented in this volume were carefully reviewed and selected from 42 submissions. They were organized in topical sections entitled: resilience; accelerators; performance; memory systems; parallelism and many-core; scheduling; power/energy.

Перейти: https://doi.org/10.1007/978-3-319-54999-6

Дод.точки доступу:
Knoop, Jens. \ed.\; Karl, Wolfgang. \ed.\; Schulz, Martin. \ed.\; Inoue, Koji. \ed.\; Pionteck, Thilo. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Знайти схожі

16.

    Industrial Applications of Holonic and Multi-Agent Systems [[electronic resource] :] : 8th International Conference, HoloMAS 2017, Lyon, France, August 28–30, 2017, Proceedings / / ed. Marik, Vladimir. [et al.]. - 1st ed. 2017. - [S. l. : s. n.]. - XI, 270 p. 97 illus. - Б. ц.
    Зміст:
Scheduling --
Knowledge engineering --
Modeling, simulation and reconfiguration --
Energy systems --
MAS in various areas.
Рубрики: Artificial intelligence.
   Software engineering.
   Computer communication systems.
   Special purpose computers.
   Architecture, Computer.
   Microprogramming .
   Artificial Intelligence.
   Software Engineering/Programming and Operating Systems.
   Computer Communication Networks.
   Special Purpose and Application-Based Systems.
   Computer System Implementation.
   Control Structures and Microprogramming.
Анотація: This book constitutes the refereed proceedings of the 8th International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2017, held in Lyon, France, in August 2017. The 19 revised full papers presented were carefully reviewed and selected from 27 submissions. The papers are organized in the following topical sections: scheduling; knowledge engineering; modeling, simulation and reconfiguration; energy systems;and MAS in various areas.

Перейти: https://doi.org/10.1007/978-3-319-64635-0

Дод.точки доступу:
Marik, Vladimir. \ed.\; Wahlster, Wolfgang. \ed.\; Strasser, Thomas. \ed.\; Kadera, Petr. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Знайти схожі

17.

    Applications of Evolutionary Computation [[electronic resource] :] : 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part II / / ed.: Squillero, Giovanni., Sim, Kevin. - 1st ed. 2017. - [S. l. : s. n.]. - XXIV, 243 p. 57 illus. - Б. ц.
    Зміст:
EvoSET: Hybrid Algorithms Based on Integer Programming for the Search of Prioritized Test Data in Software Product Lines --
On the Use of Smelly Examples to Detect Code Smells in JavaScript --
Deep Parameter Tuning of Concurrent Divide and Conquer Algorithms in Akka --
Focusing Learning-based Testing away from Known Weaknesses --
Polytypic Genetic Programming --
Evolving Rules for Action Selection in Automated Testing via Genetic Programming – A First Approach --
EvoSTOC: A New Multi-swarm Particle Swarm Optimization for Robust Optimization over Time --
The Static and Stochastic VRP with Time Windows and Both Random Customers and Reveal Times --
Pre-Scheduled Colony Size Variation in Dynamic Environments --
An Online Packing Heuristic for the Three-dimensional Container Loading Problem in Dynamic Environments and the Physical Internet --
Advancing Dynamic Evolutionary Optimization Using In-Memory Database Technology --
Road Traffic Rules Synthesis Using Grammatical Evolution --
Solving Dynamic Graph Coloring Problem Using Dynamic Pool Based Evolutionary Algorithm --
General: Meta-Heuristics for Improved RF Emitter Localization --
Automated Design of Genetic Programming Classification Algorithms Using a Genetic Algorithm.
Рубрики: Algorithms.
   Artificial intelligence.
   Special purpose computers.
   Architecture, Computer.
   Microprocessors.
   Logic design.
   Algorithm Analysis and Problem Complexity.
   Artificial Intelligence.
   Special Purpose and Application-Based Systems.
   Computer System Implementation.
   Processor Architectures.
   Logic Design.
Анотація: The two volumes LNCS 10199 and 10200 constitute the refereed conference proceedings of the 20th European Conference on the Applications of Evolutionary Computation, EvoApplications 2017, held in Amsterdam, The Netherlands, in April 2017, colocated with the Evo* 2016 events EuroGP, EvoCOP, and EvoMUSART. The 46 revised full papers presented together with 26 poster papers were carefully reviewed and selected from 108 submissions. EvoApplications 2016 consisted of the following 13 tracks: EvoBAFIN (natural computing methods in business analytics and finance), EvoBIO (evolutionary computation, machine learning and data mining in computational biology), EvoCOMNET (nature-inspired techniques for telecommunication networks and other parallel and distributed systems), EvoCOMPLEX (evolutionary algorithms and complex systems), EvoENERGY (evolutionary computation in energy applications), EvoGAMES (bio-inspired algorithms in games), EvoIASP (evolutionary computation in image analysis, signal processing, and pattern recognition), EvoINDUSTRY (nature-inspired techniques in industrial settings), EvoKNOW (knowledge incorporation in evolutionary computation), EvoNUM (bio-inspired algorithms for continuous parameter optimization), EvoPAR (parallel implementation of evolutionary algorithms), EvoROBOT (evolutionary robotics), EvoSET (nature-inspired algorithms in software engineering and testing), and EvoSTOC (evolutionary algorithms in stochastic and dynamic environments). .

Перейти: https://doi.org/10.1007/978-3-319-55792-2

Дод.точки доступу:
Squillero, Giovanni. \ed.\; Sim, Kevin. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Знайти схожі

18.

    Selected Areas in Cryptography – SAC 2016 [[electronic resource] :] : 23rd International Conference, St. John's, NL, Canada, August 10-12, 2016, Revised Selected Papers / / ed.: Avanzi, Roberto., Heys, Howard. - 1st ed. 2017. - [S. l. : s. n.]. - XIII, 580 p. 90 illus. - Б. ц.
Рубрики: Data encryption (Computer science).
   Computer security.
   Microprogramming .
   Architecture, Computer.
   Special purpose computers.
   Numerical analysis.
   Cryptology.
   Systems and Data Security.
   Control Structures and Microprogramming.
   Computer System Implementation.
   Special Purpose and Application-Based Systems.
   Numeric Computing.
Анотація: This book contains revised selected papers from the 23rd International Conference on Selected Areas in Cryptography, SAC 2016, held in St. John's, NL, Canada in August 2016. The 28 full papers and 2 invited papers presented in this volume were carefully reviewed and selected from 100 submissions. They are organized in the following topical sections: side channels and fault attacks; design and implementation of symmetric cryptography; efficient symmetric primitives; cryptanalysis of symmetric primitives; MACs and PRNGs; lattice-based cryptography; and cryptanalysis of asymmetric primitives.

Перейти: https://doi.org/10.1007/978-3-319-69453-5

Дод.точки доступу:
Avanzi, Roberto. \ed.\; Heys, Howard. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Знайти схожі

19.

    Scaling OpenMP for Exascale Performance and Portability [[electronic resource] :] : 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20–22, 2017, Proceedings / / ed. de Supinski, Bronis R. [et al.]. - 1st ed. 2017. - [S. l. : s. n.]. - XI, 350 p. 116 illus. - Б. ц.
    Зміст:
Advanced Implementations and Extensions --
OpenMP Application Studies --
Analyzing and Extending Tasking --
OpenMP 4 Application Evaluation --
Extended Parallelism Models: Performance Analysis and Tools --
Advanced Data Management with OpenMP.
Рубрики: Microprocessors.
   Programming languages (Electronic computers).
   Special purpose computers.
   Logic design.
   Architecture, Computer.
   Computer programming.
   Processor Architectures.
   Programming Languages, Compilers, Interpreters.
   Special Purpose and Application-Based Systems.
   Logic Design.
   Computer System Implementation.
   Programming Techniques.
Анотація: This book constitutes the proceedings of the 13th International Workshop on OpenMP, IWOMP 2017, held in Stony Brook, NY, USA, in September 2017. The 23 full papers presented in this volume were carefully reviewed and selected from 28 submissions. They were organized in topical sections named: Advanced Implementations and Extensions; OpenMP Application Studies; Analyzing and Extending Tasking; OpenMP 4 Application Evaluation; Extended Parallelism Models: Performance Analysis and Tools; and Advanced Data Management with OpenMP.

Перейти: https://doi.org/10.1007/978-3-319-65578-9

Дод.точки доступу:
de Supinski, Bronis R. \ed.\; Olivier, Stephen L. \ed.\; Terboven, Christian. \ed.\; Chapman, Barbara M. \ed.\; Muller, Matthias S. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Знайти схожі

20.

    Critical Information Infrastructures Security [[electronic resource] :] : 11th International Conference, CRITIS 2016, Paris, France, October 10–12, 2016, Revised Selected Papers / / ed. Havarneanu, Grigore. [et al.]. - 1st ed. 2017. - [S. l. : s. n.]. - XI, 348 p. 103 illus. - Б. ц.
Рубрики: Computer security.
   Computer communication systems.
   Architecture, Computer.
   Computers and civilization.
   Computers.
   Law and legislation.
   Microprogramming .
   Systems and Data Security.
   Computer Communication Networks.
   Computer System Implementation.
   Computers and Society.
   Legal Aspects of Computing.
   Control Structures and Microprogramming.
Анотація: This book constitutes the post-conference proceedings of the 11th International Conference on Critical Information Infrastructures Security, CRITIS 2016, held in Paris, France, in October 2016. The 22 full papers and 8 short papers presented were carefully reviewed and selected from 58 submissions. They present the most recent innovations, trends, results, experiences and concerns in selected perspectives of critical information infrastructure protection covering the range from small-scale cyber-physical systems security via information infrastructures and their interaction with national and international infrastructures.

Перейти: https://doi.org/10.1007/978-3-319-71368-7

Дод.точки доступу:
Havarneanu, Grigore. \ed.\; Setola, Roberto. \ed.\; Nassopoulos, Hypatia. \ed.\; Wolthusen, Stephen. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Знайти схожі

1-20 21-24

© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)