199 search results - page 24 / 40 » Detecting Global Predicates in Distributed Systems with Cloc... |
119
click to vote
ICCAD
2000
IEEE
15 years 6 months ago
2000
IEEE
Most hardware description frameworks, whether schematic or textual, use cooperating finite state machines (CFSM) as the underlying abstraction. In the CFSM framework, a designer ...
116
click to vote
OSDI
1996
ACM
15 years 3 months ago
1996
ACM
We present the design and evaluation of an on-thefly data-race-detection technique that handles applications written for the lazy release consistent (LRC) shared memory model. We ...
133
click to vote
USENIX
2008
15 years 4 months ago
2008
This paper describes Mortar, a distributed stream processing platform for building very large queries across federated systems (enterprises, grids, datacenters, testbeds). Nodes i...
148
click to vote
AIPRF
2008
15 years 3 months ago
2008
Unsolicited commercial or bulk emails or emails containing viruses pose a great threat to the utility of email communications. A recent solution for filtering is reputation systems...
117
click to vote
CW
2003
IEEE
15 years 7 months ago
2003
IEEE
Information and infrastructure security is a serious issue of global concern. As the last line of defense for security infrastructure, intrusion detection techniques are paid more...