1680 search results - page 116 / 336 » Automated Model Selection for Simulation |
IPPS
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper describes an overview of Environment for Memory Performance Studies (EMPS). EMPS is a framework to allow different data gathering and simulation tools to be composed to...
APGV
2006
ACM
13 years 11 months ago
2006
ACM
Realistic image synthesis is the process of computing photorealistic images which are perceptually and measurably indistinguishable from real-world images. In order to obtain high...
IAT
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper presents an agent model of the dynamics of a human’s functional state in relation to task performance and environment. It can be used in agent systems that support hu...
QEST
2005
IEEE
14 years 1 months ago
2005
IEEE
This short tool paper introduces MRMC, a model checker for discrete-time and continuous-time Markov reward models. It supports reward extensions of PCTL and CSL, and allows for th...
WSC
2004
13 years 9 months ago
2004
Stream Option Manager (SOM) is a set of mathematical tools developed at The MITRE Corporation's Center for Advanced Aviation System Development (CAASD). While still under dev...