The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for POSIX with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1988-1992 (15) 1993-1996 (22) 1997-1998 (15) 1999-2000 (25) 2001-2002 (23) 2003-2004 (28) 2005 (23) 2006 (39) 2007 (15) 2008 (23) 2009 (19) 2010-2014 (17) 2015-2017 (18) 2018-2019 (17) 2020-2021 (15) 2022-2023 (6)
Publication types (Num. hits)
article(67) book(3) incollection(4) inproceedings(242) phdthesis(4)
Venues (Conferences, Journals, ...)
Ada-Europe(17) HPDC(6) IPDPS(6) login Usenix Mag.(6) CLUSTER(5) CoRR(5) PDP(5) RTSS(5) TRI-Ada(5) ACM Stand.(4) Euro-Par(4) IPPS/SPDP(4) IRTAW(4) ISORC(4) J. Syst. Archit.(4) SC(4) More (+10 of total 190)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 282 occurrences of 182 keywords

Results
Found 320 publication records. Showing 320 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
79Frédéric Dadeau, Adrien De Kermadec, Régis Tissot Combining Scenario- and Model-Based Testing to Ensure POSIX Compliance. Search on Bibsonomy ABZ The full citation details ... 2008 DBLP  DOI  BibTeX  RDF B machine, symbolic animation, POSIX challenge, scenarios, Model-Based Testing
79Phil Koopman, John DeVale The Exception Handling Effectiveness of POSIX Operating Systems. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Ballista, multiversion comparison, testing, robustness, operating systems, Exception handling, POSIX
75Richard J. Hanson, Clay P. Breshears, Henry A. Gabb Algorithm 821: A Fortran interface to POSIX threads. Search on Bibsonomy ACM Trans. Math. Softw. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF POSIX Threads, symmetric multi-processor, Fortran, FORTRAN, Scientific computing, POSIX, Pthreads, mathematical software
70Benaoumeur Senouci, Aimen Bouchhima, Frédéric Rousseau 0001, Frédéric Pétrot, Ahmed Amine Jerraya Fast Prototyping of POSIX Based Applications on a Multiprocessor SoC Architecture: "Hardware-Dependent Software Oriented Approach". Search on Bibsonomy IEEE International Workshop on Rapid System Prototyping The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
70Agustín Espinosa Minguet, Ana García-Fornes, Alfons Crespo An Ada Binding to the IEEE 1003.1q (POSIX Tracing) Standard. Search on Bibsonomy Ada-Europe The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
67Mario Aldea Rivas, Michael González Harbour A POSIX-Ada Interface for Application-Defined Scheduling. Search on Bibsonomy Ada-Europe The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Scheduling, Real-Time Systems, Operating Systems, Kernel, Ada 95, POSIX
66James F. Leathrum, K. A. Liburdy A formal approach to requirements based testing in open systems standards. Search on Bibsonomy ICRE The full citation details ... 1996 DBLP  DOI  BibTeX  RDF requirements based testing, IEEE POSIX arena, open systems standards, full scale conformance test suite development, executable tests, Clemson Automated Testing System, design taxonomy, IEEE Std 10035-The Ada Language Binding to POSIX, formal specification, testing, systems analysis, open systems, conformance testing, IEEE standards, software standards, automatic translation, test requirements, formal approach
58Hector Posadas, Jesús Ádamez, Pablo Sánchez, Eugenio Villar, Francisco Blasco POSIX modeling in SystemC. Search on Bibsonomy ASP-DAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
57Mario Aldea Rivas Michael González Harbour: MaRTE OS: An Ada Kernel for Real-Time Embedded Applications. Search on Bibsonomy Ada-Europe The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Real-Time Systems, Embedded Systems, Operating System, Kernel, Ada 95, POSIX
46Michael Kluge, Andreas Knüpfer, Matthias S. Müller, Wolfgang E. Nagel Pattern Matching and I/O Replay for POSIX I/O in Parallel Programs. Search on Bibsonomy Euro-Par The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
46Jim Isaak POSIX - Inside: A Case Study. Search on Bibsonomy HICSS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
46Peng Li 0020, Binoy Ravindran, Syed Suhaib, Shahrooz Feizabadi A Formally Verified Application-Level Framework for Real-Time Scheduling on POSIX Real-Time Operating Systems. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
46Agustín Espinosa Minguet, Vicente Lorente Garcés, Ana García-Fornes, Alfons Crespo i Lorente Getting System Metrics Using POSIX Tracing Services. Search on Bibsonomy Ada-Europe The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
46Mario Aldea Rivas, Michael González Harbour POSIX-Compatible Application-Defined Scheduling in MaRTE OS. Search on Bibsonomy ECRTS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
46D. J. Lee, Thomas J. Downar The Application of POSIX Threads and OpenMP to the U.S. NRC Neutron Kinetics Code PARCS. Search on Bibsonomy WOMPAT The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
46Dong-Ik Oh, Theodore P. Baker, Seung-Jin Moon The GNARL Implementation of POSIX/Ada Signal Services. Search on Bibsonomy Ada-Europe The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
45Adrien Lebre, Yves Denneulin, Guillaume Huard, Przemyslaw Sowa Adaptive I/O Scheduling for Distributed Multi-applications Environments. Search on Bibsonomy HPDC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF ROMIO, adaptive I-O scheduling, distributed multiapplications environment, aIOLi project, POSIX API, dedicated parallel I-O library
43Bill O. Gallmeister, C. Lanier Early Experience with POSIX 1003.4 and POSIX 1003.4A. Search on Bibsonomy RTSS The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
42Mark J. Stanovich, Theodore P. Baker, An-I Wang, Michael González Harbour Defects of the POSIX Sporadic Server and How to Correct Them. Search on Bibsonomy IEEE Real-Time and Embedded Technology and Applications Symposium The full citation details ... 2010 DBLP  DOI  BibTeX  RDF aperiodic server scheduling, posix, sporadic server
42Zhang Zhang, Jeevan Savant, Steven Seidel A UPC Runtime System Based on MPI and POSIX Threads. Search on Bibsonomy PDP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Unified Parallel C, POSIX threads, parallel programming, MPI, shared memory
42E. W. Giering, Frank Mueller 0001, Theodore P. Baker Implementing Ada 9X Features Using POSIX Threads: Design Issues. Search on Bibsonomy TRI-Ada The full citation details ... 1993 DBLP  DOI  BibTeX  RDF Ada, POSIX
42E. W. Giering, Theodore P. Baker Using POSIX Threads to Implement Ada Tasking: Description of Work in Progress. Search on Bibsonomy TRI-Ada The full citation details ... 1992 DBLP  DOI  BibTeX  RDF Ada, POSIX
42David E. Emery, Steven Deller, James W. Moore POSIX and Ada. Search on Bibsonomy TRI-Ada Tutorials (2) The full citation details ... 1992 DBLP  DOI  BibTeX  RDF Ada, POSIX
36Aaron Pohle, Björn Döbel, Michael Roitzsch, Hermann Härtig Capability wrangling made easy: debugging on a microkernel with valgrind. Search on Bibsonomy VEE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF l4, valgrind, capability, microkernel
36Giovanni Beltrame, Luca Fossati, Donatella Sciuto Concurrency emulation and analysis of parallel applications for multi-processor system-on-chip co-design. Search on Bibsonomy CODES+ISSS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF ReSP, Operating System, Emulation, OpenMP, MPSoC, codesign
36Wei-keng Liao, Alok N. Choudhary, Kenin Coloma, George K. Thiruvathukal, Lee Ward, Eric Russell, Neil Pundit Scalable Implementations of MPI Atomicity for Concurrent Overlapping I/O. Search on Bibsonomy ICPP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
36Guillem Bernat, Alan Burns 0001 New Results on Fixed Priority Aperiodic Servers. Search on Bibsonomy RTSS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
36Serge Chaumette JEM-DOOS: The Java/RMI Based Distributed Objects Operating System of the JEM Project. Search on Bibsonomy ISCOPE The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
34Leo Freitas, Jim Woodcock 0001, Andrew Butterfield POSIX and the Verification Grand Challenge: A Roadmap. Search on Bibsonomy ICECCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
34Leo Freitas, Zheng Fu, Jim Woodcock 0001 POSIX file store in Z/Eves: an experiment in the verified software repository. Search on Bibsonomy ICECCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
34Mohab Safey El Din, Philippe Trebuchet POSIX threads polynomials(PTPol): a scalable implementation of univariate arithmetic operations. Search on Bibsonomy PASCO The full citation details ... 2007 DBLP  DOI  BibTeX  RDF univariate polynomial, scalability, symbolic-numeric computation
34Filipe Valpereiro, Luís Miguel Pinho POSIX Trace Based Behavioural Reflection. Search on Bibsonomy Ada-Europe The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
34Yasushi Shinjo, Calton Pu Achieving Efficiency and Portability in Systems Software: A Case Study on POSIX-Compliant Multithreaded Programs. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF runtime specialization, thread-specific data, Performance, concurrent programming, threads, portability, software libraries
34Mario Aldea Rivas, Michael González Harbour Evaluation of New POSIX Real-Time Operating Systems Services for Small Embedded Platforms. Search on Bibsonomy ECRTS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
34Frédéric Pétrot, Pascal Gomez Lightweight Implementation of the POSIX Threads API for an On-Chip MIPS Multiprocessor with VCI Interconnect. Search on Bibsonomy DATE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
34Henrik Löf, Zoran Radovic, Erik Hagersten THROOM - Supporting POSIX Multithreaded Binaries on a Cluster. Search on Bibsonomy Euro-Par The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
34Javier Miranda, Michael González Harbour A Proposal to Integrate the POSIX Execution-Time Clocks into Ada 95. Search on Bibsonomy Ada-Europe The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Scheduling, Execution-Time, Ada 95, Hard Real-Time, GNAT
34Philip Koopman, John DeVale Comparing the Robustness of POSIX Operating Systems. Search on Bibsonomy FTCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF software robustness testing, operating systems
34William R. Dieter, James E. Lumpp Jr. A User-Level Checkpointing Library for POSIX Threads Programs. Search on Bibsonomy FTCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF multithreaded, Unix, checkpointing, threads, rollback recovery, Solaris
33Achim D. Brucker, Burkhart Wolff A verification approach to applied system security. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Security, Verification, Refinement, Z, POSIX
33Anna T. Lawniczak, Alf Gerisch, Kevin P. Maxie, Bruno N. Di Stefano Netzwerk: Migration of a Packet-Switching Network Simulation Environment from MS Windows PC to Linux PC and to HPC. Search on Bibsonomy HPCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF OSI Network Layer, POSIX threading, parallelization, packet-switching networks, pthreads
33Mario Aldea Rivas, Javier Miranda, Michael González Harbour Integrating Application-Defined Scheduling with the New Dispatching Policies for Ada Tasks. Search on Bibsonomy Ada-Europe The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Scheduling, Real-Time Systems, Ada, Compilers, Kernel, POSIX
33Mario Aldea Rivas, Javier Miranda, Michael González Harbour Implementing an Application-Defined Scheduling Framework for Ada Tasking. Search on Bibsonomy Ada-Europe The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Scheduling, Real-Time, Compilers, Kernel, Ada 95, POSIX
33Wolfgang Küchlin, Gerhard Gruhler, Thomas Lumpp, Andreas Speck HighRobot: a high-performance universal robot control on parallel workstations. Search on Bibsonomy ECBS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF HighRobot, high-performance universal robot control, parallel workstations, parallel robot control, control hardware, multiprocessor SPARCstation, Solaris 2.x, soft real-time features, POSIX.4, peripheral devices, field-bus CAN, object-oriented design, computerised control
33Michael Gagliardi, Ragunathan Rajkumar, Lui Sha Designing for evolvability: building blocks for evolvable real-time systems. Search on Bibsonomy IEEE Real Time Technology and Applications Symposium The full citation details ... 1996 DBLP  DOI  BibTeX  RDF evolvable real-time systems, fielded real-time systems, system abstractions, run-time abstractions, replaceable unit abstraction, extensible cell, real-time POSIX testbed, Simplex architecture, Real-Time Publisher/Subscriber communication model, safe evolutionary requirements, communication rights, real-time systems, semantics, software maintenance, distributed processing, Unix, resource reservation, evolvability
33Luís Moura Silva, João Gabriel Silva, Simon Chapple Portable Transparent Checkpointing for Distributed Shared Memory. Search on Bibsonomy HPDC The full citation details ... 1996 DBLP  DOI  BibTeX  RDF portable transparent checkpointing, nonblocking mechanism, domino-effect free, POSIX compliant local file system, parallel algorithms, parallel algorithms, MPI, Message Passing Interface, message passing, Unix, shared memory systems, distributed memory systems, system recovery, software portability, workstation cluster, distributed shared memory systems
33Bernd Dreier, Theo Ungerer Implementing distributed shared memory based on DCE. Search on Bibsonomy PDP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF DCE, Open Software Foundation, security problems, shared file management, heterogeneous computer network, globally shared address space, translator algorithms, precompiler, parallel programming, parallel programming, concurrency, computer networks, shared memory systems, distributed shared memory, threads, distributed programming, distributed memory systems, file organisation, remote procedure calls, remote procedure calls, runtime system, POSIX, multithreaded programs, Distributed Computing Environment
24Csaba Attila Marosi, Zoltán Balaton, Péter Kacsuk GenWrapper: A generic wrapper for running legacy applications on desktop grids. Search on Bibsonomy IPDPS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
24Jay F. Lofstead, Scott Klasky, Karsten Schwan, Norbert Podhorszki, Chen Jin Flexible IO and integration for scientific codes through the adaptable IO system (ADIOS). Search on Bibsonomy CLADE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF HDF-5, modular IO, visualization, workflow, MPI-IO
24Osmar Marchi dos Santos, Andy J. Wellings Run Time Detection of Blocking Time Violations in Real-Time Systems. Search on Bibsonomy RTCSA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
24Sriram Raghunathan Extending Inter-process Synchronization with Robust Mutex and Variants in Condition Wait. Search on Bibsonomy ICPADS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
24Ji Chan Maeng, Dongjin Na, Yongsoon Lee, Minsoo Ryu Model-Driven Development of RTOS-Based Embedded Software. Search on Bibsonomy ISCIS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
24Ji Chan Maeng, Jong-Hyuk Kim, Minsoo Ryu An RTOS API Translator for Model-Driven Embedded Software Development. Search on Bibsonomy RTCSA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
24Sathish Chandra, Francesco Regazzoni 0001, Marcello Lajolo Hardware/software partitioning of operating systems: a behavioral synthesis approach. Search on Bibsonomy ACM Great Lakes Symposium on VLSI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF embedded systems, operating systems, partitioning, RTOS, HW/SW codesign
24Adrien Lebre, Guillaume Huard, Yves Denneulin, Przemyslaw Sowa I/O Scheduling Service for Multi-Application Clusters. Search on Bibsonomy CLUSTER The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
24Yueyue Zhang, Amy W. Apon Implementation Tradeoffs of the Array Files Library for Out-of-Core Computations. Search on Bibsonomy CLUSTER The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
24Paolo Gai, Luca Abeni, Massimiliano Giorgi, Giorgio C. Buttazzo A New Kernel Approach for Modular Real-Time Systems Development. Search on Bibsonomy ECRTS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
24Mitsuhisa Sato, Motonori Hirano, Yoshio Tanaka, Satoshi Sekiguchi OmniRPC: A Grid RPC Facility for Cluster and Global Computing in OpenMP. Search on Bibsonomy WOMPAT The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
24Arkady Kanevsky, Anthony Skjellum, Anna Rounbehler MPI/RT - An Emerging Standard for High-Performance Real-Time Systems. Search on Bibsonomy HICSS (3) The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
21Christian Urban POSIX Lexing with Derivatives of Regular Expressions. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Davide Bellassai, Alessandro Biondi 0001, Alessandro Biasci, Bruno Morelli Supporting logical execution time in multi-core POSIX systems. Search on Bibsonomy J. Syst. Archit. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Chengsong Tan, Christian Urban POSIX Lexing with Bitcoded Derivatives. Search on Bibsonomy ITP The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Zebin Ren, Animesh Trivedi Performance Characterization of Modern Storage Stacks: POSIX I/O, libaio, SPDK, and io_uring. Search on Bibsonomy CHEOPS@EuroSys The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21George V. Neville-Neil The Elephant in the Room: It's time to get the POSIX elephant off our necks. Search on Bibsonomy ACM Queue The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
21Yingjin Qian, Wen Cheng, Lingfang Zeng, Marc-André Vef, Oleg Drokin, Andreas Dilger, Shuichi Ihara, Wusheng Zhang, Yang Wang 0006, André Brinkmann MetaWBC: POSIX-Compliant Metadata Write-Back Caching for Distributed File Systems. Search on Bibsonomy SC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
21Petr Rockai, Zuzana Baranová, Jan Mrázek, Katarína Kejstová, Jiri Barnat Reproducible execution of POSIX programs with DiOS. Search on Bibsonomy Softw. Syst. Model. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
21Martin Berglund, Willem Bester, Brink van der Merwe Formalising and implementing Boost POSIX regular expression matching. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
21Lehman H. Garrison, Daniel J. Eisenstein, Nina A. Maksimova Checkpointing with cp: the POSIX Shared Memory System. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
21Angelo Borsotti, Ulya Trofimovich Efficient POSIX submatch extraction on nondeterministic finite automata. Search on Bibsonomy Softw. Pract. Exp. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
21Gabriele Serra, Gabriele Ara, Pietro Fara, Tommaso Cucinotta ReTiF: A declarative real-time scheduling framework for POSIX systems. Search on Bibsonomy J. Syst. Archit. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
21Michael Greenberg 0002 Files-as-Filesystems for POSIX Shell Data Processing. Search on Bibsonomy PLOS@SOSP The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
21Kumseok Jung, Julien Gascon-Samson, Karthik Pattabiraman Demo: OneOS - Middleware for Running Edge Computing Applications as Distributed POSIX Pipelines. Search on Bibsonomy SEC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
21Kumseok Jung, Julien Gascon-Samson, Karthik Pattabiraman OneOS: Middleware for Running Edge Computing Applications as Distributed POSIX Pipelines. Search on Bibsonomy SEC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
21Michael Greenberg 0002, Austin J. Blatt Executable formal semantics for the POSIX shell. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
21Yann Régis-Gianas, Nicolas Jeannerod, Ralf Treinen Morbig: A Static parser for POSIX shell. Search on Bibsonomy J. Comput. Lang. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
21Gedare Bloom, Joel Sherrill Harmonizing ARINC 653 and Realtime POSIX for Conformance to the FACE Technical Standard. Search on Bibsonomy ISORC The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
21Shweta Shinde, Shengyi Wang, Pinghai Yuan, Aquinas Hobor, Abhik Roychoudhury, Prateek Saxena BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety Proof. Search on Bibsonomy USENIX Security Symposium The full citation details ... 2020 DBLP  BibTeX  RDF
21Sharan Santhanam, Simon Kuenzer, Hugo Lefeuvre, Felipe Huici, Alexander Jung, Santiago Pagani, George-Cristian Muraru, Stefano Stabellini, Justin He, Jonathan Beri Towards Highly Specialized, POSIX -compliant Software Stacks with Unikraft: Work-in-Progress. Search on Bibsonomy EMSOFT The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
21Haiying Xu, Kevin Paul, Anderson Banihirwe Pangeo Benchmarking Analysis: Object Storage vs. POSIX File System. Search on Bibsonomy PDSW@SC The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
21Mahmoud Ismail, Salman Niazi, Gautier Berthou, Mikael Ronström, Seif Haridi, Jim Dowling HopsFS-S3: Extending Object Stores with POSIX-like Semantics and more (industry track). Search on Bibsonomy Middleware Industry The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
21Michael Greenberg 0002, Austin J. Blatt Executable formal semantics for the POSIX shell. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
21Petr Rockai, Zuzana Baranová, Jan Mrázek, Katarína Kejstová, Jiri Barnat Reproducible Execution of POSIX Programs with DiOS. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
21Cody Cutler, M. Frans Kaashoek, Robert Tappan Morris The Benefits and Costs of Writing a POSIX Kernel in a High-Level Language. Search on Bibsonomy login Usenix Mag. The full citation details ... 2019 DBLP  BibTeX  RDF
21Kumseok Jung, Julien Gascon-Samson, Karthik Pattabiraman OneOS: IoT Platform based on POSIX and Actors. Search on Bibsonomy HotEdge The full citation details ... 2019 DBLP  BibTeX  RDF
21Ludwig Thomeczek, Andreas Attenberger, Johannes Kolb, Václav Matousek, Jürgen Mottok Betrachtungen zu Latenzquellen und deren Beobachtung in POSIX-Systemen am Beispiel von Container-Runtimes. Search on Bibsonomy Echtzeit The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
21Brooks Davis, Robert N. M. Watson, Alexander Richardson, Peter G. Neumann, Simon W. Moore, John Baldwin, David Chisnall, Jessica Clarke 0001, Nathaniel Wesley Filardo, Khilan Gudka, Alexandre Joannou, Ben Laurie, A. Theodore Markettos, J. Edward Maste, Alfredo Mazzinghi, Edward Tomasz Napierala, Robert M. Norton, Michael Roe, Peter Sewell, Stacey D. Son, Jonathan Woodruff CheriABI: Enforcing Valid Pointer Provenance and Minimizing Pointer Privilege in the POSIX C Run-time Environment. Search on Bibsonomy ASPLOS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
21Petr Rockai, Zuzana Baranová, Jan Mrázek, Katarína Kejstová, Jiri Barnat Reproducible Execution of POSIX Programs with DiOS. Search on Bibsonomy SEFM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
21Cody Cutler The benefits and costs of writing a POSIX Kernel in a high-level language. Search on Bibsonomy 2019   RDF
21Xiaohui Cai, Yang Liu 0143, Zhiming Ren Acoustic reverse-time migration using GPU card and POSIX thread based on the adaptive optimal finite-difference scheme and the hybrid absorbing boundary condition. Search on Bibsonomy Comput. Geosci. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
21Vidblain Amaro-Ortega, Arnoldo Díaz-Ramírez, Brenda Leticia Flores Ríos, Félix Fernando González-Navarro, Frank Werner 0001, Larysa Burtseva A scheduling extension scheme of the earliest deadline first policy for hard real-time uniprocessor systems integrated on POSIX threads based on Linux. Search on Bibsonomy Comput. Syst. Sci. Eng. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
21Yann Régis-Gianas, Nicolas Jeannerod, Ralf Treinen Morbig: a static parser for POSIX shell. Search on Bibsonomy SLE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
21Martin Berglund, Willem Bester, Brink van der Merwe Formalising Boost POSIX Regular Expression Matching. Search on Bibsonomy ICTAC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
21Ludwig Thomeczek, Andreas Attenberger, Václav Matousek, Jürgen Mottok Latenzen von POSIX Betriebssystemen im Kontext von Hypervisoren in Real-Time Systemen. Search on Bibsonomy Echtzeit The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
21Gian Ntzik, Pedro da Rocha Pinto, Julian Sutherland, Philippa Gardner A Concurrent Specification of POSIX File Systems. Search on Bibsonomy ECOOP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
21Michael Greenberg 0002 Word expansion supports POSIX shell interactivity. Search on Bibsonomy Programming The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
21Cody Cutler, M. Frans Kaashoek, Robert Tappan Morris The benefits and costs of writing a POSIX kernel in a high-level language. Search on Bibsonomy OSDI The full citation details ... 2018 DBLP  BibTeX  RDF
21Avishek Bhattacharjee, Samik Banerjee, Sukhendu Das PosIX-GAN: Generating Multiple Poses Using GAN for Pose-Invariant Face Recognition. Search on Bibsonomy ECCV Workshops (3) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
21Vyacheslav Dubeyko, Cyril Guyot, Luis Cargnini, Adam Manzanares POSIX-based Operating System in the environment of NVM/SCM memory. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
21Jeff Inman, Will Vining, Garrett Ransom, Gary Grider MarFS, a Near-POSIX Interface to Cloud Objects. Search on Bibsonomy login Usenix Mag. The full citation details ... 2017 DBLP  BibTeX  RDF
21Suayb S. Arslan, Hoa Le, Joseph Landman, Turguy Goker OpenMP and POSIX threads implementation of Jerasure 2.0. Search on Bibsonomy BlackSeaCom The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 320 (100 per page; Change: )
Pages: [1][2][3][4][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license