Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
21 | Erez Zadok, Dean Hildebrand, Geoff Kuenning, Keith A. Smith |
POSIX is Dead! Long Live... errr... What Exactly? |
HotStorage |
2017 |
DBLP BibTeX RDF |
|
21 | Gidon Ernst |
A Verified POSIX-Compliant Flash File System - Modular Verification Technology & Crash Tolerance. |
|
2017 |
RDF |
|
21 | Arnaud Tomeï |
A Brief POSIX Advocacy: Shell Script Portability. |
login Usenix Mag. |
2016 |
DBLP BibTeX RDF |
|
21 | Vaggelis Atlidakis, Jeremy Andrus, Roxana Geambasu, Dimitris Mitropoulos, Jason Nieh |
POSIX Has Become Outdated. |
login Usenix Mag. |
2016 |
DBLP BibTeX RDF |
|
21 | Fahad Ausaf, Roy Dyckhoff, Christian Urban |
POSIX Lexing with Derivatives of Regular Expressions. |
Arch. Formal Proofs |
2016 |
DBLP BibTeX RDF |
|
21 | Jan Fajerski, Matthias Noack, Alexander Reinefeld, Florian Schintke, Thorsten Schütt, Thomas Steinke 0001 |
Fast In-Memory Checkpointing with POSIX API for Legacy Exascale-Applications. |
Software for Exascale Computing |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Ikuo Nakagawa, Hiroki Kashiwazaki, Shinji Shimojo, Kohei Ichikawa, Tohru Kondo, Yoshiaki Kitaguchi, Yutaka Kikuchi, Shigetoshi Yokoyama, Shunji Abe |
A Design and Implementation of Global Distributed POSIX File System on the Top of Multiple Independent Cloud Services. |
IIAI-AAI |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Fahad Ausaf, Roy Dyckhoff, Christian Urban |
POSIX Lexing with Derivatives of Regular Expressions (Proof Pearl). |
ITP |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Vaggelis Atlidakis, Jeremy Andrus, Roxana Geambasu, Dimitris Mitropoulos, Jason Nieh |
POSIX abstractions in modern operating systems: the old, the new, and the missing. |
EuroSys |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Gian Ntzik |
Reasoning about POSIX file systems. |
|
2016 |
RDF |
|
21 | Weidong Wang, Chunhua Liao, Liqiang Wang, Daniel J. Quinlan, Wei Lu 0010 |
HBTM: A Heartbeat-based Behavior Detection Mechanism for POSIX Threads and OpenMP Applications. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
21 | Gian Ntzik, Philippa Gardner |
Reasoning about the POSIX file system: local update and global pathnames. |
OOPSLA |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Tom Ridge, David Sheets, Thomas Tuerk, Andrea Giugliano, Anil Madhavapeddy, Peter Sewell |
SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems. |
SOSP |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Andreas Stahlhofen, Dieter Zöbel |
Mapping real-time to POSIX: A simplistic approach for the availability of real-time scheduling for off the shelf embedded platforms. |
MECO |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Patrick Donnelly, Nicholas L. Hazekamp, Douglas Thain |
Confuga: Scalable Data Intensive Computing for POSIX Workflows. |
CCGRID |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Philippa Gardner, Gian Ntzik, Adam Wright |
Local Reasoning for the POSIX File System. |
ESOP |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Martin Sulzmann, Kenny Zhuo Ming Lu |
POSIX Regular Expression Parsing with Derivatives. |
FLOPS |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Charles Gruenwald |
Providing a Shared File System in the Hare POSIX Multikernel. |
|
2014 |
RDF |
|
21 | Jon Howell, Bryan Parno, John R. Douceur |
How to Run POSIX Apps in a Minimal Picoprocess. |
USENIX Annual Technical Conference |
2013 |
DBLP BibTeX RDF |
|
21 | |
Pthreads (POSIX Threads). |
Encyclopedia of Parallel Computing |
2011 |
DBLP DOI BibTeX RDF |
|
21 | David A. Padua |
POSIX Threads (Pthreads). |
Encyclopedia of Parallel Computing |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand |
Scenario-based testing from UML/OCL behavioral models - Application to POSIX compliance. |
Int. J. Softw. Tools Technol. Transf. |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Abdellah Kouadri, Olivier Héron, Romain Montagné |
A Lightweight API for an Adaptive Software Fault Tolerance Using POSIX-Thread Replication. |
ARCS Workshops |
2011 |
DBLP BibTeX RDF |
|
21 | Steffen Kächele, Jörg Domaschka, Holger Schmidt 0002, Franz J. Hauck |
nOSGi: a posix-compliant native OSGi framework. |
COMSWARE |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Shunsuke Mikami, Kazuki Ohta, Osamu Tatebe |
Using the Gfarm File System as a POSIX Compatible Storage Platform for Hadoop MapReduce Applications. |
GRID |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Anna Sasak, Marcin Brzuszek |
POSIX threads parallelization for example of Particle-In-Cell density calculations in plasma computer simulations. |
Ann. UMCS Informatica |
2010 |
DBLP DOI BibTeX RDF |
|
21 | George A. Gravvanis, P. I. Matskanidis, Konstantinos M. Giannoutakis, Elias A. Lipitakis |
Finite Element Approximate Inverse Preconditioning using POSIX threads on multicore systems. |
IMCSIT |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Daniel Mendes Caldas, Bruno Gouvêa de Barros, Marcelo Lobosco |
Parallel Implementations of an Immune Network Model Using POSIX Threads and OpenMP. |
SBAC-PAD (Workshops) |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Leo Freitas, Jim Woodcock 0001, Zheng Fu |
POSIX file store in Z/Eves: An experiment in the verified software repository. |
Sci. Comput. Program. |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Michiel W. van Tol, Chris R. Jesshope, Mike Lankamp, Simon Polstra |
An implementation of the SANE Virtual Processor using POSIX threads. |
J. Syst. Archit. |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Alan Burns 0001, Andrew J. Wellings |
Real-Time Systems and Programming Languages - Ada, Real-Time Java and C / Real-Time POSIX, Fourth Edition. |
|
2009 |
RDF |
|
21 | François Thiébolt, Aurélien Ortiz, Abdelaziz Mzoughi |
VisageFS Translucent Directories: Efficient Posix Consistencies for Wide-Area Workflows. |
PDP |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Nan Zhang |
Computing Parallel Speeded-Up Robust Features (P-SURF) via POSIX Threads. |
ICIC (1) |
2009 |
DBLP DOI BibTeX RDF |
Multi-threaded computing, Local feature extraction, Image processing, Parallel programming, Machine intelligence |
21 | Andrés Terrasa, Agustín Espinosa, Ana García-Fornes |
Lightweight POSIX tracing. |
Softw. Pract. Exp. |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Jan Stender, Björn Kolbeck, Felix Hupfeld, Eugenio Cesario, Erich Focht, Matthias Hess, Jesus Malo, Jonathan Martí |
Striping without Sacrifices: Maintaining POSIX Semantics in a Parallel File System. |
LASCO |
2008 |
DBLP BibTeX RDF |
|
21 | Takahiro Haruyama, Hidenori Nakazato, Hideyoshi Tominaga |
Intrusion Detection by Monitoring System Calls with POSIX Capabilities. |
IEICE Trans. Commun. |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Jim Isaak |
The Role of Individuals and Social Capital in POSIX Standardization. |
Int. J. IT Stand. Stand. Res. |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Inmaculada Plaza, Carlos Medrano, Alfonso Blesa |
Analysis and implementation of the IEC 61131-3 software model under POSIX Real-Time operating systems. |
Microprocess. Microsystems |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Andrew Josey |
Why Get Involved in POSIX? |
login Usenix Mag. |
2006 |
DBLP BibTeX RDF |
|
21 | Stefan D. Bruda, Petter Haggholm, Scott Stoddard |
Distributed, Real-Time Programming on Commodity POSIX Systems: A Preliminary Report. |
ISPDC |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Michael Rieker, Jason Ansel, Gene Cooperman |
Transparent User-Level Checkpointing for the Native Posix Thread Library for Linux. |
PDPTA |
2006 |
DBLP BibTeX RDF |
|
21 | Hector Posadas, Jesús Ádamez, Eugenio Villar, Francisco Blasco, F. Escuder |
RTOS modeling in SystemC for real-time embedded SW simulation: A POSIX model. |
Des. Autom. Embed. Syst. |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Eiji Kawai, Youki Kadobayashi, Suguru Yamaguchi |
Reducing Processor Usage on Heavily-Loaded Network Servers with POSIX Real-Time Scheduling Control. |
IEICE Trans. Inf. Syst. |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Qingguang Ji, Sihan Qing, Yeping He |
A new formal model for privilege control with supporting POSIX capability mechanism. |
Sci. China Ser. F Inf. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Murali Vilayannur, Robert B. Ross, Philip H. Carns, Rajeev Thakur, Anand Sivasubramaniam, Mahmut T. Kandemir |
On the Performance of the POSIX I/O Interface to PVFS. |
PDP |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Ge Baolai |
An Enhanced C/C++ and FORTRAN API to Posix Threads. |
HPCS |
2004 |
DBLP BibTeX RDF |
|
21 | Frédéric Pétrot, Pascal Gomez, Denis Hommais |
Lightweight Implementation of the POSIX Threads API for an On-Chip MIPS Multiprocessor with VCI Interconnect. |
Embedded Software for SoC |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Andreas Grünbacher |
POSIX Access Control Lists on Linux. |
USENIX Annual Technical Conference, FREENIX Track |
2003 |
DBLP BibTeX RDF |
|
21 | Bart Massey, Robert T. Bauer |
X Meets Z: Verifying Correctness in the Presence of POSIX Threads. |
USENIX Annual Technical Conference, FREENIX Track |
2002 |
DBLP BibTeX RDF |
|
21 | Andrés Terrasa, Ignacio Pachés, Ana García-Fornes |
An evaluation of the POSIX trace standard implemented in RT-linux. |
ISPASS |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Benjamin M. Brosgol |
A Survey and Comparison of Concurrency and Real-Time Programming Support in Java, Ada, and Posix. |
TOOLS (39) |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Joe Gwinn |
POSIX System Services Working Group - Realtime (SSWG-RT). |
login Usenix Mag. |
2000 |
DBLP BibTeX RDF |
|
21 | Gregory E. Allen, Brian L. Evans |
Real-time sonar beamforming on workstations using process networks and POSIX threads. |
IEEE Trans. Signal Process. |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Mario Aldea Rivas, Michael González Harbour |
Extending Ada's real-time systems annex with the POSIX scheduling services. |
IRTAW |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Richard J. Hanson, Clay P. Breshears, Henry A. Gabb |
Using A Fortran Interface to POSIX Threads. |
The Architecture of Scientific Software |
2000 |
DBLP BibTeX RDF |
|
21 | Charles R. Severance |
Posix: A Model for Future Computing. |
Computer |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Santiago Rodríguez, Antonio Pérez, Rafael Méndez |
Transparent checkpointing protocol for Posix.1b applications. |
J. Syst. Archit. |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Juan Antonio de la Puente, José F. Ruiz, Jesús M. González-Barahona |
Real-time programming with GNAT: specialised kernels versus POSIX threads. |
IRTAW |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Frank W. Miller |
pk: A POSIX Threads Kernel. |
USENIX Annual Technical Conference, FREENIX Track |
1999 |
DBLP BibTeX RDF |
|
21 | Jim Isaak, Lowell Johnson |
Posix/Unix standards: foundation for 21st century growth. |
IEEE Micro |
1998 |
DBLP DOI BibTeX RDF |
|
21 | Christoph Giess, Achim Mayer, Harald Evers, Hans-Peter Meinzer |
Medical Image Processing and Visualization on Heterogeneous Clusters of Symmetric Multiprocessors Using MPI and POSIX Threads. |
IPPS/SPDP |
1998 |
DBLP DOI BibTeX RDF |
|
21 | Ted Baker |
From POSIX Threads to Ada to Java: A Brief History of Runtime Development for Some Real-Time Programming Languages. |
RTSS |
1998 |
DBLP DOI BibTeX RDF |
|
21 | Richard D. Powers |
Implementing CIFO using Ada 95 and POSIX. |
IRTAW |
1997 |
DBLP DOI BibTeX RDF |
|
21 | Michael González Harbour, J. M. Drake Moyano, Mario Aldea Rivas, J. García Fernández |
Implementing robot controllers under real-time POSIX and Ada. |
IRTAW |
1997 |
DBLP DOI BibTeX RDF |
|
21 | Bradford Nichols, Dick Buttlar, Jacqueline Proulx Farrell |
Pthreads programming - a POSIX standard for better multiprocessing. |
|
1996 |
RDF |
|
21 | Hal Jespersen |
POSIX retrospective. |
ACM Stand. |
1995 |
DBLP DOI BibTeX RDF |
|
21 | Stephen R. Walli |
The POSIX family of standards. |
ACM Stand. |
1995 |
DBLP DOI BibTeX RDF |
|
21 | Bill O. Gallmeister |
POSIX.4 - programming for the real world. |
|
1995 |
RDF |
|
21 | James F. Leathrum, K. A. Liburdy |
Automated testing of POSIX standards. |
ACM Stand. |
1994 |
DBLP DOI BibTeX RDF |
|
21 | Neal R. Reizer, Gregory D. Abowd, B. Craig Meyers, Patrick R. H. Place |
Using formal methods for requirements specification of a proposed POSIX standard. |
ICRE |
1994 |
DBLP DOI BibTeX RDF |
|
21 | Robert A. Alfieri |
An Efficient Kernel-Based Implementation of POSIX Threads. |
USENIX Summer |
1994 |
DBLP BibTeX RDF |
|
21 | G. Deshmukh, R. Deshpande, James F. Leathrum, K. A. Liburdy |
The Role of Testing Methodologies in Open Systems Standards: A POSIX Experience Report. |
ICSE |
1994 |
DBLP BibTeX RDF |
|
21 | Frank Mueller 0001 |
A Library Implementation of POSIX Threads under UNIX. |
USENIX Winter |
1993 |
DBLP BibTeX RDF |
|
21 | Barrie Archer |
Towards a POSIX Standard for Software Administration. |
LISA |
1993 |
DBLP BibTeX RDF |
|
21 | Edward William Giering III, Theodore P. Baker |
POSIX/Ada real-time bindings: description of work in progress. |
WADAS |
1992 |
DBLP DOI BibTeX RDF |
|
21 | Helmut Rzehak |
Der POSIX-Standard und echtzeitfähige UNIX-Systeme. |
PEARL |
1992 |
DBLP DOI BibTeX RDF |
|
21 | Ralf Leinemann |
Ein POSIX kompatibles Echtzeit-Betriebssystem. |
PEARL |
1992 |
DBLP DOI BibTeX RDF |
|
21 | A. Lester Buck, Mark R. Coyne |
An Experimental Implementation of Draft POSIX Asynchronous I/O. |
USENIX Winter |
1991 |
DBLP BibTeX RDF |
|
21 | James Isaak |
The History of Posix: A Study in the Standards Process. |
Computer |
1990 |
DBLP DOI BibTeX RDF |
|
21 | David E. Emery |
A prototype implementation of the Ada binding to POSIX. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
21 | Kevin V. Murphy, Gunnar Soberg |
ODA and POSIX: label liaisons. |
ACSAC |
1990 |
DBLP DOI BibTeX RDF |
|
21 | Mark H. Colburn |
The coming of a savior?-network management with OSI and POSIX. |
LCN |
1989 |
DBLP DOI BibTeX RDF |
|
21 | |
US Agencies Push Process Assessment, Posix. |
IEEE Softw. |
1988 |
DBLP DOI BibTeX RDF |
|
21 | Stowe Boyd |
The Ada binding for POSIX. |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
21 | Mario Aldea Rivas, Michael González Harbour, José F. Ruiz |
Implementation of the Ada 2005 Task Dispatching Model in MaRTE OS and GNAT. |
Ada-Europe |
2009 |
DBLP DOI BibTeX RDF |
Scheduling, Real-Time Systems, Compilers, POSIX, Ada 2005 |
21 | Gerhard W. Zumbusch |
A Container-Iterator Parallel Programming Model. |
PPAM |
2007 |
DBLP DOI BibTeX RDF |
domain specific code generation, parallel numerical methods, Posix threads, MPI, automatic parallelization, multigrid, Cell processor, parallel programming models |
21 | Mario Aldea Rivas, José F. Ruiz |
Implementation of New Ada 2005 Real-Time Services in MaRTE OS and GNAT. |
Ada-Europe |
2007 |
DBLP DOI BibTeX RDF |
Real-Time Systems, Compilers, POSIX, Ada 2005 |
21 | Gaetan Allaert, Dirk Craeynest, Philippe Waroquiers |
European air traffic flow management: porting a large application to GNU/linux. |
SIGAda |
2003 |
DBLP DOI BibTeX RDF |
CFMU, ETFMS, GNU, HP-PA RISC, HP-UX, Korn shell, eurocontrol, intel 80x86, performance, Ada, C++, C, linux, portability, COTS, POSIX, GNAT, air traffic management |
21 | Carl Cargill |
Section 1. Prelude. |
ACM Stand. |
1997 |
DBLP DOI BibTeX RDF |
Internet, World Wide Web (WWW), UNIX, POSIX |
21 | William M. Hodges |
Ada Program Support Environments: A Good Idea Overcome by Changes. |
TRI-Ada |
1992 |
DBLP DOI BibTeX RDF |
Ada, POSIX |
12 | Hao Wang, Shi Pu, Gabriel Knezek, Jyh-Charn Liu |
A modular NFA architecture for regular expression matching. |
FPGA |
2010 |
DBLP DOI BibTeX RDF |
character class constraint repetition, overlapped matching, FPGA, regular expression, NFA |
12 | Tom Bergan, Owen Anderson, Joseph Devietti, Luis Ceze, Dan Grossman |
CoreDet: a compiler and runtime system for deterministic multithreaded execution. |
ASPLOS |
2010 |
DBLP DOI BibTeX RDF |
compilers, multithreading, multicore, determinism |
12 | Mohammad Mostafizur Rahman Mozumdar, Luciano Lavagno, Laura Vanzago |
A comparison of software platforms for wireless sensor networks: MANTIS, TinyOS, and ZigBee. |
ACM Trans. Embed. Comput. Syst. |
2009 |
DBLP DOI BibTeX RDF |
application porting, Wireless sensor networks, software platform |
12 | Paul Taverne, Cornelis Pronk |
RAFFS: Model Checking a Robust Abstract Flash File Store. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
|
12 | John Mehnert-Spahn, Thomas Ropars, Michael Schöttner, Christine Morin |
The Architecture of the XtreemOS Grid Checkpointing Service. |
Euro-Par |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Jay F. Lofstead, Fang Zheng, Scott Klasky, Karsten Schwan |
Adaptable, metadata rich IO methods for portable high performance IO. |
IPDPS |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Yutong Lu, Huajian Mao, Jie Shen |
A Distributed file system framework for transparent accessing heterogeneous storage services. |
IPDPS |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Jason Agron, David Andrews 0001 |
Building heterogeneous reconfigurable systems with a hardware microkernel. |
CODES+ISSS |
2009 |
DBLP DOI BibTeX RDF |
FPGAs, operating systems, heterogeneous architectures |
12 | Andrew Butterfield, Art Ó Catháin |
Concurrent Models of Flash Memory Device Behaviour. |
SBMF |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Ketan Kulkarni, Edgar Gabriel |
Evaluating Algorithms for Shared File Pointer Operations in MPI I/O. |
ICCS (1) |
2009 |
DBLP DOI BibTeX RDF |
|