7167 search results - page 1225 / 1434 » A Technique for Invariant Generation |
218
click to vote
PPOPP
2009
ACM
16 years 7 months ago
2009
ACM
Message Passing Interface (MPI) is a widely used standard for managing coarse-grained concurrency on distributed computers. Debugging parallel MPI applications, however, has alway...
237
click to vote
KDD
2009
ACM
16 years 7 months ago
2009
ACM
A major source of information (often the most crucial and informative part) in scholarly articles from scientific journals, proceedings and books are the figures that directly pro...
229
click to vote
MOBISYS
2009
ACM
16 years 7 months ago
2009
ACM
Radio Frequency IDentification (RFID) deployments are becoming increasingly popular in both industrial and consumer-oriented settings. To effectively exploit and operate such depl...
280
click to vote
KDD
2007
ACM
16 years 7 months ago
2007
ACM
The proliferation of malware has presented a serious threat to the security of computer systems. Traditional signature-based antivirus systems fail to detect polymorphic and new, ...
220
click to vote
KDD
2003
ACM
16 years 7 months ago
2003
ACM
A data stream is a massive unbounded sequence of data elements continuously generated at a rapid rate. Consequently, the knowledge embedded in a data stream is more likely to be c...