8109 search results - page 348 / 1622 » A Model of Component-Based Programming |
187
click to vote
ISPAN
2008
IEEE
16 years 1 months ago
2008
IEEE
Parallel computing is notoriously challenging due to the difficulty in developing correct and efficient programs. With the arrival of multi-core processors for desktop systems, ...
167
Voted
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
— This paper addresses the problem of generating optimal joint trajectories for redundant manipulators when multiple criteria are to be considered. A dynamic programming approach...
178
click to vote
FSTTCS
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Pushdown systems (PDSs) are an automata-theoretic formalism for specifying a class of infinite-state transition systems. Infiniteness comes from the fact that each con...
183
click to vote
WCRE
2006
IEEE
16 years 22 days ago
2006
IEEE
Programming is modeling the reality. Most of the times, the mapping between source code and the real world concepts is captured implicitly in the names of identifiers. Making the...
198
click to vote
ASP
2005
Springer
16 years 8 days ago
2005
Springer
In this paper we develop a declarative language for modular answer set programming (ASP). Our language allows to declaratively state how one ASP module can import processed answer ...