Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 205,673,223 papers from all fields of science
Search
Sign In
Create Free Account
System programming
Known as:
System Programmer
, Systems (programming)
, Systems programmer
Expand
System programming (or systems programming) is the activity of programming computer system software. The primary distinguishing characteristic of…
Expand
Wikipedia
Create Alert
Alert
Related topics
Related topics
47 relations
AAA (video game industry)
ALGOL
Algorithm
Assembly language
Expand
Broader (1)
Computer programming
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2009
Highly Cited
2009
Mechanized Semantics for the Clight Subset of the C Language
Sandrine Blazy
,
X. Leroy
Journal of Automated Reasoning
2009
Corpus ID: 896527
This article presents the formal semantics of a large subset of the C language called Clight. Clight includes pointer arithmetic…
Expand
Highly Cited
2008
Highly Cited
2008
The best of both worlds: unifying conventional dialog systems and POMDPs
J. Williams
INTERSPEECH
2008
Corpus ID: 23344
A system for producing color water and colored ice cubes in various shapes, having a control unit with front panel buttons which…
Expand
Highly Cited
2006
Highly Cited
2006
Intel ® 64 and IA-32 Architectures Software Developer ’ s Manual Volume 3 A : System Programming Guide , Part 1
No License
,
Intel Disclaims
2006
Corpus ID: 196045992
NOTE: The Intel® 64 and IA-32 Architectures Software Developer's Manual consists of ten volumes: Basic Architecture, Order Number…
Expand
Review
1997
Review
1997
A Tutorial on Reed-Solomon Coding for Fault-Tolerance in RAID-Like Systems
J. Plank
Softw. Pract. Exp.
1997
Corpus ID: 12458855
SUMMARY It is well-known that Reed-Solomon codes may be used to provide error correction for multiple failures in RAID-like…
Expand
Highly Cited
1991
Highly Cited
1991
Programming real-time applications with SIGNAL
P. Guernic
,
T. Gautier
,
M. L. Borgne
,
C. Maire
Proc. IEEE
1991
Corpus ID: 6635157
The authors present the main features of the SIGNAL language and its compiler. Designed to provide safe real time system…
Expand
Highly Cited
1990
Highly Cited
1990
Parallel Algorithms for Shared-Memory Machines
R. Karp
,
V. Ramachandran
Handbook of Theoretical Computer Science, Volume…
1990
Corpus ID: 32773756
Highly Cited
1990
Highly Cited
1990
NetCDF: an interface for scientific data access
R. Rew
,
Glenn Davis
IEEE Computer Graphics and Applications
1990
Corpus ID: 11171299
The network common data form (NetCDF), a data abstraction for storing and retrieving multidimensional data, is described. NetCDF…
Expand
Highly Cited
1986
Highly Cited
1986
Object-Oriented Programming: Themes and Variations
M. Stefik
,
D. Bobrow
AI Mag.
1986
Corpus ID: 18232645
Many of the ideas behind object-oriented programming have roots going back to SIMULA. The first substantial interactive, display…
Expand
Highly Cited
1984
Highly Cited
1984
Dhrystone: a synthetic systems programming benchmark
R. Weicker
CACM
1984
Corpus ID: 9026014
Reflecting current data on the use of programming language constructs in systems programming, a synthetic benchmark is…
Expand
Highly Cited
1974
Highly Cited
1974
The Semantics of a Simple Language for Parallel Programming
G. Kahn
IFIP Congress
1974
Corpus ID: 18030506
In this paper, we describe a simple language for parallel programming. Its semantics is studied thoroughly. The desirable…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
,
Terms of Service
, and
Dataset License
ACCEPT & CONTINUE