Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- research-articleJuly 2013
Fitting Statistical Models of Random Search in Simulation Studies
ACM Transactions on Modeling and Computer Simulation (TOMACS), Volume 23, Issue 3Article No.: 15, Pages 1–22https://doi.org/10.1145/2499913.2499914We consider optimization of expected system performance by random search. There are two sources of random variation in this process: (i) a search-induced variability because the expected performance of the system will vary randomly according to the ...
- demonstrationSeptember 2010
Tool support for continuous maintenance of state machine models in program code
ASE '10: Proceedings of the 25th IEEE/ACM International Conference on Automated Software EngineeringPages 175–176https://doi.org/10.1145/1858996.1859033Software under development is considered by developers at different levels of abstraction, often with formal model specifications that describe actual program code. However, there are semantic barriers between high-level specifications and the resulting ...