504 search results - page 86 / 101 » Modular System Development with Pullbacks |
125
click to vote
ICPADS
2010
IEEE
15 years 9 days ago
2010
IEEE
As supercomputers are being built from an ever increasing number of processing elements, the effort required to achieve a substantial fraction of the system peak performance is con...
109
click to vote
ICRA
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract— Safety is a critical characteristic for robots designed to operate in human environments. This paper presents the concept of hybrid actuation for the development of hum...
110
Voted
ENTCS
2007
15 years 2 months ago
2007
PAGODA (Policy And GOal Based Distributed Autonomy) is a modular architecture for specifying and prototyping autonomous systems. A PAGODA node (agent) interacts with its environme...
133
click to vote
ENTCS
2002
15 years 2 months ago
2002
We present a Language Prototyping System that facilitates the modular development of interpreters from independent semantic buildks. The abstract syntax is modelled as the fixpoint...
146
click to vote
AICCSA
2008
IEEE
15 years 8 months ago
2008
IEEE
During the last decades, performance of available hardware resources constantly increased [15], which enabled the assignment of more and more complex tasks to software systems. As...