65 search results - page 9 / 13 » STAS: A Scalability Testing and Analysis System |
TASE
2007
IEEE
14 years 2 months ago
2007
IEEE
Software has been under scrutiny by the verification community from various angles in the recent past. There are two major algorithmic approaches to ensure the correctness of and...
PLDI
2009
ACM
14 years 9 months ago
2009
ACM
As computer systems continue to become more powerful and comdo programs. High-level abstractions introduced to deal with complexity in large programs, while simplifying human reas...
WSC
2000
13 years 10 months ago
2000
The proposed implementation is a monitor system able to train operators for on-line real time manufacturing control in order to analyze the performance of a production process. Th...
ENVSOFT
2008
13 years 8 months ago
2008
The decoupled direct method in three dimensions (DDM-3D) provides an efficient and accurate approach for probing the sensitivity of atmospheric pollutant concentrations to various...
GECCO
2008
Springer
13 years 9 months ago
2008
Springer
A genetic algorithm (GA) was developed to implement a maximum variation sampling technique to derive a subset of data from a large dataset of unstructured mammography reports. It ...