Sciweavers

908 search results - page 157 / 182
» Predictive performance modelling of parallel component compo...
Sort
View
117
Voted
PPOPP
2005
ACM
15 years 9 months ago
Energy conservation in heterogeneous server clusters
The previous research on cluster-based servers has focused on homogeneous systems. However, real-life clusters are almost invariably heterogeneous in terms of the performance, cap...
Taliver Heath, Bruno Diniz, Enrique V. Carrera, Wa...
175
Voted
CCGRID
2004
IEEE
15 years 7 months ago
Capability matching of data streams with network services
Distributed computing middleware needs to support a wide range of resources, such as diverse software components, various hardware devices, and heterogeneous operating systems and...
Han Gao, Ivan R. Judson, Thomas D. Uram, Terry Dis...
441
Voted
ICSE
2012
IEEE-ACM
13 years 5 months ago
Engineering and verifying requirements for programmable self-assembling nanomachines
—We propose an extension of van Lamsweerde’s goal-oriented requirements engineering to the domain of programmable DNA nanotechnology. This is a domain in which individual devic...
Robyn R. Lutz, Jack H. Lutz, James I. Lathrop, Tit...
HYBRID
1998
Springer
15 years 7 months ago
Formal Verification of Safety-Critical Hybrid Systems
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....
Carolos Livadas, Nancy A. Lynch
148
Voted
BIOINFORMATICS
2012
13 years 5 months ago
Epigenetic priors for identifying active transcription factor binding sites
Motivation Accurate knowledge of the genome-wide binding of transcription factors in a particular cell type or under a particular condition is necessary for understanding transcri...
Gabriel Cuellar-Partida, Fabian A. Buske, Robert C...