|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings, pp. 153-166, 2008, Springer, 978-3-540-87602-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 26(9), pp. 837-848, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Math. Softw. ![In: ACM Trans. Math. Softw. 28(3), pp. 354-371, 2002. The full citation details ...](Pics/full.jpeg) |
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". ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE International Workshop on Rapid System Prototyping ![In: 17th IEEE International Workshop on Rapid System Prototyping (RSP 2006), 14-16 June 2006, Chania, Crete, Greece, pp. 69-75, 2006, IEEE Computer Society, 0-7695-2580-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2002, 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002, Proceedings, pp. 321-333, 2002, Springer, 3-540-43784-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
67 | Mario Aldea Rivas, Michael González Harbour |
A POSIX-Ada Interface for Application-Defined Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2002, 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002, Proceedings, pp. 136-150, 2002, Springer, 3-540-43784-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRE ![In: Proceedings of the 2nd International Conference on Requirements Engineering, ICRE '96, Colorado Springs, Colorado, USA, April 15-18, 1996, pp. 94-101, 1996, IEEE Computer Society, 0-8186-7252-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 2006 Conference on Asia South Pacific Design Automation: ASP-DAC 2006, Yokohama, Japan, January 24-27, 2006, pp. 485-490, 2006, IEEE, 0-7803-9451-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
57 | Mario Aldea Rivas |
Michael González Harbour: MaRTE OS: An Ada Kernel for Real-Time Embedded Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies: Ada Europe 2001, 6th Ade-Europe International Conference Leuven, Belgium, May 14-18, 2001, Proceedings, pp. 305-316, 2001, Springer, 3-540-42123-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par 2009 Parallel Processing, 15th International Euro-Par Conference, Delft, The Netherlands, August 25-28, 2009. Proceedings, pp. 45-56, 2009, Springer, 978-3-642-03868-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
46 | Jim Isaak |
POSIX - Inside: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 38th Hawaii International Conference on System Sciences (HICSS-38 2005), CD-ROM / Abstracts Proceedings, 3-6 January 2005, Big Island, HI, USA, 2005, IEEE Computer Society, 0-7695-2268-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 30(9), pp. 613-629, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2003, 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings, pp. 220-231, 2003, Springer, 3-540-40376-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
46 | Mario Aldea Rivas, Michael González Harbour |
POSIX-Compatible Application-Defined Scheduling in MaRTE OS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECRTS ![In: 14th Euromicro Conference on Real-Time Systems (ECRTS 2002), 19-21 June 2002, Vienna, Austria, Proceedings, pp. 67-75, 2002, IEEE Computer Society, 0-7695-1665-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOMPAT ![In: OpenMP Shared Memory Parallel Programming, International Workshop on OpenMP Applications and Tools, WOMPAT 2001, West Lafayette, IN, USA, July 30-31, 2001 Proceedings, pp. 90-100, 2001, Springer, 3-540-42346-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
46 | Dong-Ik Oh, Theodore P. Baker, Seung-Jin Moon |
The GNARL Implementation of POSIX/Ada Signal Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe '96, 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June 10-14, 1996, Proceedings, pp. 275-286, 1996, Springer, 3-540-61317-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
45 | Adrien Lebre, Yves Denneulin, Guillaume Huard, Przemyslaw Sowa |
Adaptive I/O Scheduling for Distributed Multi-applications Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPDC ![In: Proceedings of the 15th IEEE International Symposium on High Performance Distributed Computing, HPDC-15, Paris, France, June 19-23, 2006, pp. 343-344, 2006, IEEE, 1-4244-0307-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the Real-Time Systems Symposium - 1991, San Antonio, Texas, USA, December 1991, pp. 190-198, 1991, IEEE Computer Society, 0-8186-2450-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real-Time and Embedded Technology and Applications Symposium ![In: 16th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2010, Stockholm, Sweden, April 12-15, 2010, pp. 35-45, 2010, IEEE Computer Society, 978-0-7695-4001-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 14th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP 2006), 15-17 February 2006, Montbeliard-Sochaux, France, pp. 195-202, 2006, IEEE Computer Society, 0-7695-2513-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada ![In: Conference Proceedings on TRI-Ada 1993, September 18-23, 1993, Seattle, Washington, USA., pp. 214-228, 1993, ACM, 0-89791-621-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada ![In: Conference Proceedings on TRI-Ada 1992, Orlando, Florida USA, November 17-20, 1992., pp. 518-529, 1992, ACM, 0-89791-529-1. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
Ada, POSIX |
42 | David E. Emery, Steven Deller, James W. Moore |
POSIX and Ada. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada Tutorials (2) ![In: Tutorial Proceedings on TRI-Ada 1992, November 17-20, 1992, Orlando, Florida USA - Volume 2, pp. 758-944, 1992, ACM, 0-89791-530-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VEE ![In: Proceedings of the 6th International Conference on Virtual Execution Environments, VEE 2010, Pittsburgh, Pennsylvania, USA, March 17-19, 2010, pp. 3-12, 2010, ACM, 978-1-60558-910-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: Proceedings of the 6th International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2008, Atlanta, GA, USA, October 19-24, 2008, pp. 7-12, 2008, ACM, 978-1-60558-470-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP ![In: 32nd International Conference on Parallel Processing (ICPP 2003), 6-9 October 2003, Kaohsiung, Taiwan, pp. 239-, 2003, IEEE Computer Society, 0-7695-2017-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
36 | Guillem Bernat, Alan Burns 0001 |
New Results on Fixed Priority Aperiodic Servers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 20th IEEE Real-Time Systems Symposium, Phoenix, AZ, USA, December 1-3, 1999, pp. 68-78, 1999, IEEE Computer Society, 0-7695-0475-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
36 | Serge Chaumette |
JEM-DOOS: The Java/RMI Based Distributed Objects Operating System of the JEM Project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCOPE ![In: Computing in Object-Oriented Parallel Environments, Second International Symposium, ISCOPE 98, Santa Fe, NM, USA, December 8-11, 1998, Proceedings, pp. 135-142, 1998, Springer, 3-540-65387-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
34 | Leo Freitas, Jim Woodcock 0001, Andrew Butterfield |
POSIX and the Verification Grand Challenge: A Roadmap. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland, pp. 153-162, 2008, IEEE Computer Society, 0-7695-3139-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 10-14 July 2007, Auckland, New Zealand, pp. 3-14, 2007, IEEE Computer Society, 978-0-7695-2895-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
34 | Mohab Safey El Din, Philippe Trebuchet |
POSIX threads polynomials(PTPol): a scalable implementation of univariate arithmetic operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Parallel Symbolic Computation, PASCO 2007, International Workshop, 27-28 July 2007, University of Western Ontario, London, Ontario, Canada, pp. 104-106, 2007, ACM, 978-1-59593-741-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
univariate polynomial, scalability, symbolic-numeric computation |
34 | Filipe Valpereiro, Luís Miguel Pinho |
POSIX Trace Based Behavioural Reflection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2006, 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006, Proceedings, pp. 27-39, 2006, Springer, 3-540-34663-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 31(9), pp. 785-800, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECRTS ![In: 15th Euromicro Conference on Real-Time Systems (ECRTS 2003), 2-4 July 2003, Porto, Portugal, Proceedings, pp. 161-168, 2003, IEEE Computer Society, 0-7695-1936-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2003 Design, Automation and Test in Europe Conference and Exposition (DATE 2003), 3-7 March 2003, Munich, Germany, pp. 20051-20056, 2003, IEEE Computer Society, 0-7695-1870-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
34 | Henrik Löf, Zoran Radovic, Erik Hagersten |
THROOM - Supporting POSIX Multithreaded Binaries on a Cluster. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par 2003. Parallel Processing, 9th International Euro-Par Conference, Klagenfurt, Austria, August 26-29, 2003. Proceedings, pp. 760-769, 2003, Springer, 3-540-40788-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
34 | Javier Miranda, Michael González Harbour |
A Proposal to Integrate the POSIX Execution-Time Clocks into Ada 95. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2003, 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings, pp. 344-358, 2003, Springer, 3-540-40376-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTCS ![In: Digest of Papers: FTCS-29, The Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing, Madison, Wisconsin, USA, June 15-18, 1999, pp. 30-37, 1999, IEEE Computer Society, 0-7695-0213-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTCS ![In: Digest of Papers: FTCS-29, The Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing, Madison, Wisconsin, USA, June 15-18, 1999, pp. 224-227, 1999, IEEE Computer Society, 0-7695-0213-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 7(3), pp. 233-247, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCS ![In: 19th Annual International Symposium on High Performance Computing Systems and Applications (HPCS 2005), 15-18 May 2005, Guelph, Ontario, Canada, pp. 280-286, 2005, IEEE Computer Society, 0-7695-2343-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technology - Ada-Europe 2005, 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings, pp. 220-235, 2005, Springer, 3-540-26286-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2004, 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004, Proceedings, pp. 283-296, 2004, Springer, 3-540-22011-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 1997 Workshop on Engineering of Computer-Based Systems (ECBS '97), March 24-28, 1997, Monterey, CA, USA, pp. 444-451, 1997, IEEE Computer Society, 0-8186-7889-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real Time Technology and Applications Symposium ![In: 2nd IEEE Real-Time Technology and Applications Symposium, RTAS '96, Boston, MA, USA, June 10-12, 1996, pp. 100-109, 1996, IEEE Computer Society, 0-8186-7448-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPDC ![In: Proceedings of the 5th International Symposium on High Performance Distributed Computing (HPDC '96), Syracuse, NY, USA, August 6-9, 1996., pp. 422-431, 1996, IEEE Computer Society, 0-8186-7582-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 3rd Euromicro Workshop on Parallel and Distributed Processing (PDP '95), January 25-27, 1995, San Remo, Italy, pp. 84-90, 1995, IEEE Computer Society, 0-8186-7031-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 23rd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2009, Rome, Italy, May 23-29, 2009, pp. 1-6, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLADE ![In: 6th International Workshop on Challenges of Large Applications in Distributed Environments, CLADE@HPDC 2008, Boston, MA, USA, June 23, 2008, pp. 15-24, 2008, ACM, 978-1-60558-156-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: The Fourteenth IEEE Internationl Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2008, Kaohisung, Taiwan, 25-27 August 2008, Proceedings, pp. 347-356, 2008, IEEE Computer Society, 978-0-7695-3349-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Sriram Raghunathan |
Extending Inter-process Synchronization with Robust Mutex and Variants in Condition Wait. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: 14th International Conference on Parallel and Distributed Systems, ICPADS 2008, Melbourne, Victoria, Australia, December 8-10, 2008, pp. 121-128, 2008, IEEE Computer Society, 978-0-7695-3434-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Ji Chan Maeng, Dongjin Na, Yongsoon Lee, Minsoo Ryu |
Model-Driven Development of RTOS-Based Embedded Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCIS ![In: Computer and Information Sciences - ISCIS 2006, 21th International Symposium, Istanbul, Turkey, November 1-3, 2006, Proceedings, pp. 687-696, 2006, Springer, 3-540-47242-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Ji Chan Maeng, Jong-Hyuk Kim, Minsoo Ryu |
An RTOS API Translator for Model-Driven Embedded Software Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 12th IEEE Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2006), 16-18 August 2006, Sydney, Australia, pp. 363-367, 2006, IEEE Computer Society, 0-7695-2676-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Sathish Chandra, Francesco Regazzoni 0001, Marcello Lajolo |
Hardware/software partitioning of operating systems: a behavioral synthesis approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Proceedings of the 16th ACM Great Lakes Symposium on VLSI 2006, Philadelphia, PA, USA, April 30 - May 1, 2006, pp. 324-329, 2006, ACM, 1-59593-347-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLUSTER ![In: Proceedings of the 2006 IEEE International Conference on Cluster Computing, September 25-28, 2006, Barcelona, Spain, 2006, IEEE Computer Society, 1-4244-0328-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Yueyue Zhang, Amy W. Apon |
Implementation Tradeoffs of the Array Files Library for Out-of-Core Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLUSTER ![In: Proceedings of the 2006 IEEE International Conference on Cluster Computing, September 25-28, 2006, Barcelona, Spain, 2006, IEEE Computer Society, 1-4244-0328-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECRTS ![In: 13th Euromicro Conference on Real-Time Systems (ECRTS 2001), 13-15 June 2001, Delft, The Netherlands, Proceedings, pp. 199-, 2001, IEEE Computer Society, 0-7695-1221-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOMPAT ![In: OpenMP Shared Memory Parallel Programming, International Workshop on OpenMP Applications and Tools, WOMPAT 2001, West Lafayette, IN, USA, July 30-31, 2001 Proceedings, pp. 130-136, 2001, Springer, 3-540-42346-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Arkady Kanevsky, Anthony Skjellum, Anna Rounbehler |
MPI/RT - An Emerging Standard for High-Performance Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (3) ![In: Thirty-First Annual Hawaii International Conference on System Sciences, Kohala Coast, Hawaii, USA, January 6-9, 1998, pp. 157-166, 1998, IEEE Computer Society, 0-8186-8255-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
21 | Christian Urban |
POSIX Lexing with Derivatives of Regular Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 67(3), pp. 24, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Davide Bellassai, Alessandro Biondi 0001, Alessandro Biasci, Bruno Morelli |
Supporting logical execution time in multi-core POSIX systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Archit. ![In: J. Syst. Archit. 144, pp. 102987, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Chengsong Tan, Christian Urban |
POSIX Lexing with Bitcoded Derivatives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: 14th International Conference on Interactive Theorem Proving, ITP 2023, July 31 to August 4, 2023, Białystok, Poland, pp. 27:1-27:18, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-284-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Zebin Ren, Animesh Trivedi |
Performance Characterization of Modern Storage Stacks: POSIX I/O, libaio, SPDK, and io_uring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHEOPS@EuroSys ![In: Proceedings of the 3rd Workshop on Challenges and Opportunities of Efficient and Performant Storage Systems, CHEOPS 2023, Rome, Italy, 8 May 2023, pp. 35-45, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Queue ![In: ACM Queue 20(5), pp. 14-19, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC ![In: SC22: International Conference for High Performance Computing, Networking, Storage and Analysis, Dallas, TX, USA, November 13-18, 2022, pp. 56:1-56:20, 2022, IEEE, 978-1-6654-5444-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 20(2), pp. 363-382, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Martin Berglund, Willem Bester, Brink van der Merwe |
Formalising and implementing Boost POSIX regular expression matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 857, pp. 147-165, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Lehman H. Garrison, Daniel J. Eisenstein, Nina A. Maksimova |
Checkpointing with cp: the POSIX Shared Memory System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2102.13140, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
21 | Angelo Borsotti, Ulya Trofimovich |
Efficient POSIX submatch extraction on nondeterministic finite automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 51(2), pp. 159-192, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Gabriele Serra, Gabriele Ara, Pietro Fara, Tommaso Cucinotta |
ReTiF: A declarative real-time scheduling framework for POSIX systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Archit. ![In: J. Syst. Archit. 118, pp. 102210, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Michael Greenberg 0002 |
Files-as-Filesystems for POSIX Shell Data Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: PLOS '21: Proceedings of the 11th Workshop on Programming Languages and Operating Systems, Virtual Event, Germany, October 25, 2021, pp. 17-23, 2021, ACM, 978-1-4503-8707-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEC ![In: 6th IEEE/ACM Symposium on Edge Computing, SEC 2021, San Jose, CA, USA, December 14-17, 2021, pp. 470-472, 2021, IEEE, 978-1-4503-8390-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Kumseok Jung, Julien Gascon-Samson, Karthik Pattabiraman |
OneOS: Middleware for Running Edge Computing Applications as Distributed POSIX Pipelines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEC ![In: 6th IEEE/ACM Symposium on Edge Computing, SEC 2021, San Jose, CA, USA, December 14-17, 2021, pp. 242-256, 2021, IEEE, 978-1-4503-8390-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Michael Greenberg 0002, Austin J. Blatt |
Executable formal semantics for the POSIX shell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 4(POPL), pp. 43:1-43:30, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Yann Régis-Gianas, Nicolas Jeannerod, Ralf Treinen |
Morbig: A Static parser for POSIX shell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Lang. ![In: J. Comput. Lang. 57, pp. 100944, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Gedare Bloom, Joel Sherrill |
Harmonizing ARINC 653 and Realtime POSIX for Conformance to the FACE Technical Standard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 23rd IEEE International Symposium on Real-Time Distributed Computing, ISORC 2020, Nashville, TN, USA, May 19-21, 2020, pp. 98-105, 2020, IEEE, 978-1-7281-6958-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Security Symposium ![In: 29th USENIX Security Symposium, USENIX Security 2020, August 12-14, 2020, pp. 523-540, 2020, USENIX Association, 978-1-939133-17-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: 20th International Conference on Embedded Software, EMSOFT 2020, Singapore, September 20-25, 2020, pp. 31-33, 2020, IEEE, 978-1-7281-9195-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Haiying Xu, Kevin Paul, Anderson Banihirwe |
Pangeo Benchmarking Analysis: Object Storage vs. POSIX File System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDSW@SC ![In: Fifth IEEE/ACM International Parallel Data Systems Workshop, PDSW@SC 2020, Atlanta, GA, USA, November 12, 2020, pp. 40-45, 2020, IEEE, 978-1-6654-1594-1. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Middleware Industry ![In: Middleware '20: Proceedings of the 21st International Middleware Conference Industrial Track, Delft, The Netherlands, December 7-11, 2020, pp. 23-30, 2020, ACM, 978-1-4503-8201-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Michael Greenberg 0002, Austin J. Blatt |
Executable formal semantics for the POSIX shell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1907.05308, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
21 | Petr Rockai, Zuzana Baranová, Jan Mrázek, Katarína Kejstová, Jiri Barnat |
Reproducible Execution of POSIX Programs with DiOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1907.03356, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
login Usenix Mag. ![In: login Usenix Mag. 44(1), 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
21 | Kumseok Jung, Julien Gascon-Samson, Karthik Pattabiraman |
OneOS: IoT Platform based on POSIX and Actors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HotEdge ![In: 2nd USENIX Workshop on Hot Topics in Edge Computing, HotEdge 2019, Renton, WA, USA, July 9, 2019, 2019, USENIX Association. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Echtzeit ![In: Echtzeit 2019 - Autonome Systeme - 50 Jahre PEARL, Fachtagung des gemeinsamen Fachausschusses Echtzeitsysteme von Gesellschaft für Informatik e.V. (GI), VDI/VDE-Gesellschaft für Mess- und Automatisierungstechnik (GMA) und Informationstechnischer Gesellschaft im VDE (ITG,) Boppard, 21. und 22. November 2019, pp. 109-118, 2019, Springer Vieweg, 978-3-658-27807-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2019, Providence, RI, USA, April 13-17, 2019, pp. 379-393, 2019, ACM, 978-1-4503-6240-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings, pp. 333-349, 2019, Springer, 978-3-030-30445-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Cody Cutler |
The benefits and costs of writing a POSIX Kernel in a high-level language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Geosci. ![In: Comput. Geosci. 115, pp. 42-55, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Syst. Sci. Eng. ![In: Comput. Syst. Sci. Eng. 33(1), 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Yann Régis-Gianas, Nicolas Jeannerod, Ralf Treinen |
Morbig: a static parser for POSIX shell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLE ![In: Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2018, Boston, MA, USA, November 05-06, 2018, pp. 29-41, 2018, ACM, 978-1-4503-6029-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Martin Berglund, Willem Bester, Brink van der Merwe |
Formalising Boost POSIX Regular Expression Matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2018 - 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings, pp. 99-115, 2018, Springer, 978-3-030-02507-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Echtzeit ![In: Echtzeit und Sicherheit - Echtzeit 2018, Fachtagung des gemeinsamen Fachausschusses Echtzeitsysteme von Gesellschaft für Informatik e.V. (GI), VDI/VDE-Gesellschaft für Mess- und Automatisierungstechnik (GMA) und Informationstechnischer Gesellschaft im VDE (ITG), Boppard, 15. und 16. November 2018, pp. 99-108, 2018, Springer Vieweg, 978-3-662-58095-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Gian Ntzik, Pedro da Rocha Pinto, Julian Sutherland, Philippa Gardner |
A Concurrent Specification of POSIX File Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 32nd European Conference on Object-Oriented Programming, ECOOP 2018, July 16-21, 2018, Amsterdam, The Netherlands, pp. 4:1-4:28, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-079-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Michael Greenberg 0002 |
Word expansion supports POSIX shell interactivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming, Nice, France, April 09-12, 2018, pp. 153-160, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OSDI ![In: 13th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2018, Carlsbad, CA, USA, October 8-10, 2018., pp. 89-105, 2018, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
21 | Avishek Bhattacharjee, Samik Banerjee, Sukhendu Das |
PosIX-GAN: Generating Multiple Poses Using GAN for Pose-Invariant Face Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECCV Workshops (3) ![In: Computer Vision - ECCV 2018 Workshops - Munich, Germany, September 8-14, 2018, Proceedings, Part III, pp. 427-443, 2018, Springer, 978-3-030-11014-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1712.07759, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
21 | Jeff Inman, Will Vining, Garrett Ransom, Gary Grider |
MarFS, a Near-POSIX Interface to Cloud Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
login Usenix Mag. ![In: login Usenix Mag. 42(1), 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
21 | Suayb S. Arslan, Hoa Le, Joseph Landman, Turguy Goker |
OpenMP and POSIX threads implementation of Jerasure 2.0. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BlackSeaCom ![In: 2017 IEEE International Black Sea Conference on Communications and Networking, BlackSeaCom 2017, Istanbul, Turkey, June 5-8, 2017, pp. 1-5, 2017, IEEE, 978-1-5090-5049-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 320 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ >>] |
|