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

Головна

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

Опис

Бази даних

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

Вид пошуку

К Н И Г И

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

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

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

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

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

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

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

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

Зона пошуку

у знайденому

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

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

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

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

1-20 21-29

    Big Data Management [[electronic resource] /] : монография / ed.: Garcia Marquez, Fausto Pedro., Lev, Benjamin. - 1st ed. 2017. - [S. l. : s. n.]. - XVI, 267 p. 107 illus., 38 illus. in color. - Б. ц.
    Зміст:
Introduction --
The Big Data Business Opportunity --
The Business Transformation by Big Data --
Data Integration and Management Science --
Novel Approaches for Big Data Analytics --
Case Studies: Engineering; Financial; Economic; Business; Project Management --
Signal Processing.
Рубрики: Management information systems.
   Engineering economics.
   Engineering economy.
   Operating systems (Computers).
   Operations research.
   Decision making.
   Management.
   Industrial management.
   Business Information Systems.
   Engineering Economics, Organization, Logistics, Marketing.
   Operating Systems.
   Operations Research/Decision Theory.
   Innovation/Technology Management.
Анотація: This book focuses on the analytic principles of business practice and big data. Specifically, it provides an interface between the main disciplines of engineering/technology and the organizational and administrative aspects of management, serving as a complement to books in other disciplines such as economics, finance, marketing and risk analysis. The contributors present their areas of expertise, together with essential case studies that illustrate the successful application of engineering management theories in real-life examples.

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

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

    Liao, Huchang.
    Hesitant Fuzzy Decision Making Methodologies and Applications [[electronic resource] /] : монография / Huchang. Liao, Xu, Zeshui. ; . - 1st ed. 2017. - [S. l. : s. n.]. - XIII, 275 p. 19 illus., 8 illus. in color. - Б. ц.
    Зміст:
Preface --
1 Hesitant Fuzzy Set and Its Extensions --
2 Novel Correlation and Entropy Measures for Hesitant Fuzzy Set --
3 Multiple Criteria Decision Making with Hesitant Fuzzy Hybrid Weighted Aggregation Operators --
4 Hesitant Fuzzy Multiple Criteria Decision Making with Complete Weight Information --
5 Hesitant Fuzzy Multiple Criteria Decision Making with Incomplete Weights --
6 Decision Making with Hesitant Fuzzy Preference Relation.
Рубрики: Operations research.
   Decision making.
   Computational intelligence.
   Operating systems (Computers).
   Operations Research/Decision Theory.
   Computational Intelligence.
   Operating Systems.
Анотація: This book offers a comprehensive and systematic introduction to the latest research on hesitant fuzzy decision-making theory. It includes six parts: the hesitant fuzzy set and its extensions, novel hesitant fuzzy measures, hesitant fuzzy hybrid weighted aggregation operators, hesitant fuzzy multiple-criteria decision-making with incomplete weights, hesitant fuzzy multiple criteria decision-making with complete weights information, and the hesitant fuzzy preference relation based decision-making theory. These methodologies are implemented in various fields such as decision-making, medical diagnosis, cluster analysis, service quality management, e-learning management and environmental management. A valuable resource for engineers, technicians, and researchers in the fields of fuzzy mathematics, operations research, information science, management science and engineering, it can also be used as a textbook for postgraduate and senior undergraduate students.

Перейти: https://doi.org/10.1007/978-981-10-3265-3

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

    Milutinovic, Veljko.
    DataFlow Supercomputing Essentials [[electronic resource] :] : research, Development and Education / / Veljko. Milutinovic, Salom, Jakob. [et al.] ; . - 1st ed. 2017. - [S. l. : s. n.]. - XI, 150 p. 71 illus., 63 illus. in color. - Б. ц.
    Зміст:
Part I Research --
Maxeler AppGallery Revisited --
Discrepancy Reduction Between the Topology of DataFlow Graph and the Topology of FPGA Structure --
Part II Development --
Polynomial and Rational Functions --
Transforming Applications from the Control Flow to the DataFlow Paradigm --
Part III Education --
Mini Tutorial.
Рубрики: Operating systems (Computers).
   Computer system failures.
   Computer engineering.
   Big data.
   Operating Systems.
   System Performance and Evaluation.
   Computer Engineering.
   Big Data.
Анотація: This informative text/reference highlights the potential of DataFlow computing in research requiring high speeds, low power requirements, and high precision, while also benefiting from a reduction in the size of the equipment. The cutting-edge research and implementation case studies provided in this book will help the reader to develop their practical understanding of the advantages and unique features of this methodology. This work serves as a companion title to DataFlow Supercomputing Essentials: Algorithms, Applications and Implementations, which reviews the key algorithms in this area, and provides useful examples. Topics and features: Reviews the library of tools, applications, and source code available to support DataFlow programming Discusses the enhancements to DataFlow computing yielded by small hardware changes, different compilation techniques, debugging, and optimizing tools Examines when a DataFlow architecture is best applied, and for which types of calculation Describes how converting applications to a DataFlow representation can result in an acceleration in performance, while reducing the power consumption Explains how to implement a DataFlow application on Maxeler hardware architecture, with links to a video tutorial series available online This enlightening volume will be of great interest to all researchers investigating supercomputing in general, and DataFlow computing in particular. Advanced undergraduate and graduate students involved in courses on Data Mining, Microprocessor Systems, and VLSI Systems, will also find the book to be a helpful reference.

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

Дод.точки доступу:
Salom, Jakob.; Veljovic, Dragan.; Korolija, Nenad.; Markovic, Dejan.; Petrovic, Luka.; Milutinovic, Veljko. \.\; SpringerLink (Online service)
Свободных экз. нет
Знайти схожі

    Milutinovic, Veljko.
    DataFlow Supercomputing Essentials [[electronic resource] :] : algorithms, Applications and Implementations / / Veljko. Milutinovic, Kotlar, Milos. [et al.] ; . - 1st ed. 2017. - [S. l. : s. n.]. - XI, 150 p. 52 illus., 50 illus. in color. - Б. ц.
    Зміст:
Part I: Algorithms --
Implementing Neural Networks by Using the DataFlow Paradigm --
Part II: Applications --
Solving the Poisson Equation by Using Dataflow Technology --
Binary Search in the DataFlow Paradigm --
Part III: Implementations --
Introductory Overview on Implementation Tools --
DataFlow Systems: From Their Origins to Future Applications in Data Analytics, Deep Learning, and the Internet of Things.
Рубрики: Operating systems (Computers).
   Computer system failures.
   Computer engineering.
   Big data.
   Operating Systems.
   System Performance and Evaluation.
   Computer Engineering.
   Big Data.
Анотація: This illuminating text/reference reviews the fundamentals of programming for effective DataFlow computing. The DataFlow paradigm enables considerable increases in speed and reductions in power consumption for supercomputing processes, yet the programming model requires a distinctly different approach. The algorithms and examples showcased in this book will help the reader to develop their understanding of the advantages and unique features of this methodology. This work serves as a companion title to DataFlow Supercomputing Essentials: Research, Development and Education, which analyzes the latest research in this area, and the training resources available. Topics and features: Presents an implementation of Neural Networks using the DataFlow paradigm, as an alternative to the traditional ControlFlow approach Discusses a solution to the three-dimensional Poisson equation, using the Fourier method and DataFlow technology Examines how the performance of the Binary Search algorithm can be improved through implementation on a DataFlow architecture Reviews the different way of thinking required to best configure the DataFlow engines for the processing of data in space flowing through the devices Highlights how the DataFlow approach can efficiently support applications in big data analytics, deep learning, and the Internet of Things This indispensable volume will benefit all researchers interested in supercomputing in general, and DataFlow computing in particular. Advanced undergraduate and graduate students involved in courses on Data Mining, Microprocessor Systems, and VLSI Systems, will also find the book to be an invaluable resource.

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

Дод.точки доступу:
Kotlar, Milos.; Stojanovic, Marko.; Dundic, Igor.; Trifunovic, Nemanja.; Babovic, Zoran.; Milutinovic, Veljko. \.\; SpringerLink (Online service)
Свободных экз. нет
Знайти схожі

    Chen, Quan.
    Task Scheduling for Multi-core and Parallel Architectures [[electronic resource] :] : challenges, Solutions and Perspectives / / Quan. Chen, Guo, Minyi. ; . - 1st ed. 2017. - [S. l. : s. n.]. - XVIII, 243 p. 107 illus., 73 illus. in color. - Б. ц.
    Зміст:
Chapter 1 Introduction --
Chapter 2 Conventional Task Scheduling --
Chapter 3 Task Scheduling for Multi-socket Architecture --
Chapter 4 Task Scheduling for NUMA-enabled Architecture --
Chapter 5 Task Scheduling for Asymmetric Multi-core Architecture --
Chapter 6 Task Scheduling for Heterogeneous Parallel Architecture --
Chapter 7 Task Scheduling for Datacenter --
Chapter 8 Task Scheduling for Distributed System --
Chapter 9 Summary and Perspectives.
Рубрики: Microprocessors.
   Operating systems (Computers).
   Computer hardware.
   Computer science—Mathematics.
   Processor Architectures.
   Operating Systems.
   Computer Hardware.
   Mathematics of Computing.
Анотація: This book presents task-scheduling techniques for emerging complex parallel architectures including heterogeneous multi-core architectures, warehouse-scale datacenters, and distributed big data processing systems. The demand for high computational capacity has led to the growing popularity of multicore processors, which have become the mainstream in both the research and real-world settings. Yet to date, there is no book exploring the current task-scheduling techniques for the emerging complex parallel architectures. Addressing this gap, the book discusses state-of-the-art task-scheduling techniques that are optimized for different architectures, and which can be directly applied in real parallel systems. Further, the book provides an overview of the latest advances in task-scheduling policies in parallel architectures, and will help readers understand and overcome current and emerging issues in this field.

Перейти: https://doi.org/10.1007/978-981-10-6238-4

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

    Reliable Software Technologies – Ada-Europe 2017 [[electronic resource] :] : 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings / / ed.: Blieberger, Johann., Bader, Markus. - 1st ed. 2017. - [S. l. : s. n.]. - XIV, 251 p. 61 illus. - Б. ц.
    Зміст:
Runtimes --
Safety and security --
Timing verification --
Programming models --
The future of safety-minded languages --
Mixed criticality.
Рубрики: Programming languages (Electronic computers).
   Software engineering.
   Special purpose computers.
   Computer logic.
   Operating systems (Computers).
   Programming Languages, Compilers, Interpreters.
   Software Engineering.
   Special Purpose and Application-Based Systems.
   Logics and Meanings of Programs.
   Operating Systems.
Анотація: This book constitutes the refereed proceedings of the 22nd Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2017, held in Vienna, Austria, in June 2017. The revised 15 full papers presented were carefully reviewed and selected from 37 submissions. They are organized in topical sections on runtimes, safety and security, timing verification, programming models, the future of safety-minded languages, mixed criticality.

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

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

    Advanced Parallel Processing Technologies [[electronic resource] :] : 12th International Symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017, Proceedings / / ed. Dou, Yong. [et al.]. - 1st ed. 2017. - [S. l. : s. n.]. - IX, 129 p. 74 illus. - Б. ц.
    Зміст:
Platform-Adaptive High-Throughput Surveillance Video Condensation on Heterogeneous Processor Clusters --
Using Data Compression for Optimizing FPGA-based Convolutional Neural Network Accelerators --
Molecular docking Simulation Based on CPU-GPU Heterogeneous Computing --
FixCaffe: Training CNN with Low Precision Arithmetic Operations by Deep Learning Framework Caffe --
SysMon: Monitoring Memory Behaviors via OS Approach --
Self-adaptive Failure Detector for Peer-to-Peer Distributed System Considering the Link Faults --
A Survey about Quantitative Measurement of Performance Variability in High Performance Computers --
GDCRT: In-Memory 2D Geographical Dynamic Cascading Range Tree --
Eleven Code: A 3-Erasure MDS Code with Optimize Partial Stripes Writes --
Parallel Peer Pressure Clustering Algorithm based on Linear Algebra Computation --
T-List: A Concurrent Skip List Balanced on Search.
Рубрики: Software engineering.
   Algorithms.
   Computer communication systems.
   Operating systems (Computers).
   Programming languages (Electronic computers).
   Microprocessors.
   Software Engineering.
   Algorithm Analysis and Problem Complexity.
   Computer Communication Networks.
   Operating Systems.
   Programming Languages, Compilers, Interpreters.
   Processor Architectures.
Анотація: This book constitutes the proceedings of the 12th International Symposium on Advanced Parallel Processing Technologies, APPT 2017, held in Santiago de Compostela, Spain, in August 2017. The 11 regular papers presented in this volume were carefully reviewed and selected from 18 submissions. They deal with the recent advances in big data processing; parallel architectures and systems; parallel software; parallel algorithms and artificial intelligence applications; and distributed and cloud computing.

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

Дод.точки доступу:
Dou, Yong. \ed.\; Lin, Haixiang. \ed.\; Sun, Guangyu. \ed.\; Wu, Junjie. \ed.\; Heras, Dora. \ed.\; Bouge, Luc. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Знайти схожі

    Artificial Neural Networks and Machine Learning – ICANN 2017 [[electronic resource] :] : 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017, Proceedings, Part II / / ed. Lintas, Alessandra. [et al.]. - 1st ed. 2017. - [S. l. : s. n.]. - XXXI, 801 p. 200 illus. - Б. ц.
    Зміст:
From Perception to Action --
From Neurons to Networks --
Brain Imaging; Recurrent Neural Networks --
Neuromorphic Hardware --
Brain Topology and Dynamics --
Neural Networks Meet Natural and Environmental Sciences --
Convolutional Neural Networks --
Games and Strategy --
Representation and Classification --
Clustering --
Learning from Data Streams and Time Series --
Image Processing and Medical Applications --
Advances in Machine Learning.
Рубрики: Artificial intelligence.
   Special purpose computers.
   Computer communication systems.
   Logic design.
   Operating systems (Computers).
   Optical data processing.
   Artificial Intelligence.
   Special Purpose and Application-Based Systems.
   Computer Communication Networks.
   Logic Design.
   Operating Systems.
   Image Processing and Computer Vision.
Анотація: The two volume set, LNCS 10613 and 10614, constitutes the proceedings of then 26th International Conference on Artificial Neural Networks, ICANN 2017, held in Alghero, Italy, in September 2017. The 128 full papers included in this volume were carefully reviewed and selected from 270 submissions. They were organized in topical sections named: From Perception to Action; From Neurons to Networks; Brain Imaging; Recurrent Neural Networks; Neuromorphic Hardware; Brain Topology and Dynamics; Neural Networks Meet Natural and Environmental Sciences; Convolutional Neural Networks; Games and Strategy; Representation and Classification; Clustering; Learning from Data Streams and Time Series; Image Processing and Medical Applications; Advances in Machine Learning. There are 63 short paper abstracts that are included in the back matter of the volume.

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

Дод.точки доступу:
Lintas, Alessandra. \ed.\; Rovetta, Stefano. \ed.\; Verschure, Paul F.M.J. \ed.\; Villa, Alessandro E.P. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Знайти схожі

    Theory and Applications of Satisfiability Testing – SAT 2017 [[electronic resource] :] : 20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings / / ed.: Gaspers, Serge., Walsh, Toby. - 1st ed. 2017. - [S. l. : s. n.]. - XIII, 476 p. 68 illus. - Б. ц.
Рубрики: Computers.
   Artificial intelligence.
   Software engineering.
   Operating systems (Computers).
   Computer organization.
   Numerical analysis.
   Theory of Computation.
   Artificial Intelligence.
   Software Engineering.
   Operating Systems.
   Computer Systems Organization and Communication Networks.
   Numeric Computing.
Анотація: This book constitutes the refereed proceedings of the 20th International Conference on Theory and Applications of Satisfiability Testing, SAT 2017, held in Melbourne, Australia, in August/September 2017. The 22 revised full papers, 5 short papers, and 3 tool papers were carefully reviewed and selected from 64 submissions. The papers are organized in the following topical sections: algorithms, complexity, and lower bounds; clause learning and symmetry handling; maximum satisfiability and minimal correction sets; parallel SAT solving; quantified Boolean formulas; satisfiability modulo theories; and SAT encodings.

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

Дод.точки доступу:
Gaspers, Serge. \ed.\; Walsh, Toby. \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.

    Artificial Neural Networks and Machine Learning – ICANN 2017 [[electronic resource] :] : 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017, Proceedings, Part I / / ed. Lintas, Alessandra. [et al.]. - 1st ed. 2017. - [S. l. : s. n.]. - XXXI, 469 p. 191 illus. - Б. ц.
    Зміст:
From Perception to Action --
From Neurons to Networks --
Brain Imaging; Recurrent Neural Networks --
Neuromorphic Hardware --
Brain Topology and Dynamics --
Neural Networks Meet Natural and Environmental Sciences --
Convolutional Neural Networks --
Games and Strategy --
Representation and Classification --
Clustering --
Learning from Data Streams and Time Series --
Image Processing and Medical Applications --
Advances in Machine Learning.
Рубрики: Artificial intelligence.
   Special purpose computers.
   Computer communication systems.
   Logic design.
   Operating systems (Computers).
   Optical data processing.
   Artificial Intelligence.
   Special Purpose and Application-Based Systems.
   Computer Communication Networks.
   Logic Design.
   Operating Systems.
   Image Processing and Computer Vision.
Анотація: The two volume set, LNCS 10613 and 10614, constitutes the proceedings of then 26th International Conference on Artificial Neural Networks, ICANN 2017, held in Alghero, Italy, in September 2017. The 128 full papers included in this volume were carefully reviewed and selected from 270 submissions. They were organized in topical sections named: From Perception to Action; From Neurons to Networks; Brain Imaging; Recurrent Neural Networks; Neuromorphic Hardware; Brain Topology and Dynamics; Neural Networks Meet Natural and Environmental Sciences; Convolutional Neural Networks; Games and Strategy; Representation and Classification; Clustering; Learning from Data Streams and Time Series; Image Processing and Medical Applications; Advances in Machine Learning. There are 63 short paper abstracts that are included in the back matter of the volume.

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

Дод.точки доступу:
Lintas, Alessandra. \ed.\; Rovetta, Stefano. \ed.\; Verschure, Paul F.M.J. \ed.\; Villa, Alessandro E.P. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Знайти схожі

12.

    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)
Свободных экз. нет
Знайти схожі

13.

    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)
Свободных экз. нет
Знайти схожі

14.

    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)
Свободных экз. нет
Знайти схожі

15.

    Search Based Software Engineering [[electronic resource] :] : 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings / / ed.: Menzies, Tim., Petke, Justyna. - 1st ed. 2017. - [S. l. : s. n.]. - XXVI, 197 p. 33 illus. - Б. ц.
    Зміст:
Search-Based Software Engineering --
Software testing --
Automated Program Repair --
Software Evolution --
Combinatorial Testing --
Software Requirements Analysis --
Software Configuration --
Multi-Objective Optimization --
Evolutionary computation --
Software Diversity --
Mutation Testing.
Рубрики: Software engineering.
   Operating systems (Computers).
   Programming languages (Electronic computers).
   Artificial intelligence.
   Algorithms.
   Logic design.
   Software Engineering.
   Operating Systems.
   Programming Languages, Compilers, Interpreters.
   Artificial Intelligence.
   Algorithm Analysis and Problem Complexity.
   Logic Design.
Анотація: This book constitutes the refereed proceedings of the 9th International Symposium on Search-Based Software Engineering, SSBSE 2017, held in Paderborn, Germany, in September 2017. The 7 full papers and 5 short papers presented together with 4 challenge track and 2 students student track papers were carefully reviewed and selected from 26 submissions. SSBSE welcomes not only applications from throughout the software engineering lifecycle but also a broad range of search methods ranging from exact Operational Research techniques to nature-inspired algorithms and simulated annealing.

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

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

16.

    Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV [[electronic resource] :] : special Issue on Consistency and Inconsistency in Data-Centric Applications / / ed. Hameurlain, Abdelkader. [et al.]. - 1st ed. 2017. - [S. l. : s. n.]. - IX, 185 p. 34 illus. - Б. ц.
    Зміст:
Basic Postulates for Inconsistency Measures --
Batch Composite Transactions in Stream Processing --
Enhancing User Rating Database Consistency through Pruning --
A Second Generation of Peer-to-Peer Semantic Wikis --
Formalizing a Paraconsistent Logic in the Isabelle Proof Assistant --
A Proximity-Based Understanding of Conditionals --
Inconsistency-Tolerant Database Repairs and Simplified Repair Checking by Measure-Based Integrity Checking.
Рубрики: Computer logic.
   Mathematical logic.
   Logic design.
   Operating systems (Computers).
   Microprocessors.
   Logics and Meanings of Programs.
   Mathematical Logic and Formal Languages.
   Logic Design.
   Operating Systems.
   Processor Architectures.
Анотація: LNCS journal Transactions on Large-Scale Data- and Knowledge-Centered Systems focuses on data management, knowledge discovery, and knowledge processing, which are core and hot topics in computer science. Since the 1990s, the Internet has become the main driving force behind application development in all domains. An increase in the demand for resource sharing across different sites connected through networks has led to an evolution of data- and knowledge-management systems from centralized systems to decentralized systems enabling large-scale distributed applications providing high scalability. Current decentralized systems still focus on data and knowledge as their main resource. Feasibility of these systems relies basically on P2P (peer-to-peer) techniques and the support of agent systems with scaling and decentralized control. Synergy between grids, P2P systems, and agent technologies is the key to data- and knowledge-centered systems in large-scale environments. This volume, the 34th issue of Transactions on Large-Scale Data- and Knowledge-Centered Systems, constitutes a special issue consisting of seven papers on the subject of Consistency and Inconsistency in Data-Centric Applications. The volume opens with an invited article on basic postulates for inconsistency measures. Three of the remaining six papers are revised, extended versions of papers presented at the First International Workshop on Consistency and Inconsistency, COIN 2016, held in conjunction with DEXA 2016 in Porto, Portugal, in September 2016. The other three papers were selected from submissions to a call for contributions to this edition. Each of the papers highlights a particular subtopic. However, all are concerned with logical inconsistencies that are either to be systematically avoided, or reasoned with consistently, i.e., without running the danger of an explosion of inferences.

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

Дод.точки доступу:
Hameurlain, Abdelkader. \ed.\; Kung, Josef. \ed.\; Wagner, Roland. \ed.\; Decker, Hendrik. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Знайти схожі

17.

    Detection of Intrusions and Malware, and Vulnerability Assessment [[electronic resource] :] : 14th International Conference, DIMVA 2017, Bonn, Germany, July 6-7, 2017, Proceedings / / ed.: Polychronakis, Michalis., Meier, Michael. - 1st ed. 2017. - [S. l. : s. n.]. - X, 412 p. 114 illus. - Б. ц.
    Зміст:
Enclaves and isolation --
Malware analysis --
Cyber-physical systems --
Detection and protection.-Code analysis --
Web security.
Рубрики: Computer security.
   Operating systems (Computers).
   Computers.
   Law and legislation.
   Computers and civilization.
   Application software.
   Data encryption (Computer science).
   Systems and Data Security.
   Operating Systems.
   Legal Aspects of Computing.
   Computers and Society.
   Information Systems Applications (incl. Internet).
   Cryptology.
Анотація: This book constitutes the refereed proceedings of the 14th International Conference on Detection of Intrusions and Malware, and Vulnerability Assessment, DIMVA 2017, held in Bonn, Germany, in July 2017. The 18 revised full papers included in this book were carefully reviewed and selected from 67 submissions. They present topics such as enclaves and isolation; malware analysis; cyber-physical systems; detection and protection; code analysis; and web security.

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

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

18.

    Research in Attacks, Intrusions, and Defenses [[electronic resource] :] : 20th International Symposium, RAID 2017, Atlanta, GA, USA, September 18–20, 2017, Proceedings / / ed. Dacier, Marc. [et al.]. - 1st ed. 2017. - [S. l. : s. n.]. - XIII, 496 p. 115 illus. - Б. ц.
    Зміст:
VDF: Targeted Evolutionary Fuzz Testing of Virtual Devices --
Static Program Analysis as a Fuzzing Aid --
Breaking Fitness Records without Moving: Reverse Engineering and Spoofing Fitbit --
Lens on the endpoint: Hunting for malicious software through endpoint data analysis --
Redemption: Real-time Protection Against Ransomware at End-Hosts --
ILAB: An Interactive Labelling Strategy for Intrusion Detection --
Precisely and Scalably Vetting JavaScript Bridge In Android Hybrid Apps --
Filtering for Malice through the Data Ocean: Large-Scale PHA Install Detection at the Communication Service Provider Level --
Android Malware Clustering through Malicious Payload Mining --
Stealth Loader: Trace-free Program Loading for API Obfuscation --
LAZARUS: Practical Side-channel Resilient Kernel-Space Randomization --
CFI CaRE: Hardware-supported Call and Return Enforcement for Commercial Microcontrollers            --
Mining on Someone Else's Dime: Mitigating Covert Mining Operations in Clouds and Enterprises --
BEADS: Automated Attack Discovery in OpenFlow-based SDN Systems --
Trapped by the UI: The Android case --
Thwarting Controlled Side Channel Attacks via Enclave Verifiable Page Faults --
Secure In-Cache Execution --
Scotch: Combining Software Guard Extensions and System Management Mode to Monitor Cloud Resource Usage --
Linking Amplification DDoS Attacks to Booter Services --
Practical and Accurate Runtime Application Protection against DoS Attacks --
Exploring the ecosystem of malicious domain registrations in the .eu TLD.
Рубрики: Computer security.
   Data protection.
   Data encryption (Computer science).
   Management information systems.
   Computer science.
   Computer communication systems.
   Operating systems (Computers).
   Systems and Data Security.
   Security.
   Cryptology.
   Management of Computing and Information Systems.
   Computer Communication Networks.
   Operating Systems.
Анотація: This book constitutes the refereed conference proceedings of the 20th International Symposium on Research in Attacks, Intrusions, and Defenses, RAID 2017, held in Atlanta, GA, USA, in September 2017. The 21 revised full papers were selected from 105 submissions. They are organized in the following topics: software security, intrusion detection, systems security, android security, cybercrime, cloud security, network security.

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

Дод.точки доступу:
Dacier, Marc. \ed.\; Bailey, Michael. \ed.\; Polychronakis, Michalis. \ed.\; Antonakakis, Manos. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Знайти схожі

19.

    Verification and Evaluation of Computer and Communication Systems [[electronic resource] :] : 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedings / / ed. Barkaoui, Kamel. [et al.]. - 1st ed. 2017. - [S. l. : s. n.]. - XVI, 205 p. 76 illus. - Б. ц.
    Зміст:
Distributed computing models.- Formal languages and automata theory.- Concurrency.- Probabilistic computation --
Timed and hybrid models.- Formal software verification.- Model verification and validation.- Performance evaluation --
Control methods --
Modeling methodologies --
Model development and analysis --
Modeling and simulation.- Formal mehods.
Рубрики: Algorithms.
   Software engineering.
   Operating systems (Computers).
   Programming languages (Electronic computers).
   Computer programming.
   Artificial intelligence.
   Algorithm Analysis and Problem Complexity.
   Software Engineering.
   Operating Systems.
   Programming Languages, Compilers, Interpreters.
   Programming Techniques.
   Artificial Intelligence.
Анотація: This book constitutes the proceedings of the 11th International Conference International Conference on Veri?cation and Evaluation of Computer and Communication Systems ( VECoS 2017 ), held at Concordia University, Montreal, Canada, in August 2017. The 13 full papers, together with 3 abstracts in this volume were carefully reviewed and selected from 35 submissions. The aim of the VECoS conference is to bring together researchers and practitioners in the areas of veri?cation, control, performance and dependability evalu-ation in order to discuss state-of-the-art and challenges in modern computer and communication systems in which functional and extra-functional properties are strongly in terrelated. Thus, the main motivation for VECoS is to encourage the cross-fertilization between various formal veri?cation and evaluation approaches, methods and techniques, and especially those developed for concurrent and dis-tributed hardware/software systems.

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

Дод.точки доступу:
Barkaoui, Kamel. \ed.\; Boucheneb, Hanifa. \ed.\; Mili, Ali. \ed.\; Tahar, Sofiene. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Знайти схожі

20.

    Neural Information Processing [[electronic resource] :] : 24th International Conference, ICONIP 2017, Guangzhou, China, November 14–18, 2017, Proceedings, Part VI / / ed. Liu, Derong. [et al.]. - 1st ed. 2017. - [S. l. : s. n.]. - XVIII, 912 p. 415 illus. - Б. ц.
    Зміст:
Machine Learning --
Reinforcement Learning --
Big Data Analysis --
Deep Learning --
Brain-Computer Interface --
Computational Finance --
Computer Vision, --
Neurodynamics --
Sensory Perception and Decision Making --
Computational Intelligence --
Neural Data Analysis --
Biomedical Engineering --
Emotion and Bayesian Networks --
Data Mining --
Time-Series Analysis --
Social Networks --
Bioinformatics --
Information Security and Social Cognition --
Robotics and Control --
Pattern Recognition --
Neuromorphic Hardware and Speech Processing.
Рубрики: Artificial intelligence.
   Optical data processing.
   Special purpose computers.
   Operating systems (Computers).
   Logic design.
   Artificial Intelligence.
   Image Processing and Computer Vision.
   Special Purpose and Application-Based Systems.
   Operating Systems.
   Logic Design.
Анотація: The six volume set LNCS 10634, LNCS 10635, LNCS 10636, LNCS 10637, LNCS 10638, and LNCS 10639 constitues the proceedings of the 24rd International Conference on Neural Information Processing, ICONIP 2017, held in Guangzhou, China, in November 2017. The 563 full papers presented were carefully reviewed and selected from 856 submissions. The 6 volumes are organized in topical sections on Machine Learning, Reinforcement Learning, Big Data Analysis, Deep Learning, Brain-Computer Interface, Computational Finance, Computer Vision, Neurodynamics, Sensory Perception and Decision Making, Computational Intelligence, Neural Data Analysis, Biomedical Engineering, Emotion and Bayesian Networks, Data Mining, Time-Series Analysis, Social Networks, Bioinformatics, Information Security and Social Cognition, Robotics and Control, Pattern Recognition, Neuromorphic Hardware and Speech Processing.

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

Дод.точки доступу:
Liu, Derong. \ed.\; Xie, Shengli. \ed.\; Li, Yuanqing. \ed.\; Zhao, Dongbin. \ed.\; El-Alfy, El-Sayed M. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Знайти схожі

1-20 21-29

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