Sciweavers

374 search results - page 37 / 75
» Applying Static Analysis to Software Architectures
Sort
View
89
Voted
AOSD
2008
ACM
14 years 11 months ago
View-based maintenance of graphical user interfaces
One difficulty in software maintenance is that the relationship between observed program behavior and source code is not always clear. In this paper we are concerned specifically ...
Peng Li, Eric Wohlstadter
PLDI
2010
ACM
15 years 2 months ago
Mixing type checking and symbolic execution
Static analysis designers must carefully balance precision and efficiency. In our experience, many static analysis tools are built around an elegant, core algorithm, but that alg...
Yit Phang Khoo, Bor-Yuh Evan Chang, Jeffrey S. Fos...
BCSHCI
2007
14 years 11 months ago
Information architecture with IBM Task Modeler
The IBM Task Modeler supports the rapid creation and analysis of hierarchical task models, thereby providing a valuable and naturally visual tool for information architects. Task ...
Colin Bird, Mark Farmer
WOSP
2004
ACM
15 years 3 months ago
Early-stage performance modeling and its application for integrated embedded control software design
Most of current embedded control software (ECSW) development techniques deal only with performance specifications during the early software design phase and delay the modeling and...
Shige Wang, Kang G. Shin
CODES
2008
IEEE
15 years 4 months ago
Intra- and inter-processor hybrid performance modeling for MPSoC architectures
The heterogeneity of modern MPSoC architectures, coupled with the increasing complexity of the applications mapped onto them has recently led to a lot of interest in hybrid perfor...
Frank E. B. Ophelders, Samarjit Chakraborty, Henk ...