Sciweavers

970 search results - page 84 / 194
» Distance-based discriminant analysis method and its applicat...
Sort
View
ARCS
2006
Springer
14 years 20 days ago
Large Event Traces in Parallel Performance Analysis
: A powerful and widely-used method for analyzing the performance behavior of parallel programs is event tracing. When an application is traced, performancerelevant events, such as...
Felix Wolf, Felix Freitag, Bernd Mohr, Shirley Moo...
IMCSIT
2010
13 years 6 months ago
On the Numerical Analysis of Stochastic Lotka-Volterra Models
The stochastic Lotka-Volterra model is an infinite Markov population model that has applications in various life science domains. Its analysis is challenging since, besides an infi...
Tugrul Dayar, Linar Mikeev, Verena Wolf
FMCAD
2007
Springer
14 years 25 days ago
A Mechanized Refinement Framework for Analysis of Custom Memories
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...
Sandip Ray, Jayanta Bhadra
PLDI
2004
ACM
14 years 2 months ago
Symbolic pointer analysis revisited
Pointer analysis is a critical problem in optimizing compiler, parallelizing compiler, software engineering and most recently, hardware synthesis. While recent efforts have sugges...
Jianwen Zhu, Silvian Calman
CPHYSICS
2007
89views more  CPHYSICS 2007»
13 years 9 months ago
Numerical differentiation of experimental data: local versus global methods
In the context of the analysis of measured data, one is often faced with the task to differentiate data numerically. Typically, this occurs when measured data are concerned or dat...
Karsten Ahnert, Markus Abel