3463 search results - page 502 / 693 » Modeling and executing master-worker applications in compone... |
162
click to vote
ENTCS
2002
15 years 6 months ago
2002
In this paper we present a framework to program autonomous robots in the declarative multi-paradigm language Curry. This is an experiment to use high-level declarative programming...
184
click to vote
JCISE
2002
15 years 6 months ago
2002
The first Technical Note in this series [1] introduced the international standard ISO 10303, informally known as STEP (STandard for the Exchange of Product model data). Subsequent...
200
click to vote
IEEEPACT
2009
IEEE
15 years 4 months ago
2009
IEEE
Transactional memory is being advanced as an alternative to traditional lock-based synchronization for concurrent programming. Transactional memory simplifies the programming mode...
154
click to vote
ICRA
2006
IEEE
16 years 13 days ago
2006
IEEE
— Autonomous robot systems have to manage their energy wisely in order to complete their missions. Typical approaches seek to conserve energy by energy-efficient motion or senso...
170
click to vote
VLSID
2001
IEEE
16 years 6 months ago
2001
IEEE
In this paper we describe a hardware design method for memory and register arrays that allows the application of formal equivalence checking for comparing a high-level register tr...