Sciweavers

7195 search results - page 780 / 1439
» On Computing Power
Sort
View
202
Voted
LICS
2005
IEEE
16 years 1 months ago
Name Generation and Linearity
A path-based domain theory for higher-order processes is extended to allow name generation. The original domain theory is built around the monoidal-closed category Lin consisting ...
Glynn Winskel
ARCS
2006
Springer
15 years 11 months ago
An Operating System Infrastructure for Fault-Tolerant Reconfigurable Networks
Abstract. Dynamic hardware reconfiguration is becoming a key technology in embedded system design that offers among others new potentials in dependable computing. To make system de...
Dirk Koch, Thilo Streichert, Steffen Dittrich, Chr...
CATA
2003
15 years 8 months ago
Efficient Power-aware Hybrid Routing using Zoning for Ad Hoc Network
A number of routing protocols have been proposed for mobile ad hoc networks. In this paper we propose a hybrid multiple zoning scheme minimizing the number of route request messag...
Jong Ho Lee, Hee Yong Youn, Chansu Yu, Dongman Lee
299
Voted
MP
2010
116views more  MP 2010»
15 years 5 months ago
New techniques for cost sharing in combinatorial optimization games
Combinatorial optimization games form an important subclass of cooperative games. In recent years, increased attention has been given to the issue of finding good cost shares for...
Alberto Caprara, Adam N. Letchford
SPAA
2010
ACM
15 years 7 months ago
Buffer-space efficient and deadlock-free scheduling of stream applications on multi-core architectures
We present a scheduling algorithm of stream programs for multi-core architectures called team scheduling. Compared to previous multi-core stream scheduling algorithms, team schedu...
JongSoo Park, William J. Dally