5830 search results - page 393 / 1166 » Automatic link generation |
218
Voted
OOPSLA
2005
Springer
16 years 1 months ago
2005
Springer
Designing component-based application that meets performance requirements remains a challenging problem, and usually requires a prototype to be constructed to benchmark performanc...
204
click to vote
RTAS
2003
IEEE
16 years 29 days ago
2003
IEEE
Model-based automatic code generation is a process of converting abstract models into concrete implementations in the form of a program written in a high-level programming languag...
215
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
In a previous work we introduced slice graphs as a way to specify both infinite languages of directed acyclic graphs (DAGs) and infinite languages of partial orders. Therein we fo...
223
click to vote
ICRA
2006
IEEE
16 years 1 months ago
2006
IEEE
— We present a system of coupled nonlinear oscillators to be used as programmable central pattern generators, and apply it to control the locomotion of a humanoid robot. Central ...
231
click to vote
KBSE
2005
IEEE
16 years 1 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...