Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,733,653 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.
2020
2020
Parallelizing Binary Code Analysis
Xiaozhu Meng
,
Jonathon M. Anderson
,
J. Mellor-Crummey
,
M. Krentel
,
B. Miller
,
Srdan Milakovic
arXiv.org
2020
Corpus ID: 210943033
Binary code analysis is widely used to assess an a program's correctness, performance, and provenance. Binary analysis…
Expand
2019
2019
Vetting Anti-patterns in Java to Kotlin Translation
Chaney Courtney
,
Michael L. Neilsen
International Conference on Computers and Their…
2019
Corpus ID: 88493973
With Kotlin becoming a viable language replacement for Java, there is a need for translators and data flow analysis libraries to…
Expand
Review
2017
Review
2017
A REVIEW OF SPECTRAL AND CONVENTIONAL METHODS FOR CYCLE COUNTING AND FATIGUE LIFE ESTIMATION . EXTENSION TO FINITE ELEMENT ANALYSIS
Alfredo Moura
,
P. Antunes
,
J. Viana
,
Luís Sousa
2017
Corpus ID: 140112985
The purpose of this work is to debate the various methods of cycle counting and fatigue damage estimation currently available and…
Expand
2015
2015
Systems and methods for liveness analysis
戴维·希尔沃宁
2015
Corpus ID: 140265950
In a system for determining liveness of an image presented for authentication, a reference signal is rendered on a display, and a…
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
2013
2013
Issues in Modeling and Identification of Discrete Event Systems
2013
Corpus ID: 59018286
Discrete Event System (DES) are systems whose behavior is governed by discrete events occurring asynchronously over time and…
Expand
2011
2011
EXTERNAL POST-OPERATIONAL CHECKS FOR THE LHC BEAM DUMPING SYSTEM
N. Magnin
,
V. Baggiolini
,
+5 authors
M. Zerlauth
2011
Corpus ID: 62788842
The LHC Beam Dumping System (LBDS) is a critical part of the LHC machine protection system. After every LHC beam dump action the…
Expand
Review
2004
Review
2004
IF Validation Environment Tutorial
Marius Bozga
,
S. Graf
,
L. Mounier
,
Iulian Ober
SPIN
2004
Corpus ID: 19293561
IF [3,7] is an open validation platform for asynchronous timed systems developed at Verimag during the last 5 years.
2003
2003
PSG hybrid approach to automatic corpus annotation
Eckhard Bick
2003
Corpus ID: 7859033
This paper describes and evaluates a hybrid non-probabilistic parsing method for the grammatical annotation of large corpora and…
Expand
2002
2002
Using a denotational proof language to verify dataflow analyses
Melissa B. Hao
2002
Corpus ID: 61226701
A forage harvester of the type having a rotary reel cutterhead and a feed roll mechanism for feeding crops to the cutterhead is…
Expand