Sciweavers

Share
14 search results - page 1 / 3
» Optimizing the Symbolic Execution of Communicating and Evolv...
Sort
View
MODELS
2015
Springer
4 years 6 months ago
Optimizing the Symbolic Execution of Communicating and Evolving State Machines
Abstract—This paper describes research investigating two complementary optimization techniques that leverage the similarities between state machines versions to reduce the cost o...
Amal Khalil
MODELS
2015
Springer
4 years 6 months ago
Change-driven Incremental Symbolic Execution of Evolving State Machines
—This paper summarizes our research findings on optimizing the symbolic execution of evolving state machines using incremental analysis. I. PROBLEM AND MOTIVATION Model Driven E...
Amal Khalil
TOOLS
2000
IEEE
10 years 3 months ago
More Meaningful UML Models
UML is widely used today for modelling complex systems. However, the tools support capabilities for UML is limited, partially due to its lack of precise semantics. There are some ...
Ileana Ober
APPROX
2006
Springer
89views Algorithms» more  APPROX 2006»
10 years 2 months ago
Online Algorithms to Minimize Resource Reallocations and Network Communication
Abstract. In this paper, we consider two new online optimization problems (each with several variants), present similar online algorithms for both, and show that one reduces to the...
Sashka Davis, Jeff Edmonds, Russell Impagliazzo
SE
2016
4 years 6 months ago
Scaling size and parameter spaces in variability-aware software performance models
Abstract—In software performance engineering, what-if scenarios, architecture optimization, capacity planning, run-time adaptation, and uncertainty management of realistic models...
Matthias Kowal, Max Tschaikowski, Mirco Tribastone...
books