Sciweavers

535 search results - page 28 / 107
» Concurrency Control: Methods, Performance, and Analysis
Sort
View
AUTOMATICA
2008
88views more  AUTOMATICA 2008»
13 years 8 months ago
Control design with guaranteed ultimate bound for perturbed systems
We present a new control design method for perturbed multiple-input systems, which guarantees any desired componentwise ultimate bound on the system state. The method involves eig...
Ernesto Kofman, María M. Seron, Hernan Haim...
HICSS
2007
IEEE
125views Biometrics» more  HICSS 2007»
14 years 2 months ago
Stochastic Formal Methods: An Application to Accuracy of Numeric Software
— This paper provides a bound on the number of numeric operations (fixed or floating point) that can safely be performed before accuracy is lost. This work has important implic...
Marc Daumas, David Lester
BMCBI
2004
154views more  BMCBI 2004»
13 years 7 months ago
Accuracy of cDNA microarray methods to detect small gene expression changes induced by neuregulin on breast epithelial cells
Background: cDNA microarrays are a powerful means to screen for biologically relevant gene expression changes, but are often limited by their ability to detect small changes accur...
Bin Yao, Sanjay N. Rakhade, Qunfang Li, Sharlin Ah...
DATE
2008
IEEE
131views Hardware» more  DATE 2008»
14 years 2 months ago
Parametric Throughput Analysis of Synchronous Data Flow Graphs
Synchronous Data Flow Graphs (SDFGs) have proved to be a very successful tool for modeling, analysis and synthesis of multimedia applications targeted at both single- and multiproc...
Amir Hossein Ghamarian, Marc Geilen, Twan Basten, ...
SIGCOMM
2009
ACM
14 years 2 months ago
In defense of wireless carrier sense
Carrier sense is often used to regulate concurrency in wireless medium access control (MAC) protocols, balancing interference protection and spatial reuse. Carrier sense is known ...
Micah Z. Brodsky, Robert T. Morris