Sciweavers

4360 search results - page 798 / 872
» Socio-technical systems: From design methods to systems engi...
Sort
View
95
Voted
BMCBI
2008
95views more  BMCBI 2008»
15 years 21 days ago
Mining protein networks for synthetic genetic interactions
Background: The local connectivity and global position of a protein in a protein interaction network are known to correlate with some of its functional properties, including its e...
Sri R. Paladugu, Shan Zhao, Animesh Ray, Alpan Rav...
91
Voted
IPPS
2008
IEEE
15 years 7 months ago
Modeling and predicting application performance on parallel computers using HPC challenge benchmarks
A method is presented for modeling application performance on parallel computers in terms of the performance of microkernels from the HPC Challenge benchmarks. Specifically, the a...
Wayne Pfeiffer, Nicholas J. Wright
120
Voted
IM
2007
15 years 2 months ago
Estimating End-to-End Performance by Collaborative Prediction with Active Sampling
— Accurately estimating end-to-end performance in distributed systems is essential both for monitoring compliance with service-level agreements (SLAs) and for performance optimiz...
Irina Rish, Gerald Tesauro
111
Voted
BMCBI
2007
182views more  BMCBI 2007»
15 years 21 days ago
Hybrid elementary flux analysis/nonparametric modeling: application for bioprocess control
Background: The progress in the "-omic" sciences has allowed a deeper knowledge on many biological systems with industrial interest. This knowledge is still rarely used ...
Ana P. Teixeira, Carlos Alves, Paula M. Alves, Man...
FM
2005
Springer
98views Formal Methods» more  FM 2005»
15 years 6 months ago
Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern
The Mondex Electronic Purse system [18] is an outstanding example of formal refinement techniques applied to a genuine industrial scale application, and notably, was the first ve...
Richard Banach, Michael Poppleton, Czeslaw Jeske, ...