4075 search results - page 760 / 815 » Modeling Distributed Algorithm Using B |
127
click to vote
SOSP
2003
ACM
16 years 29 days ago
2003
ACM
This paper presents Capriccio, a scalable thread package for use with high-concurrency servers. While recent work has advocated event-based systems, we believe that threadbased sy...
150
Voted
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
As software becomes increasingly complex and difficult to analyze, it is more and more common for developers to use high-level, type-safe, object-oriented (OO) programming langua...
134
Voted
ACCV
2010
Springer
14 years 11 months ago
2010
Springer
In this paper, we propose a computational model for social interaction between three people in a conversation, and demonstrate results using human video motion synthesis. We utilis...
123
click to vote
KDD
2009
ACM
15 years 11 months ago
2009
ACM
There is a growing wealth of data describing networks of various types, including social networks, physical networks such as transportation or communication networks, and biologic...
144
click to vote
INFOCOM
2006
IEEE
15 years 10 months ago
2006
IEEE
— This paper analyzes and designs medium access control (MAC) protocols for wireless ad-hoc networks through the network utility maximization (NUM) framework. We first reverse-e...