782 search results - page 52 / 157 » Can a Parser be Generated from Examples |
129
click to vote
WSC
2007
15 years 6 months ago
2007
Generation of traces from a simulation model and their analysis is a powerful and common mean to debug simulation models. In this paper, we define a measure of progress for simul...
145
click to vote
FASE
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We present a new method for automatic generation of loop invariants for programs containing arrays. Unlike all previously known methods, our method allows one to generate...
122
click to vote
APSCC
2009
IEEE
15 years 10 months ago
2009
IEEE
—In a number of scenarios, services generated using a model-driven development (MDD) approach could benefit from “reflective” access to the information in the models from w...
157
Voted
KDD
2008
ACM
16 years 4 months ago
2008
ACM
The effectiveness of knowledge transfer using classification algorithms depends on the difference between the distribution that generates the training examples and the one from wh...
122
click to vote
ASAP
2009
IEEE
16 years 29 days ago
2009
IEEE
—This paper describes the acceleration of virtual ecology models using field-programmable gate arrays (FPGAs). Our approach targets models generated by the Virtual Ecology Workb...