Automated Program Repair through the Evolution of Assembly Code Eric Schulte Stephanie Forrest

Source URL: dijkstra.cs.virginia.edu

The Spec# Programming System: Challenges and Directions Mike Barnett, Robert DeLine, Bart Jacobs, Manuel F¨ahndrich, K. Rustan M. Leino, Wolfram Schulte, and Herman Venter Microsoft Research, Redmond, WA, USA mbarnett,r

Source URL: vstte.ethz.ch

Genet Program Evolvable Mach DOIs10710Software mutational robustness Eric Schulte • Zachary P. Fry • Ethan Fast Westley Weimer • Stephanie Forrest

Source URL: dijkstra.cs.virginia.edu

Evaluating a German Sketch Grammar: A Case Study on Noun Phrase Case Kremena Ivanova∗ , Ulrich Heid∗ , Sabine Schulte im Walde∗ , Adam Kilgarriff◦ , Jan Pomik´alek◦. ∗ Institute for Natural Language Process

Source URL: kilgarriff.co.uk

• Grammatical cases
• Parts of speech
• Noun phrase
• Nominative case
• Nominal
• German grammar
• Accusative case
• Adjective
• Dative case
• English language
• Preposition and postposition
• Word order

Post-compiler Software Optimization for Reducing Energy Eric Schulte ∗ Jonathan Dorn † Stephen Harding Stephanie Forrest ∗ Westley Weimer † ∗ Department

Source URL: dijkstra.cs.virginia.edu

A Sequence-Ready Physical Map of Barley Anchored Genetically by Two Million Single-Nucleotide Polymorphisms1[W][OPEN] Ruvini Ariyadasa 2, Martin Mascher 2, Thomas Nussbaumer 2, Daniela Schulte 3, Zeev Frenkel, Naser Pour

Source URL: genome.imb-jena.de

INTEGRATING THE OGC SENSOR WEB ENABLEMENT FRAMEWORK INTO THE OGC CATALOGUE S.Jirka a, *, D. Nüst a, J. Schulte a, F. Houbie b Westfälische Wilhelms-Universität Münster, Institut für Geoinformatik, Weseler Straße 25

Source URL: www.isprs.org

BERNARD SCHULTE BV CENTRALE VERWARMING EN AIRCONDITIONING Dinsdag 17 januari 2012 • Jaargang 31 - nr. 3 • Nieuws- en Advertentieblad voor Noordwijkerhout, De Zilk en Langevelderslag Voor al uw klimaatbeheer

Source URL: www.voorlezen-plus.nl

Schulte-Lindhorst vergibt Bestnoten für Collax und die Zusammenarbeit mit DECON Collax V-Cube+ als Basis für geschäftskritische Anwendungen Transportplanung, Online-Frachtbörsen, Versand- und Frachtabfertigung, Flot

Source URL: www.collax.com

Managing Wildland Fire Risks: Climate and Weather Information and Uncertainty Co-Investigators: NCAR-ESIG: Kathleen Miller University of Colorado, College of Architecture and Planning: Stacey Schulte University of Washin

Source URL: www.assessment.ucar.edu