On Modular Pluggable Analyses Using Set Interfaces
We present a technique that enables the focused applicationof multiple analyses to different modules in the same program. Our researchhas two goals: 1) to address the scalability limitations of preciseanalyses by focusing the analysis on only those parts of the program thatare relevant to the proper...
Main Authors: | Lam, Patrick, Kuncak, Viktor, Rinard, Martin |
---|---|
Other Authors: | Computer Architecture |
Language: | en_US |
Published: |
2005
|
Online Access: | http://hdl.handle.net/1721.1/30441 |
Similar Items
-
A Synthesis Algorithm for Modular Design of Pipelined Circuits
by: Marinescu, Maria-Cristina, et al.
Published: (2025) -
A Formal Framework for Modular Synchronous System Design
by: Marinescu, Maria-Cristina V, et al.
Published: (2025) -
High-level synthesis of pipelined circuits from modular queue-based specifications
by: Marinescu, MC, et al.
Published: (2025) -
Cloud Spark Cluster to analyse English prescription big data for NHS intelligence
by: Fernando, Sandra, et al.
Published: (2024) -
Analyses using ansys for an industrial application
by: Yong, Khai Fu
Published: (2020)