7623 search results - page 1413 / 1525 » Constructive Volume Modeling |
208
click to vote
HASKELL
2009
ACM
16 years 25 days ago
2009
ACM
We address the problem of reasoning about Haskell programs that use Software Transactional Memory (STM). As a motivating example, we consider Haskell code for a concurrent non-det...
204
click to vote
SIGMETRICS
2009
ACM
16 years 25 days ago
2009
ACM
Disseminating a piece of information, or updates for a piece of information, has been shown to benefit greatly from simple randomized procedures, sometimes referred to as gossipi...
166
click to vote
SECON
2008
IEEE
16 years 21 days ago
2008
IEEE
Abstract—In this paper, we propose and evaluate two distributed protocols for finding low-cost broadcast and multicast trees in wireless networks. The constructed trees can then...
205
click to vote
BROADNETS
2007
IEEE
16 years 20 days ago
2007
IEEE
— Traffic engineering has been extensively studied to maximize network resource utilization while minimizing call blocking [1]. As the the demand for high data rate services ove...
156
click to vote
FOCS
2007
IEEE
16 years 20 days ago
2007
IEEE
We introduce a new primitive called Intrusion-Resilient Secret Sharing (IRSS), whose security proof exploits the fact that there exist functions which can be efficiently computed ...