Sciweavers

1185 search results - page 188 / 237
» Implementing Functional Languages: a tutorial
Sort
View
FMCO
2003
Springer
162views Formal Methods» more  FMCO 2003»
14 years 3 months ago
An MDA Approach to Tame Component Based Software Development
Abstract. The aim of this paper is to show how the Model Driven Architecture (MDA) can be used in relation with component based software engineering. A software component only exhi...
Jean-Marc Jézéquel, Olivier Defour, ...
KBSE
2000
IEEE
14 years 1 months ago
Simultaneous Checking of Completeness and Ground Confluence
c specifications provide a powerful method for the specification of abstract data types in programming languages and software systems. Completeness and ground confluence are fundam...
Adel Bouhoula
ICML
2009
IEEE
14 years 11 months ago
Bandit-based optimization on graphs with application to library performance tuning
The problem of choosing fast implementations for a class of recursive algorithms such as the fast Fourier transforms can be formulated as an optimization problem over the language...
Arpad Rimmel, Frédéric de Mesmay, Ma...
ROBOCUP
2009
Springer
110views Robotics» more  ROBOCUP 2009»
14 years 4 months ago
A Lua-based Behavior Engine for Controlling the Humanoid Robot Nao
The high-level decision making process of an autonomous robot can be seen as an hierarchically organised entity, where strategical decisions are made on the topmost layer, while th...
Tim Niemüller, Alexander Ferrein, Gerhard Lak...
ESCIENCE
2006
IEEE
14 years 4 months ago
Adapting and Evaluating Commercial Workflow Engines for e-Science
Numerous Grid workflow engines exist, each generally specialized for a single application domain such as protein folding. Although the underlying purpose and functionality of the ...
Sharanya Eswaran, David Del Vecchio, Glenn S. Wass...