Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 222,812,140 papers from all fields of science
Search
Sign In
Create Free Account
LLVM
Known as:
.ll
, LLVM Intermediate Representation
, Low level virtual machine
The LLVM compiler infrastructure project (formerly Low Level Virtual Machine) is a "collection of modular and reusable compiler and toolchain…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
ARM architecture
C standard library
C++ Standard Library
Clang
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
DelayDroid: an instrumented approach to reducing tail-time energy of Android apps
Gang Huang
,
Huaqian Cai
,
Maciej Swiech
,
Ying Zhang
,
Xuanzhe Liu
,
P. Dinda
Science China Information Sciences
2016
Corpus ID: 3493029
Mobile devices with 3G/4G networking often waste energy in the so-called “tail time” during which the radio is kept on even…
Expand
Highly Cited
2014
Highly Cited
2014
A Fresh Look on Knowledge Bases: Distilling Named Events from News
Erdal Kuzey
,
Jilles Vreeken
,
G. Weikum
International Conference on Information and…
2014
Corpus ID: 7389944
Knowledge bases capture millions of entities such as people, companies or movies. However, their knowledge of named events like…
Expand
Review
2013
Review
2013
Processing in the Hybrid OLTP & OLAP Main-Memory Database System HyPer
A. Kemper
,
Thomas Neumann
,
+5 authors
Wolf Rödiger
IEEE Data Engineering Bulletin
2013
Corpus ID: 2683397
Two emerging hardware trends have re-initiated the development of in-core database systems: ever increasing main-memory…
Expand
2011
2011
Deriving WCET Bounds by Abstract Execution
Andreas Ermedahl
,
J. Gustafsson
,
B. Lisper
Euromicro Conference on Real-Time Systems
2011
Corpus ID: 54718947
Standard static WCET analysis methods today are based on the IPET technique, where WCET estimation is formulated as an integer…
Expand
2010
2010
The C++0x "Concepts" Effort
Jeremy G. Siek
International Spring School on Generic and…
2010
Corpus ID: 14445368
C++0x is the working title for the revision of the ISO standard of the C++ programming language that was originally planned for…
Expand
2009
2009
Verifying the Implementation of an Operating System Scheduler
Moritz Kleine
,
B. Bartels
,
Thomas Göthel
,
S. Glesner
Third IEEE International Symposium on Theoretical…
2009
Corpus ID: 5787913
In this paper, we applied our approach for verifying low-level code to the scheduler of the real-time operating system BOSS. We…
Expand
2005
2005
Using a Low-Level Virtual Machine to Improve Dynamic Aspect Support in Operating System Kernels
M. Engel
,
Bernd Freisleben
2005
Corpus ID: 6028773
Current implementations of software providing dynamic aspect functionality in operating system (OS) kernels are quite restricted…
Expand
2004
2004
Virtuoso: A System For VirtualMachineMarketplaces
A. Shoykhet
,
J. Lange
,
P. Dinda
2004
Corpus ID: 54139608
In most existing computing environments, resources such as CPU time, memory, disk space, and network bandwidth are not used to…
Expand
1998
1998
THOMASCLARKITE-(Y), A NEW SODIUM: RARE-EARTH-ELEMENT BICARBONATE MINERAL SPECIES FROM MONT SAINT-HILAIRE, QUEBEC
J. Grice
,
R. A. Gault
1998
Corpus ID: 53710418
Thomasclarkite-(Y), ideally Na(Y/REE"XHCOj(OII)r4HzO, is a newly identified mineral species from Mont Saint-Hilaire, Quebec. It…
Expand
Review
1996
Review
1996
Synthesis of communications protocols: an annotated bibliography
K. Saleh
CCRV
1996
Corpus ID: 550340
Protocol synthesis attempts to formalize and automate the process of designing communications protocols. Protocol design is an…
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