1833 search results - page 232 / 367 » Mechanized Verification with Sharing |
189
click to vote
INFOCOM
2005
IEEE
16 years 1 days ago
2005
IEEE
TCP with Van Jacobson congestion control (VJCC) is known to have poor performance over large bandwidthdelay product paths. Long delay paths, in particular, can display very poor b...
189
click to vote
LCN
2005
IEEE
16 years 1 days ago
2005
IEEE
The Internet Engineering Task Force (IETF) recommended the deployment of Active Queue Management (AQM) in the Internet routers in 1998. There were more than 50 new AQM algorithms ...
167
click to vote
SEMWEB
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Coordination is the process of managing the possible interactions between activities and processes; a mechanism to handle such interactions is known as a coordination reg...
157
click to vote
ASPLOS
2004
ACM
15 years 12 months ago
2004
ACM
Transactional Coherence and Consistency (TCC) offers a way to simplify parallel programming by executing all code within transactions. In TCC systems, transactions serve as the fu...
181
click to vote
CLUSTER
2003
IEEE
15 years 11 months ago
2003
IEEE
— The efforts to construct a national scale Grid computing environment have brought unprecedented computing capacity and complicacy. Exploiting this complex infrastructure requir...