Sciweavers

194 search results - page 26 / 39
» TACO: timing analysis with coupling
Sort
View
CODES
2008
IEEE
14 years 2 months ago
Intra- and inter-processor hybrid performance modeling for MPSoC architectures
The heterogeneity of modern MPSoC architectures, coupled with the increasing complexity of the applications mapped onto them has recently led to a lot of interest in hybrid perfor...
Frank E. B. Ophelders, Samarjit Chakraborty, Henk ...
JCNS
2000
126views more  JCNS 2000»
13 years 7 months ago
Alpha-Frequency Rhythms Desynchronize over Long Cortical Distances: A Modeling Study
Neocortical networks of excitatory and inhibitory neurons can display alpha()-frequency rhythms when an animal is in a resting or unfocused state. Unlike some - and -frequency rhy...
Stephanie R. Jones, David J. Pinto, Tasso J. Kaper...
TOMACS
2011
139views more  TOMACS 2011»
13 years 2 months ago
The double CFTP method
We consider the problem of the exact simulation of random variables Z that satisfy the distributional identity Z L = V Y + (1 − V )Z, where V ∈ [0, 1] and Y are independent, an...
Luc Devroye, Lancelot F. James
SAS
2009
Springer
214views Formal Methods» more  SAS 2009»
14 years 8 months ago
Abstract Interpretation of FIFO Replacement
Interpretation of FIFO Replacement Daniel Grund and Jan Reineke Saarland University, Saarbr?ucken, Germany In hard real-time systems, the execution time of programs must be bounded...
Daniel Grund, Jan Reineke
BMCBI
2008
148views more  BMCBI 2008»
13 years 8 months ago
Critical assessment of alignment procedures for LC-MS proteomics and metabolomics measurements
Background: Liquid chromatography coupled to mass spectrometry (LC-MS) has become a prominent tool for the analysis of complex proteomics and metabolomics samples. In many applica...
Eva Lange, Ralf Tautenhahn, Steffen Neumann, Cleme...