766 search results - page 73 / 154 » Commuting aggregation operators |
101
Voted
ACS
2006
15 years 2 months ago
2006
Abstract. Categories of lax (T, V )-algebras are shown to have pullbackstable coproducts if T preserves inverse images. The general result not only gives a common proof of this pro...
143
Voted
JPDC
2008
15 years 2 months ago
2008
This paper gives an overview of two middleware systems that have been developed over the last 6 years to address the challenges involved in developing parallel and distributed imp...
136
Voted
CORR
2010
Springer
15 years 4 days ago
2010
Springer
We consider the problem of intruder deduction in security protocol analysis: that is, deciding whether a given message M can be deduced from a set of messages under the theory of ...
112
Voted
USENIX
2008
15 years 5 months ago
2008
The performance of receive side TCP processing has traditionally been dominated by the cost of the `per-byte' operations, such as data copying and checksumming. We show that ...
132
Voted
WCRE
2006
IEEE
15 years 8 months ago
2006
IEEE
We describe the design and implementation of FFE/x86 (File-Format Extractor for x86), an analysis tool that works on stripped executables (i.e., neither source code nor debugging ...