Sciweavers

6582 search results - page 1247 / 1317
» The focus of attention problem
Sort
View
87
Voted
ICCS
2004
Springer
15 years 6 months ago
Petri Nets as Executable Specifications of High-Level Timed Parallel Systems
We propose to use high-level Petri nets as a model for the semantics of high-level parallel systems. This model is known to be useful for the purpose of verification and we show t...
Franck Pommereau
118
Voted
ICS
2004
Tsinghua U.
15 years 6 months ago
CQoS: a framework for enabling QoS in shared caches of CMP platforms
Cache hierarchies have been traditionally designed for usage by a single application, thread or core. As multi-threaded (MT) and multi-core (CMP) platform architectures emerge and...
Ravi R. Iyer
ICWE
2004
Springer
15 years 6 months ago
Accelerating Dynamic Web Content Delivery Using Keyword-Based Fragment Detection
The recent trend in the Internet traffic is increasing in requests for dynamic and personalized content. To efficiently serve this trend, several serverside and cache-side fragme...
Daniel Brodie, Amrish Gupta, Weisong Shi
144
Voted
JELIA
2004
Springer
15 years 6 months ago
Reasoning About Quantum Systems
Abstract. A new logic is proposed for reasoning about quantum systems. The logic embodies the postulates of quantum physics and it was designed from the semantics upwards by identi...
Paulo Mateus, Amílcar Sernadas
99
Voted
KDD
2004
ACM
147views Data Mining» more  KDD 2004»
15 years 6 months ago
Clustering time series from ARMA models with clipped data
Clustering time series is a problem that has applications in a wide variety of fields, and has recently attracted a large amount of research. In this paper we focus on clustering...
Anthony J. Bagnall, Gareth J. Janacek
« Prev « First page 1247 / 1317 Last » Next »