Sciweavers

1808 search results - page 221 / 362
» Optimizing cost and performance for multihoming
Sort
View
SAT
2007
Springer
121views Hardware» more  SAT 2007»
16 years 21 days ago
MiniMaxSat: A New Weighted Max-SAT Solver
In this paper we introduce MINIMAXSAT, a new Max-SAT solver that incorporates the best SAT and Max-SAT techniques. It can handle hard clauses (clauses of mandatory satisfaction as ...
Federico Heras, Javier Larrosa, Albert Oliveras
IROS
2006
IEEE
217views Robotics» more  IROS 2006»
16 years 18 days ago
Active SLAM using Model Predictive Control and Attractor based Exploration
– Active SLAM poses the challenge for an autonomous robot to plan efficient paths simultaneous to the SLAM process. The uncertainties of the robot, map and sensor measurements, a...
Cindy Leung, Shoudong Huang, Gamini Dissanayake
SAINT
2006
IEEE
16 years 18 days ago
Energy-Efficient Scheme for Multiprocessor-Based Router Linecards
– In support of continuously increasing line rates and various Internet services, multiprocessor-based linecards have appeared in next-generation routers, significantly improving...
Malcolm Mandviwalla, Nian-Feng Tzeng
ASPDAC
2006
ACM
127views Hardware» more  ASPDAC 2006»
16 years 17 days ago
Memory size computation for multimedia processing applications
– In real-time multimedia processing systems a very large part of the power consumption is due to the data storage and data transfer. Moreover, the area cost is often largely dom...
Hongwei Zhu, Ilie I. Luican, Florin Balasa
EURONGI
2005
Springer
16 years 3 days ago
Service Level Agreement Enforcement for Differentiated Services
This paper describes a hierarchical architecture of active policies that performs the management of a differentiated services (DiffServ) network. These policies monitor quality of ...
Paulo Rogério Pereira