Sciweavers

9166 search results - page 78 / 1834
» A framework for comparing models of computation
Sort
View
AUTOMATICA
2010
77views more  AUTOMATICA 2010»
13 years 8 months ago
On polytopic inclusions as a modeling framework for systems with time-varying delays
One of the important issues in networked control systems is the appropriate handling of the nonlinearities arising from uncertain time-varying delays. In this paper, using the Cay...
Rob H. Gielen, Sorin Olaru, Mircea Lazar, W. P. M....
JCB
2008
91views more  JCB 2008»
13 years 9 months ago
Computational Quantification of Peptides from LC-MS Data
Liquid chromatography coupled to mass spectrometry (LC-MS) has become a major tool for the study of biological processes. High-throughput LC-MS experiments are frequently conducte...
Ole Schulz-Trieglaff, Rene Hussong, Clemens Gr&oum...
ICAC
2007
IEEE
14 years 3 months ago
Approximation Modeling for the Online Performance Management of Distributed Computing Systems
—A promising method of automating management tasks in computing systems is to formulate them as control or optimization problems in terms of performance metrics. For an online op...
Dara Kusic, Nagarajan Kandasamy, Guofei Jiang
SI3D
1999
ACM
14 years 1 months ago
Computing bounding volume hierarchies using model simplification
This paper presents a framework that uses the outputs of model simplification to guide the construction of bounding volume hierarchies for use in, for example, collision detection...
Tiow Seng Tan, Ket-Fah Chong, Kok-Lim Low
DSN
2006
IEEE
14 years 3 months ago
Dynamic Verification of Memory Consistency in Cache-Coherent Multithreaded Computer Architectures
—Multithreaded servers with cache-coherent shared memory are the dominant type of machines used to run critical network services and database management systems. To achieve the h...
Albert Meixner, Daniel J. Sorin