Sciweavers

3686 search results - page 417 / 738
» An Approach to a Trustworthy System Architecture Using Virtu...
Sort
View
DAC
2005
ACM
16 years 7 months ago
Simulation based deadlock analysis for system level designs
In the design of highly complex, heterogeneous, and concurrent systems, deadlock detection and resolution remains an important issue. In this paper, we systematically analyze the ...
Xi Chen, Abhijit Davare, Harry Hsieh, Alberto L. S...
ASPDAC
2004
ACM
89views Hardware» more  ASPDAC 2004»
15 years 10 months ago
Predictable design of low power systems by pre-implementation estimation and optimization
- Each year tens of billions of Dollars are wasted by the microelectronics industry because of missed deadlines and delayed design projects. These delays are partially due to desig...
Wolfgang Nebel
MATES
2005
Springer
16 years 9 days ago
A Goal Deliberation Strategy for BDI Agent Systems
One aspect of rational behavior is that agents can pursue multiple goals in parallel. Current BDI theory and systems do not provide a theoretical or architectural framework for dec...
Alexander Pokahr, Lars Braubach, Winfried Lamersdo...
PDIS
1996
IEEE
15 years 11 months ago
Capabilities-Based Query Rewriting in Mediator Systems
Users today are struggling to integrate a broad range of information sources providing di erent levels of query capabilities. Currently, data sources with di erent and limitedcapa...
Yannis Papakonstantinou, Ashish Gupta, Laura M. Ha...
ICRA
2006
IEEE
89views Robotics» more  ICRA 2006»
16 years 26 days ago
A Vision-based Nonlinear Decentralized Controller for Unmanned Vehicles
— This paper presents a vision-based control strategy for decentralized stabilization of unmanned vehicle (UV) formations. The key point of the algorithm is that it only requires...
Omar A. A. Orqueda, Rafael B. Fierro