Sciweavers

5268 search results - page 271 / 1054
» Analysis of Design Process Dynamics
Sort
View
FPGA
2007
ACM
142views FPGA» more  FPGA 2007»
15 years 10 months ago
Parametric yield in FPGAs due to within-die delay variations: a quantitative analysis
Variations in the semiconductor fabrication process results in variability in parameters between transistors on the same die, a problem exacerbated by lithographic scaling. The re...
N. Pete Sedcole, Peter Y. K. Cheung
MCS
2008
Springer
15 years 4 months ago
Error analysis of a stochastic immersed boundary method incorporating thermal fluctuations
A stochastic numerical scheme for an extended immersed boundary method which incorporates thermal fluctuations for the simulation of microscopic biological systems consisting of fl...
Paul J. Atzberger, Peter R. Kramer
BMCBI
2008
78views more  BMCBI 2008»
15 years 4 months ago
Genome Environment Browser (GEB): a dynamic browser for visualising high-throughput experimental data in the context of genome f
Background: There is accumulating evidence that the milieu of repeat elements and other nongenic sequence features at a given chromosomal locus, here defined as the genome environ...
Derek Huntley, Y. Amy Tang, Tatyana B. Nesterova, ...
169
Voted
PLDI
2012
ACM
13 years 7 months ago
Scalable and precise dynamic datarace detection for structured parallelism
Existing dynamic race detectors suffer from at least one of the following three limitations: (i) space overhead per memory location grows linearly with the number of parallel thre...
Raghavan Raman, Jisheng Zhao, Vivek Sarkar, Martin...
CAV
2010
Springer
227views Hardware» more  CAV 2010»
15 years 2 months ago
Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems
We describe Breach, a Matlab toolbox providing a coherent set of simulation-based techniques aimed at the analysis of deterministic models of hybrid dynamical systems. The primary ...
Alexandre Donzé