POSIX

Known as: IEEE-IX, C posix library, Opendir 
The Portable Operating System Interface (POSIX) is a family of standards specified by the IEEE Computer Society for maintaining compatibility between… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1983-2018
0204019832018

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
We provide a program logic for specifying a core subset of the sequential POSIX file system, and for reasoning abstractly about… (More)
  • figure 1
  • figure 3
  • figure 5
  • figure 6
Is this relevant?
2011
2011
Ubiquitous computing aims at dynamically supporting users in everyday life with applications on mobile and embedded devices in… (More)
Is this relevant?
Highly Cited
2009
Highly Cited
2009
SUMMARY INFERNAL builds consensus RNA secondary structure profiles called covariance models (CMs), and uses them to search… (More)
Is this relevant?
2008
2008
In embedded systems, the typical host/target development scheme normally requires a tracing mechanism to be available in the… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2008
2008
We present a research roadmap for the second pilot project in the Verified Software Grand Challenge on formally verified POSIX… (More)
Is this relevant?
Highly Cited
1999
Highly Cited
1999
Critical system designers are turning to off-the-shelf operating system (OS) software to reduce costs and time-to-marker… (More)
Is this relevant?
Highly Cited
1999
Highly Cited
1999
Increasing performance of CPUs and memories will be squandered if not matched by a similar performance increase in HO. While the… (More)
  • table 1
  • table 1
  • figure 7
  • figure 3
Is this relevant?
1995
1995
Despite its history, POSIX still suffers from a misunderstood scope, bad press, and an apparent lack of use. However, when POSIX… (More)
Is this relevant?
Review
1993
Review
1993
The POSIX standard defines a portable interface for UNIXbased operating systems. The goal of this increasingly important standard… (More)
  • table I
  • table III
  • table IV
  • figure 1
  • table V
Is this relevant?
1991
1991
The status of the interface standards within the IEEE Portable Operating System Interface (Posix) environment (the x in Posix… (More)
Is this relevant?