Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 224,979,785 papers from all fields of science
Search
Sign In
Create Free Account
systemd
Known as:
Kcmsystemd
, Systemd-timesync
, Resolved (software)
Expand
(For other uses, see System D (disambiguation).) systemd is an init system used in most Linux distributions to bootstrap the user space and manage…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
Android
Background process
Binary file
Bridging (networking)
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
Model checking a C++ software framework: a case study
John Laang
,
I.S.W.B. Prasetya
ESEC/SIGSOFT FSE
2019
Corpus ID: 195767493
This paper presents a case study on applying two model checkers, Spin and Divine, to verify key properties of a C++ software…
Expand
2018
2018
Commitment and Welfare
F. Caliendo
,
T. Findley
Journal of Economic Behavior and Organization
2018
Corpus ID: 157096209
The standard approach to welfare analysis under dynamically inconsistent preferences is to assume that the welfare of an…
Expand
2012
2012
Validating a Quantitative Real-Time peR Method to Detect Denno ( Perkillstls marilllls ) in Texas Oysters
R. Hensley
,
L. Robinson
,
+4 authors
Carla Gutlu'ie
2012
Corpus ID: 150373137
2009
2009
Timing-Variation-Aware Multiple-Valued Current-Mode Circuit for a Low-Power Pipelined System
Takashi Matsuura
,
H. Shirahama
,
M. Natsui
,
T. Hanyu
IEEE International Symposium on Multiple-Valued…
2009
Corpus ID: 28110925
A dynamic current-source control technique in multiplevalued current-mode (MVCM) circuits is proposed for a power-aware pipelined…
Expand
1999
1999
Efficient support for interactive service in multi-resolution VOD systems
K. Law
,
John C.S. Lui
,
L. Golubchik
The VLDB journal
1999
Corpus ID: 7905457
Abstract. Advances in high-speed networks and multimedia technologies have made it feasible to provide video-on-demand (VOD…
Expand
1996
1996
Adaptable Locally-Interconnected Architectures.
L. Akers
1996
Corpus ID: 60637305
Abstract : This project has built on our previous work in developing a theory of the processing power of locally interconnected…
Expand
1996
1996
Isolation of human DNA repair genes based on nucleotide sequence conservation
M. Koken
1996
Corpus ID: 82438153
The RAD6 geile of Ihe yeasl Sactlraro11l)'ces cere~';siae is requlred for DNA repair, for DNA damageInduced mutagenesis, and for…
Expand
1995
1995
A foam pilot test aimed at reducing gas inflow in a production well at the Oseberg Field
M. G. Aarra
,
A. Skauge
,
S. Sognesand
,
M. Stenhaug
Petroleum Geoscience
1995
Corpus ID: 56259949
In June 1994 a foam pilot test was performed in a production well at the Oseberg Field, North Sea. The Oseberg Field is developed…
Expand
1995
1995
The Late Permian Peine and Cas Formations at the eastern margin of the Salar de Atacama, Northern Chile: stratigraphy, volcanic facies, and tectonics
C. Breitkreuz
1995
Corpus ID: 128791671
RESUMEN. Las formaciones Peine y Cas del Permico tardio en el margen oriental del Salar de Atacama, norte de Chile: estratigrafia…
Expand
1991
1991
A direct control method for a class of nonlinear systems using neural networks
E. Tzirkel-Hancock
,
F. Fallside
1991
Corpus ID: 16716827
Presents a direct control scheme for a class of continuous time nonlinear systems that are linear in the control variable. The…
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