Experiments Suggest High-Level Formal Models and Automated Code Synthesis Significantly Increase Dependability Cordell Green and Stephen Westfold January 2001

Source URL: www.kestrel.edu

• Computing
• Software engineering
• Theoretical computer science
• Software testing
• Formal methods
• Software design
• Software bug
• Software quality

Java Byte Code Synthesis for Reconfigurable Computing Platforms Christophe Dubach Computer Science, master thesis Processor Architecture Laboratory

Source URL: homepages.inf.ed.ac.uk

Scaling Program Synthesis by Exploiting Existing Code James Bornholt Emina Torlak University of Washington

Source URL: homes.cs.washington.edu

Scaling Program Synthesis by Exploiting Existing Code James Bornholt Emina Torlak University of Washington

Source URL: homes.cs.washington.edu

Scaling Program Synthesis by Exploiting Existing Code James Bornholt Emina Torlak University of Washington

Source URL: homes.cs.washington.edu

IEEE COMSOC MMTC E-Letter Synthesis Filter/Decoder Structures in Speech Codecs Jerry D. Gibson, Electrical & Computer Engineering, UC Santa Barbara, CA, USA Abstract Using the Shannon backward channel

Source URL: vivonets.ece.ucsb.edu

• Digital signal processing
• Code-excited linear prediction
• Digital media
• Audio codecs
• Signal processing
• Data compression
• Algebraic code-excited linear prediction
• Linear predictive coding
• Ratedistortion theory
• Speech coding
• Filter bank
• Weighting filter

Midterm Review L245 For the Midterm on Tuesday, March 8, 2016 1

Source URL: cl.indiana.edu

• Natural language processing
• Computational linguistics
• Compiler construction
• Statistical natural language processing
• Source code
• Syntax
• N-gram
• Parsing
• Language model
• Speech synthesis
• Bigram
• Code

SLOVAK UNIVERSITY OF TECHNOLOGY BRATISLAVA Faculty of Electrical Engineering and Information Technology Department of Radioelectronics Ing. Anna Madlová

Source URL: www.mp3-tech.org

• Signal processing
• Digital signal processing
• Frequency domain analysis
• Computational linguistics
• Cepstrum
• Linear predictive coding
• Code-excited linear prediction
• Spectral density estimation
• Speech recognition
• Speech synthesis
• Filter bank
• Synthesizer

Automatic Synthesis of Fault Detection Modules for Mobile Robots Anders Lyhne Christensen Rehan O’Grady Mauro Birattari Marco Dorigo IRIDIA-CoDE, Universit´e Libre de Bruxelles

Source URL: home.iscte-iul.pt

Interactive Synthesis of Code Snippets Tihomir Gvero, Viktor Kuncak, and Ruzica Piskac? Swiss Federal Institute of Technology Lausanne (EPFL) Abstract. We describe a tool that applies theorem

Source URL: www.mpi-sws.org