WEST WIMMER A HEALTH SERVICE STRATEGIC PLAN PERFORMANCE REPORT 2

Source URL: www.wwhs.net.au

• Health informatics
• Medical technology
• Dental therapist
• Health care
• Medicine
• Health
• Healthcare

Towards Domain-Specific Property Languages: The ProMoBox Approach Bart Meyers Manuel Wimmer

Source URL: www.dsmforum.org

• Science
• Model checkers
• Theoretical computer science
• Automata theory
• ISO standards
• Modeling language
• Domain-specific modeling
• Formal verification
• Promela
• Software engineering
• Unified Modeling Language
• Scientific modeling

Towards Domain-Specific Property Languages: The ProMoBox Approach Bart Meyers, Manuel Wimmer, Hans Vangheluwe, Joachim Denil The 13th Workshop on Domain-Specific Modeling @ SPLASH 2013 Motivation

Source URL: www.dsmforum.org

• Elevator
• Formal methods
• Software development
• Software engineering
• Philosophy of technology
• Temporal logic in finite-state verification
• Model checking
• Linear temporal logic
• Domain-specific modeling

Anforderungen an einen Bericht u¨ber ein Forschungspraktikum Robert F. Wimmer-Schweingruber 18. Juli[removed]Zusammenfassung

Source URL: www.ieap.uni-kiel.de

nachrichten.at 15 Allgemeine Geschäftsbedingungen Pkt. 1 Anzeigenaufträge werden von Wimmer Medien GmbH & Co. KG. („Auftragnehmer“) ausschließlich unter Anwendung der nachstehenden Bedingungen abgewickelt. Pkt. 2

Source URL: www.nachrichten.at

Design of the Java HotSpotTM Client Compiler for Java 6 THOMAS KOTZMANN, CHRISTIAN WIMMER ¨ ¨ and HANSPETER MOSSENB

Source URL: www.stanford.edu

• Compiler optimizations
• Programming language implementation
• Cross-platform software
• Static single assignment form
• Compiler
• Just-in-time compilation
• Inline expansion
• Register allocation
• Java
• Computing
• Software
• Compiler construction

Extraterrestrik Prof. Dr. Robert F. Wimmer-Schweingruber [removed] Leibnizstr. 11, D[removed]Kiel, Germany; phone: +[removed], secr: +[removed],

Source URL: www.ieap.uni-kiel.de

• Space telescopes
• Audio engineering
• STEREO
• Stereophonic sound
• Joint
• Space technology
• Spacecraft
• Spaceflight
• Solar telescopes

Recurrent CIR-accelerated ions observed by STEREO/SEPT R. Müller-Mellin, R. Gómez-Herrero, A. Klassen, B. Heber, R. Wimmer-Schweingruber, S. Böttcher IEAP – Christian-Albrechts-Universität, Kiel (Germany)

Source URL: stereo-ssc.nascom.nasa.gov

• Plasma physics
• Physics
• Light sources
• Sun
• Space telescopes
• STEREO
• Corona
• Solar wind
• Stereophonic sound
• Space plasmas
• Astronomy
• Astrophysics

One VM to Rule Them All Thomas W¨urthinger∗ Christian Wimmer∗ Andreas W¨o߆ Lukas Stadler† Gilles Duboscq† Christian Humer† Gregor Richards§ Doug Simon∗ Mario Wolczko∗ ∗ Oracle Labs

Source URL: lafo.ssw.uni-linz.ac.at

• Cross-platform software
• Scripting languages
• Data types
• Type theory
• Procedural programming languages
• JavaScript
• Interpreter
• Java
• Static single assignment form
• Computing
• Software engineering
• Computer programming

Eurographics Symposium on Rendering 2008 Steve Marschner and Michael Wimmer (Guest Editors) Volume[removed]), Number 4

Source URL: www.mit.edu

• Digital imaging
• Television technology
• Visual arts
• Imaging
• Digital geometry
• Segmentation
• Alpha compositing
• Pixel
• Random walker algorithm
• Image processing
• Computer graphics
• Digital photography