Informatik (15.755 Artikel)

A Paradigm Shift in Human-Technology Interaction

Methodology.- Overview of INEX 2006.- The Wikipedia XML Corpus.- INEX 2006 Evaluation Measures.- Choosing an Ideal Recall-Base for the Evaluation of the Focused Task: Sensitivity Analysis of the XC...

Multi-break Rearrangements: From Circular to Linear Genomes.- A Pseudo-boolean Programming Approach for Computing the Breakpoint Distance Between Two Genomes with Duplicate Genes.- Improving Invers...

Reconstructing Domain Compositions of Ancestral Multi-domain Proteins.- Domain Architecture in Homolog Identification.- Inferring Positional Homologs with Common Intervals of Sequences.- On Genome ...

Proceedings of an International Conference on Competence in High Performance Computing, June 2010, Schloss Schwetzingen, Germany

Compilation for Secure Multi-party Computation

Architecture.- New Algorithms for SIMD Alignment.- Preprocessing Strategy for Effective Modulo Scheduling on Multi-issue Digital Signal Processors.- An Array Allocation Scheme for Energy Reduction ...

Papers from Invited Talks.- Design Choices in a Compiler Course or How to Make Undergraduates Love Formal Notation.- Improved Memory-Access Analysis for x86 Executables.- Analyses and Transformatio...

Invited Talk.- Programming Clouds.- Optimization Techniques.- Mining Opportunities for Code Improvement in a Just-In-Time Compiler.- Unrestricted Code Motion: A Program Representation and Transform...

This book constitutes the proceedings of the 21st International Conference on Compiler Construction, CC 2012, held as part of the joint European Conference on Theory and Practice of Software, ETAPS...

Analysis and Transformation

While compilers for high-level programming languages are large complex software systems, they have particular characteristics that differentiate them from other software systems. Their functionalit...

While compilers for high-level programming languages are large complex software systems, they have particular characteristics that differentiate them from other software systems. Their functionalit...

Analysis and Transformation

Scalable parallel systems or, more generally, distributed memory systems offer a challenging model of computing and pose fascinating problems regarding compiler optimization, ranging from language ...