|
|
Venues (Conferences, Journals, ...)
|
|
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 |
79 | Frédéric Dadeau, Adrien De Kermadec, Régis Tissot |
Combining Scenario- and Model-Based Testing to Ensure POSIX Compliance. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
B machine, symbolic animation, POSIX challenge, scenarios, Model-Based Testing |
79 | Phil Koopman, John DeVale |
The Exception Handling Effectiveness of POSIX Operating Systems. |
IEEE Trans. Software Eng. |
2000 |
DBLP DOI BibTeX RDF |
Ballista, multiversion comparison, testing, robustness, operating systems, Exception handling, POSIX |
75 | Richard J. Hanson, Clay P. Breshears, Henry A. Gabb |
Algorithm 821: A Fortran interface to POSIX threads. |
ACM Trans. Math. Softw. |
2002 |
DBLP DOI BibTeX RDF |
POSIX Threads, symmetric multi-processor, Fortran, FORTRAN, Scientific computing, POSIX, Pthreads, mathematical software |
70 | Benaoumeur 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". |
IEEE International Workshop on Rapid System Prototyping |
2006 |
DBLP DOI BibTeX RDF |
|
70 | Agustín Espinosa Minguet, Ana García-Fornes, Alfons Crespo |
An Ada Binding to the IEEE 1003.1q (POSIX Tracing) Standard. |
Ada-Europe |
2002 |
DBLP DOI BibTeX RDF |
|
67 | Mario Aldea Rivas, Michael González Harbour |
A POSIX-Ada Interface for Application-Defined Scheduling. |
Ada-Europe |
2002 |
DBLP DOI BibTeX RDF |
Scheduling, Real-Time Systems, Operating Systems, Kernel, Ada 95, POSIX |
66 | James F. Leathrum, K. A. Liburdy |
A formal approach to requirements based testing in open systems standards. |
ICRE |
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 |
58 | Hector Posadas, Jesús Ádamez, Pablo Sánchez, Eugenio Villar, Francisco Blasco |
POSIX modeling in SystemC. |
ASP-DAC |
2006 |
DBLP DOI BibTeX RDF |
|
57 | Mario Aldea Rivas |
Michael González Harbour: MaRTE OS: An Ada Kernel for Real-Time Embedded Applications. |
Ada-Europe |
2001 |
DBLP DOI BibTeX RDF |
Real-Time Systems, Embedded Systems, Operating System, Kernel, Ada 95, POSIX |
46 | Michael Kluge, Andreas Knüpfer, Matthias S. Müller, Wolfgang E. Nagel |
Pattern Matching and I/O Replay for POSIX I/O in Parallel Programs. |
Euro-Par |
2009 |
DBLP DOI BibTeX RDF |
|
46 | Jim Isaak |
POSIX - Inside: A Case Study. |
HICSS |
2005 |
DBLP DOI BibTeX RDF |
|
46 | Peng Li 0020, Binoy Ravindran, Syed Suhaib, Shahrooz Feizabadi |
A Formally Verified Application-Level Framework for Real-Time Scheduling on POSIX Real-Time Operating Systems. |
IEEE Trans. Software Eng. |
2004 |
DBLP DOI BibTeX RDF |
|
46 | Agustín Espinosa Minguet, Vicente Lorente Garcés, Ana García-Fornes, Alfons Crespo i Lorente |
Getting System Metrics Using POSIX Tracing Services. |
Ada-Europe |
2003 |
DBLP DOI BibTeX RDF |
|
46 | Mario Aldea Rivas, Michael González Harbour |
POSIX-Compatible Application-Defined Scheduling in MaRTE OS. |
ECRTS |
2002 |
DBLP DOI BibTeX RDF |
|
46 | D. J. Lee, Thomas J. Downar |
The Application of POSIX Threads and OpenMP to the U.S. NRC Neutron Kinetics Code PARCS. |
WOMPAT |
2001 |
DBLP DOI BibTeX RDF |
|
46 | Dong-Ik Oh, Theodore P. Baker, Seung-Jin Moon |
The GNARL Implementation of POSIX/Ada Signal Services. |
Ada-Europe |
1996 |
DBLP DOI BibTeX RDF |
|
45 | Adrien Lebre, Yves Denneulin, Guillaume Huard, Przemyslaw Sowa |
Adaptive I/O Scheduling for Distributed Multi-applications Environments. |
HPDC |
2006 |
DBLP DOI BibTeX RDF |
ROMIO, adaptive I-O scheduling, distributed multiapplications environment, aIOLi project, POSIX API, dedicated parallel I-O library |
43 | Bill O. Gallmeister, C. Lanier |
Early Experience with POSIX 1003.4 and POSIX 1003.4A. |
RTSS |
1991 |
DBLP DOI BibTeX RDF |
|
42 | Mark J. Stanovich, Theodore P. Baker, An-I Wang, Michael González Harbour |
Defects of the POSIX Sporadic Server and How to Correct Them. |
IEEE Real-Time and Embedded Technology and Applications Symposium |
2010 |
DBLP DOI BibTeX RDF |
aperiodic server scheduling, posix, sporadic server |
42 | Zhang Zhang, Jeevan Savant, Steven Seidel |
A UPC Runtime System Based on MPI and POSIX Threads. |
PDP |
2006 |
DBLP DOI BibTeX RDF |
Unified Parallel C, POSIX threads, parallel programming, MPI, shared memory |
42 | E. W. Giering, Frank Mueller 0001, Theodore P. Baker |
Implementing Ada 9X Features Using POSIX Threads: Design Issues. |
TRI-Ada |
1993 |
DBLP DOI BibTeX RDF |
Ada, POSIX |
42 | E. W. Giering, Theodore P. Baker |
Using POSIX Threads to Implement Ada Tasking: Description of Work in Progress. |
TRI-Ada |
1992 |
DBLP DOI BibTeX RDF |
Ada, POSIX |
42 | David E. Emery, Steven Deller, James W. Moore |
POSIX and Ada. |
TRI-Ada Tutorials (2) |
1992 |
DBLP DOI BibTeX RDF |
Ada, POSIX |
36 | Aaron Pohle, Björn Döbel, Michael Roitzsch, Hermann Härtig |
Capability wrangling made easy: debugging on a microkernel with valgrind. |
VEE |
2010 |
DBLP DOI BibTeX RDF |
l4, valgrind, capability, microkernel |
36 | Giovanni Beltrame, Luca Fossati, Donatella Sciuto |
Concurrency emulation and analysis of parallel applications for multi-processor system-on-chip co-design. |
CODES+ISSS |
2008 |
DBLP DOI BibTeX RDF |
ReSP, Operating System, Emulation, OpenMP, MPSoC, codesign |
36 | Wei-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. |
ICPP |
2003 |
DBLP DOI BibTeX RDF |
|
36 | Guillem Bernat, Alan Burns 0001 |
New Results on Fixed Priority Aperiodic Servers. |
RTSS |
1999 |
DBLP DOI BibTeX RDF |
|
36 | Serge Chaumette |
JEM-DOOS: The Java/RMI Based Distributed Objects Operating System of the JEM Project. |
ISCOPE |
1998 |
DBLP DOI BibTeX RDF |
|
34 | Leo Freitas, Jim Woodcock 0001, Andrew Butterfield |
POSIX and the Verification Grand Challenge: A Roadmap. |
ICECCS |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Leo Freitas, Zheng Fu, Jim Woodcock 0001 |
POSIX file store in Z/Eves: an experiment in the verified software repository. |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
|
34 | Mohab Safey El Din, Philippe Trebuchet |
POSIX threads polynomials(PTPol): a scalable implementation of univariate arithmetic operations. |
PASCO |
2007 |
DBLP DOI BibTeX RDF |
univariate polynomial, scalability, symbolic-numeric computation |
34 | Filipe Valpereiro, Luís Miguel Pinho |
POSIX Trace Based Behavioural Reflection. |
Ada-Europe |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Yasushi Shinjo, Calton Pu |
Achieving Efficiency and Portability in Systems Software: A Case Study on POSIX-Compliant Multithreaded Programs. |
IEEE Trans. Software Eng. |
2005 |
DBLP DOI BibTeX RDF |
runtime specialization, thread-specific data, Performance, concurrent programming, threads, portability, software libraries |
34 | Mario Aldea Rivas, Michael González Harbour |
Evaluation of New POSIX Real-Time Operating Systems Services for Small Embedded Platforms. |
ECRTS |
2003 |
DBLP DOI BibTeX RDF |
|
34 | Frédéric Pétrot, Pascal Gomez |
Lightweight Implementation of the POSIX Threads API for an On-Chip MIPS Multiprocessor with VCI Interconnect. |
DATE |
2003 |
DBLP DOI BibTeX RDF |
|
34 | Henrik Löf, Zoran Radovic, Erik Hagersten |
THROOM - Supporting POSIX Multithreaded Binaries on a Cluster. |
Euro-Par |
2003 |
DBLP DOI BibTeX RDF |
|
34 | Javier Miranda, Michael González Harbour |
A Proposal to Integrate the POSIX Execution-Time Clocks into Ada 95. |
Ada-Europe |
2003 |
DBLP DOI BibTeX RDF |
Scheduling, Execution-Time, Ada 95, Hard Real-Time, GNAT |
34 | Philip Koopman, John DeVale |
Comparing the Robustness of POSIX Operating Systems. |
FTCS |
1999 |
DBLP DOI BibTeX RDF |
software robustness testing, operating systems |
34 | William R. Dieter, James E. Lumpp Jr. |
A User-Level Checkpointing Library for POSIX Threads Programs. |
FTCS |
1999 |
DBLP DOI BibTeX RDF |
multithreaded, Unix, checkpointing, threads, rollback recovery, Solaris |
33 | Achim D. Brucker, Burkhart Wolff |
A verification approach to applied system security. |
Int. J. Softw. Tools Technol. Transf. |
2005 |
DBLP DOI BibTeX RDF |
Security, Verification, Refinement, Z, POSIX |
33 | Anna 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. |
HPCS |
2005 |
DBLP DOI BibTeX RDF |
OSI Network Layer, POSIX threading, parallelization, packet-switching networks, pthreads |
33 | Mario Aldea Rivas, Javier Miranda, Michael González Harbour |
Integrating Application-Defined Scheduling with the New Dispatching Policies for Ada Tasks. |
Ada-Europe |
2005 |
DBLP DOI BibTeX RDF |
Scheduling, Real-Time Systems, Ada, Compilers, Kernel, POSIX |
33 | Mario Aldea Rivas, Javier Miranda, Michael González Harbour |
Implementing an Application-Defined Scheduling Framework for Ada Tasking. |
Ada-Europe |
2004 |
DBLP DOI BibTeX RDF |
Scheduling, Real-Time, Compilers, Kernel, Ada 95, POSIX |
33 | Wolfgang Küchlin, Gerhard Gruhler, Thomas Lumpp, Andreas Speck |
HighRobot: a high-performance universal robot control on parallel workstations. |
ECBS |
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 |
33 | Michael Gagliardi, Ragunathan Rajkumar, Lui Sha |
Designing for evolvability: building blocks for evolvable real-time systems. |
IEEE Real Time Technology and Applications Symposium |
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 |
33 | Luís Moura Silva, João Gabriel Silva, Simon Chapple |
Portable Transparent Checkpointing for Distributed Shared Memory. |
HPDC |
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 |
33 | Bernd Dreier, Theo Ungerer |
Implementing distributed shared memory based on DCE. |
PDP |
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 |
24 | Csaba Attila Marosi, Zoltán Balaton, Péter Kacsuk |
GenWrapper: A generic wrapper for running legacy applications on desktop grids. |
IPDPS |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Jay F. Lofstead, Scott Klasky, Karsten Schwan, Norbert Podhorszki, Chen Jin |
Flexible IO and integration for scientific codes through the adaptable IO system (ADIOS). |
CLADE |
2008 |
DBLP DOI BibTeX RDF |
HDF-5, modular IO, visualization, workflow, MPI-IO |
24 | Osmar Marchi dos Santos, Andy J. Wellings |
Run Time Detection of Blocking Time Violations in Real-Time Systems. |
RTCSA |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Sriram Raghunathan |
Extending Inter-process Synchronization with Robust Mutex and Variants in Condition Wait. |
ICPADS |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Ji Chan Maeng, Dongjin Na, Yongsoon Lee, Minsoo Ryu |
Model-Driven Development of RTOS-Based Embedded Software. |
ISCIS |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Ji Chan Maeng, Jong-Hyuk Kim, Minsoo Ryu |
An RTOS API Translator for Model-Driven Embedded Software Development. |
RTCSA |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Sathish Chandra, Francesco Regazzoni 0001, Marcello Lajolo |
Hardware/software partitioning of operating systems: a behavioral synthesis approach. |
ACM Great Lakes Symposium on VLSI |
2006 |
DBLP DOI BibTeX RDF |
embedded systems, operating systems, partitioning, RTOS, HW/SW codesign |
24 | Adrien Lebre, Guillaume Huard, Yves Denneulin, Przemyslaw Sowa |
I/O Scheduling Service for Multi-Application Clusters. |
CLUSTER |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Yueyue Zhang, Amy W. Apon |
Implementation Tradeoffs of the Array Files Library for Out-of-Core Computations. |
CLUSTER |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Paolo Gai, Luca Abeni, Massimiliano Giorgi, Giorgio C. Buttazzo |
A New Kernel Approach for Modular Real-Time Systems Development. |
ECRTS |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Mitsuhisa Sato, Motonori Hirano, Yoshio Tanaka, Satoshi Sekiguchi |
OmniRPC: A Grid RPC Facility for Cluster and Global Computing in OpenMP. |
WOMPAT |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Arkady Kanevsky, Anthony Skjellum, Anna Rounbehler |
MPI/RT - An Emerging Standard for High-Performance Real-Time Systems. |
HICSS (3) |
1998 |
DBLP DOI BibTeX RDF |
|
21 | Christian Urban |
POSIX Lexing with Derivatives of Regular Expressions. |
J. Autom. Reason. |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Davide Bellassai, Alessandro Biondi 0001, Alessandro Biasci, Bruno Morelli |
Supporting logical execution time in multi-core POSIX systems. |
J. Syst. Archit. |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Chengsong Tan, Christian Urban |
POSIX Lexing with Bitcoded Derivatives. |
ITP |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Zebin Ren, Animesh Trivedi |
Performance Characterization of Modern Storage Stacks: POSIX I/O, libaio, SPDK, and io_uring. |
CHEOPS@EuroSys |
2023 |
DBLP DOI BibTeX RDF |
|
21 | George V. Neville-Neil |
The Elephant in the Room: It's time to get the POSIX elephant off our necks. |
ACM Queue |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Yingjin 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. |
SC |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Petr Rockai, Zuzana Baranová, Jan Mrázek, Katarína Kejstová, Jiri Barnat |
Reproducible execution of POSIX programs with DiOS. |
Softw. Syst. Model. |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Martin Berglund, Willem Bester, Brink van der Merwe |
Formalising and implementing Boost POSIX regular expression matching. |
Theor. Comput. Sci. |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Lehman H. Garrison, Daniel J. Eisenstein, Nina A. Maksimova |
Checkpointing with cp: the POSIX Shared Memory System. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
21 | Angelo Borsotti, Ulya Trofimovich |
Efficient POSIX submatch extraction on nondeterministic finite automata. |
Softw. Pract. Exp. |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Gabriele Serra, Gabriele Ara, Pietro Fara, Tommaso Cucinotta |
ReTiF: A declarative real-time scheduling framework for POSIX systems. |
J. Syst. Archit. |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Michael Greenberg 0002 |
Files-as-Filesystems for POSIX Shell Data Processing. |
PLOS@SOSP |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Kumseok Jung, Julien Gascon-Samson, Karthik Pattabiraman |
Demo: OneOS - Middleware for Running Edge Computing Applications as Distributed POSIX Pipelines. |
SEC |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Kumseok Jung, Julien Gascon-Samson, Karthik Pattabiraman |
OneOS: Middleware for Running Edge Computing Applications as Distributed POSIX Pipelines. |
SEC |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Michael Greenberg 0002, Austin J. Blatt |
Executable formal semantics for the POSIX shell. |
Proc. ACM Program. Lang. |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Yann Régis-Gianas, Nicolas Jeannerod, Ralf Treinen |
Morbig: A Static parser for POSIX shell. |
J. Comput. Lang. |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Gedare Bloom, Joel Sherrill |
Harmonizing ARINC 653 and Realtime POSIX for Conformance to the FACE Technical Standard. |
ISORC |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Shweta Shinde, Shengyi Wang, Pinghai Yuan, Aquinas Hobor, Abhik Roychoudhury, Prateek Saxena |
BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety Proof. |
USENIX Security Symposium |
2020 |
DBLP BibTeX RDF |
|
21 | Sharan 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. |
EMSOFT |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Haiying Xu, Kevin Paul, Anderson Banihirwe |
Pangeo Benchmarking Analysis: Object Storage vs. POSIX File System. |
PDSW@SC |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Mahmoud 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). |
Middleware Industry |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Michael Greenberg 0002, Austin J. Blatt |
Executable formal semantics for the POSIX shell. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
21 | Petr Rockai, Zuzana Baranová, Jan Mrázek, Katarína Kejstová, Jiri Barnat |
Reproducible Execution of POSIX Programs with DiOS. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
21 | Cody Cutler, M. Frans Kaashoek, Robert Tappan Morris |
The Benefits and Costs of Writing a POSIX Kernel in a High-Level Language. |
login Usenix Mag. |
2019 |
DBLP BibTeX RDF |
|
21 | Kumseok Jung, Julien Gascon-Samson, Karthik Pattabiraman |
OneOS: IoT Platform based on POSIX and Actors. |
HotEdge |
2019 |
DBLP BibTeX RDF |
|
21 | Ludwig 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. |
Echtzeit |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Brooks 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. |
ASPLOS |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Petr Rockai, Zuzana Baranová, Jan Mrázek, Katarína Kejstová, Jiri Barnat |
Reproducible Execution of POSIX Programs with DiOS. |
SEFM |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Cody Cutler |
The benefits and costs of writing a POSIX Kernel in a high-level language. |
|
2019 |
RDF |
|
21 | Xiaohui 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. |
Comput. Geosci. |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Vidblain 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. |
Comput. Syst. Sci. Eng. |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Yann Régis-Gianas, Nicolas Jeannerod, Ralf Treinen |
Morbig: a static parser for POSIX shell. |
SLE |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Martin Berglund, Willem Bester, Brink van der Merwe |
Formalising Boost POSIX Regular Expression Matching. |
ICTAC |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Ludwig Thomeczek, Andreas Attenberger, Václav Matousek, Jürgen Mottok |
Latenzen von POSIX Betriebssystemen im Kontext von Hypervisoren in Real-Time Systemen. |
Echtzeit |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Gian Ntzik, Pedro da Rocha Pinto, Julian Sutherland, Philippa Gardner |
A Concurrent Specification of POSIX File Systems. |
ECOOP |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Michael Greenberg 0002 |
Word expansion supports POSIX shell interactivity. |
Programming |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Cody Cutler, M. Frans Kaashoek, Robert Tappan Morris |
The benefits and costs of writing a POSIX kernel in a high-level language. |
OSDI |
2018 |
DBLP BibTeX RDF |
|
21 | Avishek Bhattacharjee, Samik Banerjee, Sukhendu Das |
PosIX-GAN: Generating Multiple Poses Using GAN for Pose-Invariant Face Recognition. |
ECCV Workshops (3) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Vyacheslav Dubeyko, Cyril Guyot, Luis Cargnini, Adam Manzanares |
POSIX-based Operating System in the environment of NVM/SCM memory. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
21 | Jeff Inman, Will Vining, Garrett Ransom, Gary Grider |
MarFS, a Near-POSIX Interface to Cloud Objects. |
login Usenix Mag. |
2017 |
DBLP BibTeX RDF |
|
21 | Suayb S. Arslan, Hoa Le, Joseph Landman, Turguy Goker |
OpenMP and POSIX threads implementation of Jerasure 2.0. |
BlackSeaCom |
2017 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 320 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ >>] |
|