Sciweavers

4631 search results - page 201 / 927
» Experiences with an Environment Generation System
Sort
View
PLDI
2009
ACM
16 years 7 months ago
Automatic generation of library bindings using static analysis
High-level languages are growing in popularity. However, decades of C software development have produced large libraries of fast, timetested, meritorious code that are impractical...
Tristan Ravitch, Steve Jackson, Eric Aderhold, Ben...
DATE
2000
IEEE
108views Hardware» more  DATE 2000»
15 years 11 months ago
Automatic Abstraction for Worst-Case Analysis of Discrete Systems
c Abstraction for Worst-Case Analysis of Discrete Systems Felice Balarin Cadence Berkeley Laboratories Recently, a methodology for worst-case analysis of discrete systems has been...
Felice Balarin
BMCBI
2007
148views more  BMCBI 2007»
15 years 6 months ago
Toward the automated generation of genome-scale metabolic networks in the SEED
Background: Current methods for the automated generation of genome-scale metabolic networks focus on genome annotation and preliminary biochemical reaction network assembly, but d...
Matthew DeJongh, Kevin Formsma, Paul Boillot, John...
DATE
2007
IEEE
130views Hardware» more  DATE 2007»
16 years 27 days ago
Development of on board, highly flexible, Galileo signal generator ASIC
Alcatel Alenia Space is deeply involved in the Galileo program at many stages. In particular, Alcatel Alenia Space has successfully designed and delivered the very first navigatio...
Louis Baguena, Emmanuel Liégeon, Alexandra ...
AROBOTS
2008
177views more  AROBOTS 2008»
15 years 6 months ago
Controlling swimming and crawling in a fish robot using a central pattern generator
Online trajectory generation for robots with multiple degrees of freedom is still a difficult and unsolved problem, in particular for non-steady state locomotion, that is, when th...
Alessandro Crespi, Daisy Lachat, Ariane Pasquier, ...