Counterexample to theorems of Cox and Fine
Joseph Y. Halpern
aaai 1996
High-performance stream processing is critical in many sense-and-respond application domainsfrom environmental monitoring to algorithmic trading. In this paper, we focus on language and runtime support for improving the performance of sense-and-respond applications in processing data from high-rate live streams. The central tenets of this work are the programming model, the workload splitting mechanisms, the code generation framework, and the underlying System S middleware and Spade programming model. We demonstrate considerable scalability behavior coupled with low processing latency in a real-world financial trading application. © 2010 Elsevier Inc. All rights reserved.
Joseph Y. Halpern
aaai 1996
C.A. Micchelli, W.L. Miranker
Journal of the ACM
Freddy Lécué, Jeff Z. Pan
IJCAI 2013
Xiaoxiao Guo, Shiyu Chang, et al.
AAAI 2019