Sciweavers

12333 search results - page 154 / 2467
» System Level Modelling for Hardware Software Systems
Sort
View
ICDE
2009
IEEE
156views Database» more  ICDE 2009»
16 years 7 months ago
Online Anomaly Prediction for Robust Cluster Systems
In this paper, we present a stream-based mining algorithm for online anomaly prediction. Many real-world applications such as data stream analysis requires continuous cluster opera...
Xiaohui Gu, Haixun Wang
ASPDAC
1998
ACM
49views Hardware» more  ASPDAC 1998»
15 years 10 months ago
Unrolling Loops With Indeterminate Loop Counts in System Level Pipelines
This paper describes the unrolling of loops with indeterminate loop counts in system level pipelines. Two methods are discussed in this paper. The first method is the varied latenc...
Hui Guo, Sri Parameswaran
FDL
2007
IEEE
16 years 15 days ago
Automatic High Level Assertion Generation and Synthesis for Embedded System Design
SystemVerilog encapsulates both design description and verification properties in one language and provides a unified environment for engineers who have the formidable challenge o...
Lun Li, Frank P. Coyle, Mitchell A. Thornton
ISLPED
2010
ACM
158views Hardware» more  ISLPED 2010»
15 years 6 months ago
Temperature- and energy-constrained scheduling in multitasking systems: a model checking approach
The ongoing scaling of semiconductor technology is causing severe increase of on-chip power density and temperature in microprocessors. This has raised urgent requirement for both...
Weixun Wang, Xiaoke Qin, Prabhat Mishra
ISSTA
2006
ACM
16 years 3 days ago
Architecture-driven platform independent deterministic replay for distributed hard real-time systems
Distributed hard real-time systems have become a major component of many advanced technical products. Means to ensure their proper quality are thus of paramount importance. To ens...
Holger Giese, Stefan Henkler