1022 search results - page 159 / 205 » New models and algorithms for programmable networks |
93
Voted
TOG
2008
15 years 12 days ago
2008
Motivated by applications in architecture and manufacturing, we discuss the problem of covering a freeform surface by single curved panels. This leads to the new concept of semi-d...
107
Voted
DSN
2007
IEEE
15 years 4 months ago
2007
IEEE
Model-checking of asynchronous distributed protocols is challenging because of the large size of the state and solution spaces. This paper tackles this problem in the context of l...
93
Voted
GLOBECOM
2010
IEEE
14 years 10 months ago
2010
IEEE
Multi-path routing is effective to enhance network availability, by selecting multiple failure-independent paths for reaching one destination in the hope to survive individual pat...
126
click to vote
AND
2009
14 years 10 months ago
2009
In this paper we propose a new approach to capture the inclination towards a certain election candidate from the contents of blogs and to explain why that inclination may be so. T...
101
click to vote
CP
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Rambo is the Reconfigurable Atomic Memory for Basic Objects, a formally specified algorithm that implements atomic read/write shared memory in dynamic networks, where t...