Sciweavers

4164 search results - page 238 / 833
» Timing model reduction for hierarchical timing analysis
Sort
View
APLAS
2007
ACM
15 years 10 months ago
A Systematic Approach to Probabilistic Pointer Analysis
Abstract. We present a formal framework for syntax directed probabilistic program analysis. Our focus is on probabilistic pointer analysis. We show how to obtain probabilistic poin...
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...
ISSS
2000
IEEE
94views Hardware» more  ISSS 2000»
15 years 11 months ago
A Transformational Approach to Constraint Relaxation of a Time-driven Simulation Model
Time-driven simulation models typically model timing in an idealized way that is over-constrained and cannot be directly implemented. In this paper we present a transformation to ...
Marek Jersak, Ying Cai, Dirk Ziegenbein, Rolf Erns...
ICONIP
2007
15 years 8 months ago
Principal Component Analysis for Sparse High-Dimensional Data
Abstract. Principal component analysis (PCA) is a widely used technique for data analysis and dimensionality reduction. Eigenvalue decomposition is the standard algorithm for solvi...
Tapani Raiko, Alexander Ilin, Juha Karhunen
RTAS
2008
IEEE
16 years 1 months ago
Schedulability Analysis of MSC-based System Models
Message Sequence Charts (MSCs) are widely used for describing interaction scenarios between the components of a distributed system. Consequently, worst-case response time estimati...
Lei Ju, Abhik Roychoudhury, Samarjit Chakraborty
ISLPED
2000
ACM
110views Hardware» more  ISLPED 2000»
15 years 11 months ago
Cycle-accurate energy consumption measurement and analysis: case study of ARM7TDMI
We introduce an energy consumption analysis of complex digital systems through a case study of ARM7TDMI RISC processor by using a new energy measurement technique. We developed a ...
Naehyuck Chang, Kwanho Kim, Hyung Gyu Lee