Sciweavers

1098 search results - page 62 / 220
» Evaluating Statistical Power Optimization
Sort
View
ICST
2009
IEEE
14 years 7 months ago
An Evaluation of Model Checkers for Specification Based Test Case Generation
Under certain constraints the test case generation problem can be represented as a model checking problem, thus enabling the use of powerful model checking tools to perform the te...
Gordon Fraser, Angelo Gargantini
HPDC
2002
IEEE
15 years 2 months ago
Evaluating Web Services Based Implementations of GridRPC
GridRPC is a class of Grid middleware for scientific computing. Interoperability has been an important issue, because current GridRPC systems each employ its own protocol. Web se...
Satoshi Shirasuna, Hidemoto Nakada, Satoshi Matsuo...
TIT
2002
67views more  TIT 2002»
14 years 9 months ago
A statistical-mechanics approach to large-system analysis of CDMA multiuser detectors
We present a theory, based on statistical mechanics, to evaluate analytically the performance of uncoded, fully synchronous, randomly spread code-division multiple-access (CDMA) mu...
Toshiyuki Tanaka
INFOCOM
2010
IEEE
14 years 8 months ago
Minimizing Electricity Cost: Optimization of Distributed Internet Data Centers in a Multi-Electricity-Market Environment
—The study of Cyber-Physical System (CPS) has been an active area of research. Internet Data Center (IDC) is an important emerging Cyber-Physical System. As the demand on Interne...
Lei Rao, Xue Liu, Le Xie, Wenyu Liu
SSDBM
2009
IEEE
174views Database» more  SSDBM 2009»
15 years 4 months ago
Optimization and Execution of Complex Scientific Queries over Uncorrelated Experimental Data
Scientific experiments produce large volumes of data represented as complex objects that describe independent events such as particle collisions. Scientific analyses can be express...
Ruslan Fomkin, Tore Risch