Eurographics Conference on Visualization (EuroVisJ. Heer, H. Leitte, and T. Ropinski (Guest Editors) Volume), Number 3

Source URL: jeffjianzhao.bitbucket.io

PDF Document

Source URL: bitbucket.org

1 An Axiomatic Basis for Bidirectional Programming∗ 2 3

Source URL: bitbucket.org

Principles and Practice of Bidirectional Programming in BiGUL Draft manuscript (19 AprilZhenjiang Hu and Hsiang-Shang Ko National Institute of Informatics, Japan {hu,hsiang-shang}@nii.ac.jp

Source URL: bitbucket.org

IST FP6PYPY Researching a Highly Flexible and Modular Language Platform and Implementing it by Leveraging the Open Source Python Language and Community STREP

Source URL: bitbucket.org

Static Analysis of String Manipulations in Critical Embedded C Programs Xavier Allamigeon, Wenceslas Godard, and Charles Hymans EADS CCR DCR/STI/C 12, rue Pasteur – BP 76 – 92152 Suresnes – France firstname.lastnam

Source URL: newspeak.bitbucket.org

Algorithmic Logic-Based Verification with SeaHorn (Invited Tutorial) Arie Gurfinkel Software Engineering Institute Carnegie Mellon University http://arieg.bitbucket.org

Source URL: arieg.bitbucket.org

A Comparison of Parallel Workstation Sonar Beamforming Implementations Gregory E. Allen Applied Research Laboratories The University of Texas at Austin

Source URL: gallen.bitbucket.org

Marco Yuen 350 West 42nd. St. APT 16C New York, NYUnited States Tel: +

Source URL: s3.amazonaws.com

• Software
• Computing
• Version control
• Cross-platform software
• Project management software
• Source code
• Bitbucket
• System software
• MySQL
• Codebase
• R
• Mercurial

A Comparison of Parallel Workstation Sonar Beamforming Implementations Gregory E. Allen Applied Research Laboratories The University of Texas at Austin Austin, TX

Source URL: gallen.bitbucket.org

• Parallel computing
• Computing
• Computer programming
• Beamforming
• Sensor array
• Message Passing Interface
• Data parallelism
• Computer cluster
• Multi-core processor
• Synthetic Aperture Ultrasound
• Discrete-time beamforming