6756 search results - page 118 / 1352 » Distributed Shared State |
110
Voted
CORR
2011
Springer
14 years 9 months ago
2011
Springer
This paper focuses on reducing memory usage in enumerative model checking, while maintaining the multi-core scalability obtained in earlier work. We present a multi-core tree-based...
115
click to vote
ISPASS
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper presents and experimentally evaluates two parallelization strategies for the popular open-source Snort network intrusion detection system (NIDS). Snort identifies intr...
105
Voted
INFOCOM
2007
IEEE
15 years 9 months ago
2007
IEEE
— To discover an efficient fair sending rate for a flow, Transmission Control Protocol (TCP) saturates the bottleneck link and its buffer until the router discards a packet. Su...
124
Voted
PLDI
2005
ACM
15 years 8 months ago
2005
ACM
Today’s module systems do not effectively support information hiding in the presence of shared mutable objects, causing serious problems in the development and evolution of larg...
119
Voted
ICT
2004
Springer
15 years 8 months ago
2004
Springer
— In this paper we determine bounds of the capacity region of a two-user multipleaccess channel with Rayleigh fading when neither the transmitters nor the receiver has channel st...