Sciweavers

194 search results - page 26 / 39
» TACO: timing analysis with coupling
Sort
View
CODES
2008
IEEE
15 years 6 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»
14 years 11 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»
14 years 6 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»
16 years 7 days 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»
14 years 11 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...