2846 search results - page 414 / 570 » A Software Performance Engineering Tool based on the UML-SPT |
188
click to vote
SPRINGSIM
2007
15 years 7 months ago
2007
DEVS is a Modeling and Simulation formalism that has been used to study the dynamics of discrete event systems. Cell-DEVS is a DEVS-based formalism that defines the cell space as ...
175
click to vote
ARCS
2006
Springer
15 years 10 months ago
2006
Springer
This corresponds to the material in the invited keynote presentation by H. J. Siegel, summarizing the research in [2, 23]. Resource allocation decisions in heterogeneous parallel a...
142
click to vote
IJSM
2007
15 years 6 months ago
2007
Computer-Aided Geometric Design modelers are now based on powerful mathematical curve and surface models, but there is still a considerable need for efficient tools to handle, ana...
174
click to vote
VSTTE
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We present a framework for verifying that programs correctly preserve important data structure consistency properties. Results from our implemented system indicate that o...
226
click to vote
ICST
2011
IEEE
14 years 10 months ago
2011
IEEE
—Static analysis tools have been widely used to detect potential defects without executing programs. It helps programmers raise the awareness about subtle correctness issues in t...