702 search results - page 36 / 141 » Analysis and Performance Results of a Molecular Modeling App... |
SIGMETRICS
2002
ACM
13 years 7 months ago
2002
ACM
Scheduling in large-scale parallel systems has been and continues to be an important and challenging research problem. Several key factors, including the increasing use of off-the...
ICCD
1995
IEEE
13 years 11 months ago
1995
IEEE
Symbolic model checking is a successful technique for checking properties of large finite-state systems. This method has been used to verify a number of real-world hardware desig...
BMCBI
2011
12 years 11 months ago
2011
Background: G protein-coupled receptors (GPCRs) transduce a wide variety of extracellular signals to within the cell and therefore have a key role in regulating cell activity and ...
KES
2007
Springer
14 years 2 months ago
2007
Springer
This paper reports on the unsupervised analysis of seismic signals recorded in Italy, respectively on the Vesuvius volcano, located in Naples, and on the Stromboli volcano, located...
IPPS
2003
IEEE
14 years 1 months ago
2003
IEEE
With the emergence of grid computing environment, performance measurement, analysis and prediction of non-dedicated distributed systems have become increasingly important. In this...