Sciweavers

2061 search results - page 298 / 413
» Tiling with limited resources
Sort
View
ATAL
2008
Springer
15 years 9 months ago
Max-sum decentralised coordination for sensor systems
A key challenge for the successful deployment of systems consisting of multiple autonomous networked sensors is the development of decentralised mechanisms to coordinate the activ...
W. T. Luke Teacy, Alessandro Farinelli, N. J. Grab...
CBSE
2008
Springer
15 years 9 months ago
Ada-CCM: Component-Based Technology for Distributed Real-Time Systems
: This paper proposes a technology for the development of distributed real-time component-based applications, which takes advantage of the features that Ada offers for the developm...
Patricia López Martínez, José...
CHARME
2005
Springer
145views Hardware» more  CHARME 2005»
15 years 9 months ago
Maximal Input Reduction of Sequential Netlists via Synergistic Reparameterization and Localization Strategies
Abstract. Automatic formal verification techniques generally require exponential resources with respect to the number of primary inputs of a netlist. In this paper, we present sev...
Jason Baumgartner, Hari Mony
CIVR
2008
Springer
166views Image Analysis» more  CIVR 2008»
15 years 8 months ago
Content personalization and adaptation for three-screen services
Three-screen services provide the right solution for consumers to access rich multimedia resources by any device, anytime and anywhere. In this paper, we describe a prototype syst...
Zhu Liu, David C. Gibbon, Harris Drucker, Andrea B...
CONEXT
2008
ACM
15 years 8 months ago
ISP-friendly peer matching without ISP collaboration
In peer-to-peer (P2P) systems, a receiver needs to be matched with multiple senders, because peers have limited capacity and reliability. Efficient peer matching can reduce the co...
Cheng-Hsin Hsu, Mohamed Hefeeda