Sciweavers

42507 search results - page 450 / 8502
» On the analysis of
Sort
View
DAC
2002
ACM
16 years 8 months ago
Model composition for scheduling analysis in platform design
We present a compositional approach to analyze timing behavior of complex platforms with different scheduling strategies. The approach uses event interfacing in order to couple pr...
Kai Richter, Dirk Ziegenbein, Marek Jersak, Rolf E...
ISBI
2004
IEEE
16 years 8 months ago
Subspace Models for Functional MRI Data Analysis
The models used for analyzing functional MRI (fMRI) data have profound impact on the detection of active brain areas. In this paper temporal and spatial linear subspace models for...
Ola Friman
CADE
2009
Springer
16 years 7 months ago
Termination Analysis by Dependency Pairs and Inductive Theorem Proving
Current techniques and tools for automated termination analysis of term rewrite systems (TRSs) are already very powerful. However, they fail for algorithms whose termination is ess...
Carsten Fuhs, Jürgen Giesl, Michael Parting, ...
KDD
2005
ACM
171views Data Mining» more  KDD 2005»
16 years 7 months ago
Application of kernels to link analysis
Abstract. The application of kernel methods to link analysis is explored. We argue that a family of kernels on graphs provides a unified perspective on the three measures proposed ...
Takahiko Ito, Masashi Shimbo, Taku Kudo, Yuji Mats...
ICCD
2002
IEEE
79views Hardware» more  ICCD 2002»
16 years 4 months ago
TAXI: Trace Analysis for X86 Interpretation
Although x86 processors have been around for a long time and are the most ubiquitous processors in the world, the amount of academic research regarding details of their performanc...
Stevan A. Vlaovic, Edward S. Davidson