Sciweavers

3736 search results - page 33 / 748
» Hand-Writing Program Generator Generators
Sort
View
KBSE
2003
IEEE
15 years 5 months ago
Automated Environment Generation for Software Model Checking
A key problem in model checking open systems is environment modeling (i.e., representing the behavior of the execution context of the system under analysis). Software systems are ...
Oksana Tkachuk, Matthew B. Dwyer, Corina S. Pasare...
CGO
2009
IEEE
15 years 6 months ago
Automatic Feature Generation for Machine Learning Based Optimizing Compilation
Recent work has shown that machine learning can automate and in some cases outperform hand crafted compiler optimizations. Central to such an approach is that machine learning tec...
Hugh Leather, Edwin V. Bonilla, Michael O'Boyle

Book
1575views
16 years 7 months ago
Bison - The Yacc-compatible Parser Generator
"Bison is a general-purpose parser generator that converts an annotated context-free grammar into an LALR(1) or GLR parser for that grammar. Once you are proficient with Biso...
Charles Donnelly and Richard Stallman
ICRA
2009
IEEE
137views Robotics» more  ICRA 2009»
15 years 6 months ago
An optimized Linear Model Predictive Control solver for online walking motion generation
— This article addresses the fast solution of a Quadratic Program underlying a Linear Model Predictive Control scheme that generates walking motions. We introduce an algorithm wh...
Dimitar Dimitrov, Pierre-Brice Wieber, Olivier Sta...
UM
2001
Springer
15 years 4 months ago
An Integrated Approach for Generating Arguments and Rebuttals and Understanding Rejoinders
This paper describes an integrated approach for interpreting a user’s responses and generating replies in the framework of a WWW-based Bayesian argumentation system. Our system c...
Ingrid Zukerman