Sciweavers

488 search results - page 66 / 98
» Derivation of Java Monitors
Sort
View
LREC
2010
188views Education» more  LREC 2010»
15 years 1 months ago
Example-Based Automatic Phonetic Transcription
Current state-of-the-art systems for automatic phonetic transcription (APT) are mostly phone recognizers based on Hidden Markov models (HMMs). We present a different approach for ...
Christina Leitner, Martin Schickbichler, Stefan Pe...
CASCON
2006
118views Education» more  CASCON 2006»
15 years 1 months ago
Ensuring behavioural equivalence in test-driven porting
In this paper we present a test-driven approach to porting code from one object-oriented language to another. We derive an order for the porting of the code, along with a testing ...
Mark Hennessy, James F. Power
73
Voted
NAR
2006
120views more  NAR 2006»
14 years 11 months ago
SuperNatural: a searchable database of available natural compounds
Although tremendous effort has been put into synthetic libraries, most drugs on the market are still 10 natural compounds or derivatives thereof. There are encyclopaedias of natur...
Mathias Dunkel, Melanie Füllbeck, Stefanie Ne...
IIE
2007
159views more  IIE 2007»
14 years 11 months ago
Creating and Visualizing Test Data from Programming Exercises
Automatic assessment of programming exercises is typically based on testing approach. Most automatic assessment frameworks execute tests and evaluate test results automatically, bu...
Petri Ihantola
JSS
2007
169views more  JSS 2007»
14 years 11 months ago
MDABench: Customized benchmark generation using MDA
This paper describes an approach for generating customized benchmark suites from a software architecture description following a Model Driven Architecture (MDA) approach. The benc...
Liming Zhu, Ngoc Bao Bui, Yan Liu, Ian Gorton