Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 230,861,060 papers from all fields of science
Search
Sign In
Create Free Account
System call
Known as:
INT 0x80
, Syscall
, Call
Expand
In computing, a system call is the programmatic way in which a computer program requests a service from the kernel of the operating system it is…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
Address space
Busy waiting
C standard library
CP/M-86
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
A Data Flow Monitoring Service Based on Runtime Verification for AUTOSAR
S. Cotard
,
Sébastien Faucou
,
Jean-Luc Béchennec
,
Audrey Queudet
,
Y. Trinquet
IEEE 14th International Conference on High…
2012
Corpus ID: 15923182
This paper presents the design and implementation of an error detection service for multicore real-time in-vehicle embedded…
Expand
2008
2008
Inevitability Mechanisms for Software Transactional Memory
Michael F. Spear
,
Maged M. Michael
,
M. Scott
2008
Corpus ID: 6615352
Transactional Memory simplifies parallel programming by eliminating the use of locks to protect concurrent accesses to shared…
Expand
Highly Cited
2005
Highly Cited
2005
On the Correctness of Operating System Kernels
M. Gargano
,
Mark A. Hillebrand
,
Dirk Leinenbach
,
W. Paul
International Conference on Theorem Proving in…
2005
Corpus ID: 13100398
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless…
Expand
2004
2004
Overhead and Quality Measurements for Multiple Description Coding for Video Services
F. Fitzek
,
Başak Can
,
R. Prasad
,
Marcos D. Katz
2004
Corpus ID: 14972522
Multiple description coding (MDC) has received a lot of interest lately, because it allows to split one source of information in…
Expand
Highly Cited
1997
Highly Cited
1997
Implementation of Decentralized Load Sharing in Networked Workstations Using the Condor Package
J. Hou
,
K. Shin
J. Parallel Distributed Comput.
1997
Corpus ID: 17310685
In recent years a number of load sharing (LS) mechanisms have been proposed or implemented to fully utilize system resources. We…
Expand
1996
1996
Safe Operating System Specialization: the RPC Case Study
C. Consel
,
Eugen-Nicolae Volanschi
,
Gilles Muller
1996
Corpus ID: 9457645
Adaptive operating systems allow one to optimize system functionalities with respect to common situations. We present an…
Expand
1995
1995
Issues in ATM support of high-performance, geographically distributed computing
R. Claus
,
P. Dowd
,
S. Srinidhi
,
Eric D.G Blade
1995
Corpus ID: 15003534
This report experimentally assesses the effect of the underlying network in a cluster-based computing environment. The assessment…
Expand
Review
1994
Review
1994
Specifying and Testing Software Components using ADL
R. Hayes
,
S. Sankar
1994
Corpus ID: 16317461
This paper presents a novel approach to unit testing of software components. This approach uses the specification language ADL…
Expand
Highly Cited
1992
Highly Cited
1992
Monitoring and debugging distributed realtime programs
Paul S. Dodd
,
C. Ravishankar
Software, Practice & Experience
1992
Corpus ID: 7015117
In this paper we describe the design and implementation of an integrated monitoring and debugging system for a distributed real…
Expand
1990
1990
Transparent process migration in the Sprite operating system
F. Douglis
1990
Corpus ID: 61090292
The Sprite operating system allows executing processes to be moved between hosts at any time. We use this process migration…
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