6274 search results - page 715 / 1255 » Proofs, Programs, Processes |
193
click to vote
TOOLS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. Virtual machines (VMs) emulating hardware devices are generally implemented in low-level languages for performance reasons. This results in unmaintainable systems that ar...
153
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
Shared and mutable data-structures pose major problems in static analysis and most analyzers are unable to keep track of the values of numeric variables stored in the heap. In this...
195
click to vote
COMPSAC
2008
IEEE
16 years 1 months ago
2008
IEEE
In this article, we address the problem of modularizing legacy applications with monolithic structure, primarily focusing on business software written in an objectoriented program...
183
click to vote
IWPC
2008
IEEE
16 years 1 months ago
2008
IEEE
REportal is an existing web-based reverse engineering portal web site that provides access to a suite of reverse engineering and program comprehension tools via a web This abstrac...
161
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
Performance tuning involves a diagnostic process to locate and explain sources of program inefficiency. A performance diagnosis system can leverage knowledge of performance cause...