Stem posix$ (all stems)

17 papers:

OOPSLA-2015-NtzikG #file system #reasoning

Reasoning about the POSIX file system: local update and global pathnames (GN, PG), pp. 201–220.

SOSP-2015-RidgeSTGMS #file system #named #specification #testing

SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems (TR, DS, TT, AG, AM, PS), pp. 38–53.

ESOP-2014-GardnerNW #file system #reasoning

Local Reasoning for the POSIX File System (PG, GN, AW), pp. 169–188.

FLOPS-2014-SulzmannL #parsing #regular expression

POSIX Regular Expression Parsing with Derivatives (MS, KZML), pp. 203–220.

AdaEurope-2006-ValpereiroP #behaviour

POSIX Trace Based Behavioural Reflection (FV, LMP), pp. 27–39.

DATE-2003-PetrotG #api #implementation #lightweight #multi #thread

Lightweight Implementation of the POSIX Threads API for an On-Chip MIPS Multiprocessor with VCI Interconnect (FP, PG), pp. 20051–20056.

AdaEurope-2003-GonzalezH #ada

A Proposal to Integrate the POSIX Execution-Time Clocks into Ada 95 (FJMG, MGH), pp. 344–358.

AdaEurope-2003-MinguetGFL #metric #using

Getting System Metrics Using POSIX Tracing Services (AEM, VLG, AGF, ACiL), pp. 220–231.

AdaEurope-2002-MinguetGC #ada #standard

An Ada Binding to the IEEE 1003.1q (POSIX Tracing) Standard (AEM, AGF, AC), pp. 321–333.

AdaEurope-2002-RivasH #interface #scheduling

A POSIX-Ada Interface for Application-Defined Scheduling (MAR, MGH), pp. 136–150.

TOOLS-USA-2001-Brosgol #ada #bibliography #comparison #concurrent #java #programming #realtime

A Survey and Comparison of Concurrency and Real-Time Programming Support in Java, Ada, and Posix (BMB), p. 362.

AdaEurope-1996-OhBM #ada #implementation

The GNARL Implementation of POSIX/Ada Signal Services (DIO, TPB, SJM), pp. 275–286.

ICRE-1994-ReizerAMP #formal method #requirements #specification #standard #using

Using formal methods for requirements specification of a proposed POSIX standard (NRR, GDA, BCM, PRHP), pp. 118–125.

ICSE-1994-DeshmukhDLL #case study #experience #standard #testing

The Role of Testing Methodologies in Open Systems Standards: A POSIX Experience Report (GD, RD, JFL, KAL), pp. 233–240.

TRI-Ada-1993-GieringMB #ada #design #implementation #thread #using

Implementing Ada 9X Features Using POSIX Threads: Design Issues (EWG, FM, TPB), pp. 214–228.

TRI-Ada-C-1992-GieringB #ada #thread #using

Using POSIX Threads to Implement Ada Tasking: Description of Work in Progress (EWG, TPB), pp. 518–529.

TRI-Ada-T2-1992-EmeryDM #ada

POSIX and Ada (DEE, SD, JWM), pp. 758–944.