Sciweavers

3729 search results - page 524 / 746
» METRICS: a system architecture for design process optimizati...
Sort
View
AROBOTS
2004
159views more  AROBOTS 2004»
15 years 6 months ago
Distributed Control of Multi-Robot Systems Engaged in Tightly Coupled Tasks
NASA mission concepts for the upcoming decades of this century include exploration of sites such as steep cliff faces on Mars, as well as infrastructure deployment for a sustained ...
Terrance L. Huntsberger, Ashitey Trebi-Ollennu, Hr...
DATE
2008
IEEE
156views Hardware» more  DATE 2008»
16 years 1 months ago
Transparent Reconfigurable Acceleration for Heterogeneous Embedded Applications
Embedded systems are becoming increasingly complex. Besides the additional processing capabilities, they are characterized by high diversity of computational models coexisting in ...
Antonio Carlos Schneider Beck, Mateus B. Rutzig, G...
UML
2001
Springer
15 years 11 months ago
Using Alloy and UML/OCL to Specify Run-Time Configuration Management: A Case Study
: There are many different ways to specify the requirements of complex software systems, and the optimal methods often vary according to the problem domain. We apply and compare tw...
Geri Georg, Jores Bieman, Robert B. France
CORR
2007
Springer
127views Education» more  CORR 2007»
15 years 6 months ago
Common Reusable Verification Environment for BCA and RTL Models
This paper deals with a common verification methodology and environment for SystemC BCA and RTL models. The aim is to save effort by avoiding the same work done twice by different...
Giuseppe Falconeri, Walid Naifer, Nizar Romdhane
INTERNET
2007
103views more  INTERNET 2007»
15 years 6 months ago
Publish-Subscribe Information Delivery with Substring Predicates
The content-based publish/subscribe (pub/sub)paradigm for system design is becoming increasingly popular, offering unique benefits for a large number of data-intensive applicatio...
Ioannis Aekaterinidis, Peter Triantafillou