199 search results - page 24 / 40 » Detecting Global Predicates in Distributed Systems with Cloc... |
ICCAD
2000
IEEE
15 years 2 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 ...
OSDI
1996
ACM
14 years 11 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 ...
101
click to vote
USENIX
2008
14 years 12 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...
113
click to vote
AIPRF
2008
14 years 11 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...
88
Voted
CW
2003
IEEE
15 years 2 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...