2673 search results - page 180 / 535 » Guided Static Analysis |
164
click to vote
IWPC
2006
IEEE
15 years 10 months ago
2006
IEEE
Software system analysis for extracting system functionality remains as a major problem in the reverse engineering literature and the early approaches mainly rely on static proper...
141
Voted
PPPJ
2006
ACM
15 years 10 months ago
2006
ACM
Concept assignment identifies units of source code that are functionally related, even if this is not apparent from a syntactic point of view. Until now, the results of concept a...
145
click to vote
DATE
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper we present a new technique which exploits timing-correlation between tasks for scheduling analysis in multiprocessor and distributed systems with tree-shaped task-de...
136
click to vote
SCAM
2005
IEEE
15 years 10 months ago
2005
IEEE
Long-running, heavily multi-threaded, Java server applications make stringent demands of garbage collector (GC) performance. Synchronisation of all application threads before garb...
141
click to vote
CC
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Several mathematical frameworks for static analysis of programs have been developed in the past decades. Although these tools are quite useful, they have still many limit...