Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

50 relations
AndroidBKChemBabelBc (programming language)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Implementation of a Fast Fourier transform algorithm onto a manycore processor
The Fourier transform is the main processing step applied to data collected from the Square Kilometre Array (SKA) receivers. The… 
2013
2013
Wirebrush4SPAM: a novel framework for improving efficiency on spam filtering services
This paper introduces Wirebrush4SPAM, a plug‐in‐based C framework specifically designed for the development of fast spam filters… 
2009
2009
An integrated modular avionics development environment
The ARINC 653 standard has taken a leading role within the aeronautical industry in the development of safety-critical systems… 
2008
2008
Combining Scenario- and Model-Based Testing to Ensure POSIX Compliance
We present in this paper a way to produce test suites for the POSIX mini-challenge, based on a formal model of a file system… 
2005
2005
POSIX IO extensions for HPC
There is a group of HPC afficiandos that are defining some new POSIX file system APIS that are cluster and parallel processing… 
Highly Cited
2004
Highly Cited
2004
A formally verified application-level framework for real-time scheduling on POSIX real-time operating systems
We present a framework, called meta scheduler, for implementing real-time scheduling algorithms. The meta scheduler is a portable… 
2002
2002
Developing a high-performance web server in Concurrent Haskell
Server applications, and in particular network-based server applications, place a unique combination of demands on a programming… 
2002
2002
Wrapping Real-Time Systems from Temporal Logic Specifications
This paper defines a methodology for developing wrappers for real-time systems starting from temporal logic specifications. Error… 
Review
1996
Review
1996
A thread taxonomy for MPI
In 1994, we presented extensions to MPI and offered an early paper on potential thread extensions to MPI as well as non-blocking… 
1995
1995
Super Servers: Commodity Computer Clusters Pose a Software Challenge
Technology is pushing the fastest processors onto single mass-produced chips. Standards are defining a new level of integration… 
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)