Informatik (15 755 Artikel)

This volume constitutes the proceedings of the third International Workshop on Static Analysis (WSA`93), held in Padova, Italy, in September 1993. The objective of the international workshop series...

This book constitutes the refereed proceedings of the Second International Symposium on Static Analysis, SAS '95, held in Glasgow, UK, in September 1995. Static Analysis is increasingly recognized ...

This book constitutes the refereed proceedings of the Third International Static Analysis Symposium, SAS '96, held in Aachen, Germany, in September 1996 in conjunction with ALP and PLILP.The volume...

This book presents the refereed proceedings of the 4th International Symposium on Static Analysis, SAS '97, held in Paris, France, in September 1997.The 23 revised papers were selected from 61 high...

Data-Flow Analysis.- Bidirectional Data Flow Analysis in Code Motion: Myth and Reality.- On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines.- Enabling Sparse Constant Propaga...

Static analysis is increasingly recognized as a fundamental reasearch area aimed at studying and developing tools for high performance implementations and v- i cation systems for all programming la...

23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings

This book constitutes the thoroughly refereed proceedings of the 19th International Symposium on Static Analysis, SAS 2012, held in Deauville, France, in September 2012. The 25 revised full papers ...

This book constitutes the refereed proceedings of the 29th International Symposium on Static Analysis, SAS 2022, held in Auckland, New Zealand, in December 2022.

This book constitutes the refereed proceedings of the 30th International Symposium on Static Analysis, SAS 2023, held in Lisbon, Portugal, in October 2023.

31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, Proceedings

This unique text presents a comprehensive review of methods for modeling signal and noise in magnetic resonance imaging (MRI), providing a systematic study, classifying and comparing the numerous a...

6th International Workshop, STACOM 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 9, 2015, Revised Selected Papers

This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Workshop on Statistical Atlases and Computational Models of the Heart: Imaging and Modelling Chall...

This book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Statistical Atlases and Computational Models of the Heart: Imaging and Modelling Ch...