Informatik (15.755 Artikel)

How to Fully Exploit MIC Architectures

How to Fully Exploit MIC Architectures

Selected Results of the COST Action IC1406 cHiPSet

This book constitutes the thoroughly refereed post-conference proceedings of the First JARA High-Performance Computing Symposium, JARA-HPC 2016, held in Aachen, Germany, in October 2016.The 21 full...

High-Quality Illumination of Virtual Objects Based on an Environment Estimation in Mixed Reality Applications

Presenting a good overview of this research area and future directions, is perfect for any researcher or SDR practitioner looking into implementing efficient decoders for polar codes, as well as st...

Presenting a good overview of this research area and future directions, is perfect for any researcher or SDR practitioner looking into implementing efficient decoders for polar codes, as well as st...

High-level Petri nets are now widely used in both theoretical analysis and practical modelling of concurrent systems. The main reason for the success of this class of net models is that they make i...

High-performance system architectures are increasingly exploiting heterogeneity. The HipHaC workshop aims at combining new aspects of parallel, heterogeneous, and reconfigurable microprocessor tech...

An adaptive microscope with axial chromatic encoding is designed and developed, namely the AdaScope. With the ability to confocally address any locations within the measurement volume, the AdaScope...

This volume constitutes the refereed proceedings of the 1993 Higher-Order Logic User's Group Workshop, held at the University of British Columbia in August 1993. The workshop was sponsored by the C...

This volume presents the proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and Its Applications held in Valetta, Malta in September 1994.Besides 3 invited papers, ...

This book constitutes the proceedings of the 8th International Conference on Higher Order Logic Theorem Proving and Its Applications, held in Aspen Grove, Utah, USA in September 1995.The 26 papers ...

In the mid 1960s, when a single chip contained an average of 50 transistors, Gordon Moore observed that integrated circuits were doubling in complexity every year. In an in?uential article publishe...

Higher-Order Computability