1718 search results - page 78 / 344 » Modeling and testing of cloud applications |
AIPS
2000
13 years 11 months ago
2000
The Remote Agent Experiment (RAX) on the Deep Space 1 (DS1) mission was the first time that an artificially intelligent agent controlled a NASA spacecraft. One of the key componen...
IPPS
2007
IEEE
14 years 4 months ago
2007
IEEE
Many performance problems observed in high end systems are actually caused by the runtime system and not the application code. Detecting these cases will require parallel performa...
SEAA
2008
IEEE
14 years 4 months ago
2008
IEEE
There is a growing interest for techniques and tools facilitating the testing of mobile systems. The movement of nodes is one of the relevant factors of context change in ubiquito...
TJS
2002
13 years 9 months ago
2002
The Center for Simulating Dynamic Response of Materials at the California Institute of Technology is constructing a virtual shock physics facility for studying the response of vari...
GI
2009
Springer
14 years 2 months ago
2009
Springer
: Model-checking is a way of testing the correctness of concurrent programs. To do so, a model of the program is proven to match properties and constraints specified by the progra...