Sciweavers

667 search results - page 84 / 134
» Dynamic hardware software partitioning: a first approach
Sort
View
CDC
2009
IEEE
147views Control Systems» more  CDC 2009»
15 years 4 months ago
A simulation-based method for aggregating Markov chains
— This paper addresses model reduction for a Markov chain on a large state space. A simulation-based framework is introduced to perform state aggregation of the Markov chain base...
Kun Deng, Prashant G. Mehta, Sean P. Meyn
DASFAA
2006
IEEE
168views Database» more  DASFAA 2006»
15 years 3 months ago
COWES: Clustering Web Users Based on Historical Web Sessions
Clustering web users is one of the most important research topics in web usage mining. Existing approaches cluster web users based on the snapshots of web user sessions. They do no...
Ling Chen 0002, Sourav S. Bhowmick, Jinyan Li
RV
2010
Springer
177views Hardware» more  RV 2010»
14 years 10 months ago
Runtime Instrumentation for Precise Flow-Sensitive Type Analysis
We describe a combination of runtime information and static analysis for checking properties of complex and configurable systems. The basic idea of our approach is to 1) let the p...
Etienne Kneuss, Philippe Suter, Viktor Kuncak
CSREAESA
2003
15 years 1 months ago
Worst Case Execution Time Analysis for Petri Net Models of Embedded Systems
We present an approach for Worst-Case Execution Time (WCET) Analysis of embedded system software, that is generated from Petri net specifications. The presented approach is part ...
Friedhelm Stappert, Carsten Rust
CCGRID
2005
IEEE
15 years 5 months ago
Semi-automated preservation and archival of scientific data using semantic grid services
Addressing the long term preservation issues associated with scientific data is a complex challenge compounded by: the scale and multidisciplinary nature of the problem; the wide ...
J. Hunter, S. Choudhury