3436 search results - page 398 / 688 » Software Tools for Performance Modeling of Parallel Programs |
110
click to vote
VMCAI
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Because of its critical importance underlying all other software, lowlevel system software is among the most important targets for formal verification. Low-level systems...
150
Voted
UML
2005
Springer
15 years 8 months ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
121
Voted
GPCE
2008
Springer
15 years 3 months ago
2008
Springer
A user interface, such as a dialog, assists a user in synthesising a set of values, typically parameters for a command object. Code for “command parameter synthesis” is usuall...
107
Voted
SEKE
2005
Springer
15 years 8 months ago
2005
Springer
Current aspect-oriented programming (AOP) enhances maintainability and comprehensibility by modularizing concerns crosscutting multiple components but lacks the support for the hie...
178
Voted
OOPSLA
2001
Springer
15 years 7 months ago
2001
Springer
The goal of points-to analysis for Java is to determine the set of objects pointed to by a reference variable or a reference object field. This information has a wide variety of ...