Sciweavers

2544 search results - page 187 / 509
» Process pipeline scheduling
Sort
View
ICDE
2007
IEEE
123views Database» more  ICDE 2007»
16 years 7 months ago
A Cooperative, Self-Configuring High-Availability Solution for Stream Processing
We present a collaborative, self-configuring high availability (HA) approach for stream processing that enables low-latency failure recovery while incurring small run-time overhea...
Jeong-Hyon Hwang, Ying Xing, Ugur Çetinteme...
VTC
2006
IEEE
16 years 16 days ago
Transmitter-Based Pre-Processing for OFDM-CDMA Forward-Link Systems with Two-Dimensional Spreading
—Transmitter-based signal pre-processing is investigated for the two-dimensional (2-D) OFDM-CDMA (orthogonal frequency division multiplexing, code division multiple access) forwa...
Chih-Cheng Kuo, Wern-Ho Sheen, Chung-Ju Chang, Cha...
RTSS
1994
IEEE
15 years 10 months ago
Guaranteeing End-to-End Timing Constraints by Calibrating Intermediate Processes
This paper presents a comprehensive design methodology for guaranteeing end-to-end requirements of real-time systems. Applications are structured as a set of process components co...
Richard Gerber, Seongsoo Hong, Manas Saksena
DAWAK
2006
Springer
15 years 10 months ago
A Greedy Approach to Concurrent Processing of Frequent Itemset Queries
We consider the problem of concurrent execution of multiple frequent itemset queries. If such data mining queries operate on overlapping parts of the database, then their overall I...
Pawel Boinski, Marek Wojciechowski, Maciej Zakrzew...
TACAS
2000
Springer
138views Algorithms» more  TACAS 2000»
15 years 10 months ago
Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation
This paper reports on experimental results with symbolic model checking of probabilistic processes based on Multi-Terminal Binary Decision Diagrams (MTBDDs). We consider concurrent...
Luca de Alfaro, Marta Z. Kwiatkowska, Gethin Norma...