Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,741,297 papers from all fields of science
Search
Sign In
Create Free Account
Live variable analysis
Known as:
Variable liveness
, Live variable
, Liveness analysis
Expand
In compiler theory, live variable analysis (or simply liveness analysis) is a classic data-flow analysis performed by compilers to calculate for each…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
8 relations
Compiler
Data-flow analysis
Datalog
Dead code
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Pruning, Pushdown Exception-Flow Analysis
Shuying Liang
,
Weibin Sun
,
M. Might
,
Andrew W. Keep
,
David Van Horn
IEEE 14th International Working Conference on…
2014
Corpus ID: 9794243
Statically reasoning in the presence of exceptions and about the effects of exceptions is challenging: exception-flows are…
Expand
2013
2013
On Line Trace Synchronization for Large Scale Distributed Systems
Masoume Jabbarifar
2013
Corpus ID: 193271956
RESUME Les systemes distribues en reseau fournissent une plate-forme informatique polyvalente pour soutenir diverses…
Expand
2009
2009
Modeling resource-coupled computations
M. Hereld
,
J. Insley
,
E. C. Olson
,
M. Papka
,
T. Uram
,
V. Vishwanath
UltraVis '09
2009
Corpus ID: 18400136
Increasingly massive datasets produced by simulations beg the question How will we connect this data to the computational and…
Expand
Review
2008
Review
2008
Interactive feedbacks with visualisation and sonification for technology-enhanced learning for music performance
K. Ng
ACM International Conference on Design of…
2008
Corpus ID: 34626866
In this poster, we present a brief overview of the i-Maestro project and focus on the design and applications of interactive…
Expand
Highly Cited
2005
Highly Cited
2005
LusSy: a toolbox for the analysis of systems-on-a-chip at the transactional level
M. Moy
,
F. Maraninchi
,
L. Maillet-Contoz
International Conference on Application of…
2005
Corpus ID: 2457667
We describe a toolbox for the analysis of systems-on-a-chip described in SystemC at the transactional level. The tools are able…
Expand
2005
2005
Efficient Reduction Techniques for Systems with Many Components
E. A. Emerson
,
T. Wahl
Brazilian Symposium on Formal Methods
2005
Corpus ID: 14693978
2003
2003
Design of JFluid: a profiling technology and tool based on dynamic bytecode instrumentation
M. Dmitriev
2003
Corpus ID: 18124271
Instrumentation-based profiling has many advantages and one serious disadvantage: usually high performance overhead. This…
Expand
2001
2001
Fast Machine-Adaptable Dynamic Binary Translation
M. Probst
2001
Corpus ID: 16833704
Binary translation is the process of translating machine code from one instruction set architecture to another. It can be done…
Expand
Review
1998
Review
1998
On Linear Algebraic Techniques for Liveness Analysis of P/T Systems
L. Recalde
,
Enrique Teruel
,
M. Suárez
J. Circuits Syst. Comput.
1998
Corpus ID: 31682298
Liveness is a basic property that in many discrete event dynamic systems is considered essential for their correct behavior. It…
Expand
1994
1994
Static Analysis of Barrier Synchronization in Explicitly Parallel Programs
Tor E. Jeremiassen
,
S. Eggers
Parallel Architectures and Compilation Techniques
1994
Corpus ID: 2396738
Many coarse-grained, explicitly parallel programs execute in phases delimited by barriers to preserve sets of cross process data…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE