Search results for "POSIX"

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