Sciweavers

4993 search results - page 781 / 999
» A System Approach to Energy Management
Sort
View
IROS
2009
IEEE
170views Robotics» more  IROS 2009»
16 years 1 months ago
Entrapment/escorting and patrolling missions in multi-robot cluster space control
— The tasks of entrapping/escorting and patrolling around an autonomous target are presented making use of the multi-robot cluster space control approach. The cluster space contr...
Ignacio Mas, Steven Li, Jose Acain, Christopher Ki...
HIPEAC
2007
Springer
16 years 22 days ago
Applying Decay to Reduce Dynamic Power in Set-Associative Caches
Abstract. In this paper, we propose a novel approach to reduce dynamic power in set-associative caches that leverages on a leakage-saving proposal, namely Cache Decay. We thus open...
Georgios Keramidas, Polychronis Xekalakis, Stefano...
AMR
2005
Springer
134views Multimedia» more  AMR 2005»
16 years 4 days ago
An Explorative Study of Interface Support for Image Searching
Abstract. In this paper we study interfaces for image retrieval systems. Current image retrieval interfaces are limited to providing query facilities and result presentation. The u...
Jana Urban, Joemon M. Jose
RE
2005
Springer
16 years 2 days ago
Multi-Dimensional Separation of Concerns in Requirements Engineering
Existing requirements engineering approaches manage broadly scoped requirements and constraints in a fashion that is largely two-dimensional, where functional requirements serve a...
Ana Moreira, Awais Rashid, João Araú...
ECBS
2010
IEEE
209views Hardware» more  ECBS 2010»
15 years 11 months ago
Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
Lucas Cordeiro, Bernd Fischer 0002, João Ma...