Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
21 | Erez Zadok, Dean Hildebrand, Geoff Kuenning, Keith A. Smith |
POSIX is Dead! Long Live... errr... What Exactly? ![Search on Bibsonomy](Pics/bibsonomy.png) |
HotStorage ![In: 9th USENIX Workshop on Hot Topics in Storage and File Systems, HotStorage 2017, Santa Clara, CA, USA, July 10-11, 2017., 2017, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
21 | Gidon Ernst |
A Verified POSIX-Compliant Flash File System - Modular Verification Technology & Crash Tolerance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2017 |
RDF |
|
21 | Arnaud Tomeï |
A Brief POSIX Advocacy: Shell Script Portability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
login Usenix Mag. ![In: login Usenix Mag. 41(1), 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
21 | Vaggelis Atlidakis, Jeremy Andrus, Roxana Geambasu, Dimitris Mitropoulos, Jason Nieh |
POSIX Has Become Outdated. ![Search on Bibsonomy](Pics/bibsonomy.png) |
login Usenix Mag. ![In: login Usenix Mag. 41(3), 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
21 | Fahad Ausaf, Roy Dyckhoff, Christian Urban |
POSIX Lexing with Derivatives of Regular Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2016, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
21 | Jan Fajerski, Matthias Noack, Alexander Reinefeld, Florian Schintke, Thorsten Schütt, Thomas Steinke 0001 |
Fast In-Memory Checkpointing with POSIX API for Legacy Exascale-Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software for Exascale Computing ![In: Software for Exascale Computing - SPPEXA 2013-2015, pp. 427-441, 2016, Springer, 978-3-319-40526-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Ikuo Nakagawa, Hiroki Kashiwazaki, Shinji Shimojo, Kohei Ichikawa, Tohru Kondo, Yoshiaki Kitaguchi, Yutaka Kikuchi, Shigetoshi Yokoyama, Shunji Abe |
A Design and Implementation of Global Distributed POSIX File System on the Top of Multiple Independent Cloud Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IIAI-AAI ![In: 5th IIAI International Congress on Advanced Applied Informatics, IIAI-AAI 2016, Kumamoto, Japan, July 10-14, 2016, pp. 867-872, 2016, IEEE Computer Society, 978-1-4673-8985-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Fahad Ausaf, Roy Dyckhoff, Christian Urban |
POSIX Lexing with Derivatives of Regular Expressions (Proof Pearl). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: Interactive Theorem Proving - 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings, pp. 69-86, 2016, Springer, 978-3-319-43143-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Vaggelis Atlidakis, Jeremy Andrus, Roxana Geambasu, Dimitris Mitropoulos, Jason Nieh |
POSIX abstractions in modern operating systems: the old, the new, and the missing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroSys ![In: Proceedings of the Eleventh European Conference on Computer Systems, EuroSys 2016, London, United Kingdom, April 18-21, 2016, pp. 19:1-19:17, 2016, ACM, 978-1-4503-4240-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Gian Ntzik |
Reasoning about POSIX file systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2016 |
RDF |
|
21 | Weidong Wang, Chunhua Liao, Liqiang Wang, Daniel J. Quinlan, Wei Lu 0010 |
HBTM: A Heartbeat-based Behavior Detection Mechanism for POSIX Threads and OpenMP Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1512.00665, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
21 | Gian Ntzik, Philippa Gardner |
Reasoning about the POSIX file system: local update and global pathnames. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2015, part of SPLASH 2015, Pittsburgh, PA, USA, October 25-30, 2015, pp. 201-220, 2015, ACM, 978-1-4503-3689-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Tom Ridge, David Sheets, Thomas Tuerk, Andrea Giugliano, Anil Madhavapeddy, Peter Sewell |
SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOSP ![In: Proceedings of the 25th Symposium on Operating Systems Principles, SOSP 2015, Monterey, CA, USA, October 4-7, 2015, pp. 38-53, 2015, ACM, 978-1-4503-3834-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Andreas Stahlhofen, Dieter Zöbel |
Mapping real-time to POSIX: A simplistic approach for the availability of real-time scheduling for off the shelf embedded platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MECO ![In: 4th Mediterranean Conference on Embedded Computing, MECO 2015, Budva, Montenegro, June 14-18, 2015, pp. 89-92, 2015, IEEE, 978-1-4799-8999-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Patrick Donnelly, Nicholas L. Hazekamp, Douglas Thain |
Confuga: Scalable Data Intensive Computing for POSIX Workflows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCGRID ![In: 15th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, CCGrid 2015, Shenzhen, China, May 4-7, 2015, pp. 392-401, 2015, IEEE Computer Society, 978-1-4799-8006-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Philippa Gardner, Gian Ntzik, Adam Wright |
Local Reasoning for the POSIX File System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings, pp. 169-188, 2014, Springer, 978-3-642-54832-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Martin Sulzmann, Kenny Zhuo Ming Lu |
POSIX Regular Expression Parsing with Derivatives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings, pp. 203-220, 2014, Springer, 978-3-319-07150-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Charles Gruenwald |
Providing a Shared File System in the Hare POSIX Multikernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2014 |
RDF |
|
21 | Jon Howell, Bryan Parno, John R. Douceur |
How to Run POSIX Apps in a Minimal Picoprocess. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Annual Technical Conference ![In: 2013 USENIX Annual Technical Conference, San Jose, CA, USA, June 26-28, 2013, pp. 321-332, 2013, USENIX Association, 978-1-931971-01-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
21 | |
Pthreads (POSIX Threads). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Parallel Computing ![In: Encyclopedia of Parallel Computing, pp. 1647, 2011, Springer, 978-0-387-09765-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | David A. Padua |
POSIX Threads (Pthreads). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Parallel Computing ![In: Encyclopedia of Parallel Computing, pp. 1592-1593, 2011, Springer, 978-0-387-09765-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand |
Scenario-based testing from UML/OCL behavioral models - Application to POSIX compliance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 13(5), pp. 431-448, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Abdellah Kouadri, Olivier Héron, Romain Montagné |
A Lightweight API for an Adaptive Software Fault Tolerance Using POSIX-Thread Replication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARCS Workshops ![In: ARCS 2011 - 24th International Conference on Architecture of Computing Systems 2011, Workshop Proceedings, February 22-23, 2011, Como, Italy., 2011, VDE-Verlag, 978-3-8007-3333-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
21 | Steffen Kächele, Jörg Domaschka, Holger Schmidt 0002, Franz J. Hauck |
nOSGi: a posix-compliant native OSGi framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMSWARE ![In: Proceedings of the 5th International Conference on COMmunication System softWAre and MiddlewaRE (COMSWARE 2011), July 1-3, 2011, Verona, Italy, pp. 4, 2011, ACM, 978-1-4503-0560-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Shunsuke Mikami, Kazuki Ohta, Osamu Tatebe |
Using the Gfarm File System as a POSIX Compatible Storage Platform for Hadoop MapReduce Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GRID ![In: 12th IEEE/ACM International Conference on Grid Computing, GRID 2011, Lyon, France, September 21-23, 2011, pp. 181-189, 2011, IEEE Computer Society, 978-1-4577-1904-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Anna Sasak, Marcin Brzuszek |
POSIX threads parallelization for example of Particle-In-Cell density calculations in plasma computer simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. UMCS Informatica ![In: Ann. UMCS Informatica 10(2), pp. 29-40, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
21 | George A. Gravvanis, P. I. Matskanidis, Konstantinos M. Giannoutakis, Elias A. Lipitakis |
Finite Element Approximate Inverse Preconditioning using POSIX threads on multicore systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMCSIT ![In: Proceedings of the International Multiconference on Computer Science and Information Technology, IMCSIT 2010, Wisla, Poland, 18-20 October 2010, pp. 297-302, 2010, IEEE, 978-83-60810-27-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Daniel Mendes Caldas, Bruno Gouvêa de Barros, Marcelo Lobosco |
Parallel Implementations of an Immune Network Model Using POSIX Threads and OpenMP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBAC-PAD (Workshops) ![In: 22nd International Symposium on Computer Architecture and High Performance Computing Workshops, SBAC-PAD 2010 Workshops, Petropolis, Brazil, October 27-30, 2010, pp. 61-66, 2010, IEEE Computer Society, 978-1-4244-8877-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Leo Freitas, Jim Woodcock 0001, Zheng Fu |
POSIX file store in Z/Eves: An experiment in the verified software repository. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 74(4), pp. 238-257, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Michiel W. van Tol, Chris R. Jesshope, Mike Lankamp, Simon Polstra |
An implementation of the SANE Virtual Processor using POSIX threads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Archit. ![In: J. Syst. Archit. 55(3), pp. 162-169, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Alan Burns 0001, Andrew J. Wellings |
Real-Time Systems and Programming Languages - Ada, Real-Time Java and C / Real-Time POSIX, Fourth Edition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2009 |
RDF |
|
21 | François Thiébolt, Aurélien Ortiz, Abdelaziz Mzoughi |
VisageFS Translucent Directories: Efficient Posix Consistencies for Wide-Area Workflows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: Proceedings of the 17th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, PDP 2009, Weimar, Germany, 18-20 Febuary 2009, pp. 36-43, 2009, IEEE Computer Society, 978-0-7695-3544-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Nan Zhang |
Computing Parallel Speeded-Up Robust Features (P-SURF) via POSIX Threads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (1) ![In: Emerging Intelligent Computing Technology and Applications, 5th International Conference on Intelligent Computing, ICIC 2009, Ulsan, South Korea, September 16-19, 2009. Proceedings, pp. 287-296, 2009, Springer, 978-3-642-04069-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Multi-threaded computing, Local feature extraction, Image processing, Parallel programming, Machine intelligence |
21 | Andrés Terrasa, Agustín Espinosa, Ana García-Fornes |
Lightweight POSIX tracing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 38(5), pp. 447-469, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Jan Stender, Björn Kolbeck, Felix Hupfeld, Eugenio Cesario, Erich Focht, Matthias Hess, Jesus Malo, Jonathan Martí |
Striping without Sacrifices: Maintaining POSIX Semantics in a Parallel File System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LASCO ![In: First USENIX Workshop on Large-Scale Computing, LASCO 2008, June 23, 2008, Boston, MA, USA, Proceedings, 2008, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
21 | Takahiro Haruyama, Hidenori Nakazato, Hideyoshi Tominaga |
Intrusion Detection by Monitoring System Calls with POSIX Capabilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Commun. ![In: IEICE Trans. Commun. 90-B(10), pp. 2646-2654, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Jim Isaak |
The Role of Individuals and Social Capital in POSIX Standardization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. IT Stand. Stand. Res. ![In: Int. J. IT Stand. Stand. Res. 4(1), pp. 1-23, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Inmaculada Plaza, Carlos Medrano, Alfonso Blesa |
Analysis and implementation of the IEC 61131-3 software model under POSIX Real-Time operating systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocess. Microsystems ![In: Microprocess. Microsystems 30(8), pp. 497-508, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Andrew Josey |
Why Get Involved in POSIX? ![Search on Bibsonomy](Pics/bibsonomy.png) |
login Usenix Mag. ![In: login Usenix Mag. 31(5), 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
21 | Stefan D. Bruda, Petter Haggholm, Scott Stoddard |
Distributed, Real-Time Programming on Commodity POSIX Systems: A Preliminary Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPDC ![In: 5th International Symposium on Parallel and Distributed Computing (ISPDC 2006), 6-9 July 2006, Timisoara, Romania, pp. 74-81, 2006, IEEE Computer Society, 0-7695-2638-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Michael Rieker, Jason Ansel, Gene Cooperman |
Transparent User-Level Checkpointing for the Native Posix Thread Library for Linux. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDPTA ![In: Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications & Conference on Real-Time Computing Systems and Applications, PDPTA 2006, Las Vegas, Nevada, USA, June 26-29, 2006, Volume 1, pp. 492-498, 2006, CSREA Press, 1-932415-86-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
21 | Hector Posadas, Jesús Ádamez, Eugenio Villar, Francisco Blasco, F. Escuder |
RTOS modeling in SystemC for real-time embedded SW simulation: A POSIX model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Des. Autom. Embed. Syst. ![In: Des. Autom. Embed. Syst. 10(4), pp. 209-227, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Eiji Kawai, Youki Kadobayashi, Suguru Yamaguchi |
Reducing Processor Usage on Heavily-Loaded Network Servers with POSIX Real-Time Scheduling Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Inf. Syst. ![In: IEICE Trans. Inf. Syst. 88-D(6), pp. 1168-1177, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Qingguang Ji, Sihan Qing, Yeping He |
A new formal model for privilege control with supporting POSIX capability mechanism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 48(1), pp. 46-66, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Murali Vilayannur, Robert B. Ross, Philip H. Carns, Rajeev Thakur, Anand Sivasubramaniam, Mahmut T. Kandemir |
On the Performance of the POSIX I/O Interface to PVFS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 12th Euromicro Workshop on Parallel, Distributed and Network-Based Processing (PDP 2004), 11-13 February 2004, A Coruna, Spain, pp. 332-339, 2004, IEEE Computer Society, 0-7695-2083-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Ge Baolai |
An Enhanced C/C++ and FORTRAN API to Posix Threads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCS ![In: Proceedings of the 18th Annual Symposium on High Performance Computing Systems and Applications, HPCS 2004, May 16-19, 2004, Winnipeg, Manitoba, Canada, pp. 89-98, 2004, University of Manitoba, Department of Computer Science, 0-9735472-0-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
21 | Frédéric Pétrot, Pascal Gomez, Denis Hommais |
Lightweight Implementation of the POSIX Threads API for an On-Chip MIPS Multiprocessor with VCI Interconnect. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Embedded Software for SoC ![In: Embedded Software for SoC, pp. 25-38, 2003, Kluwer / Springer, 978-1-4020-7528-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Andreas Grünbacher |
POSIX Access Control Lists on Linux. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Annual Technical Conference, FREENIX Track ![In: Proceedings of the FREENIX Track: 2003 USENIX Annual Technical Conference, June 9-14, 2003, San Antonio, Texas, USA, pp. 259-272, 2003, USENIX, 1-931971-11-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
21 | Bart Massey, Robert T. Bauer |
X Meets Z: Verifying Correctness in the Presence of POSIX Threads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Annual Technical Conference, FREENIX Track ![In: Proceedings of the FREENIX Track: 2002 USENIX Annual Technical Conference, June 10-15, 2002, Monterey, California, USA, pp. 221-234, 2002, USENIX, 1-880446-01-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
21 | Andrés Terrasa, Ignacio Pachés, Ana García-Fornes |
An evaluation of the POSIX trace standard implemented in RT-linux. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPASS ![In: 2001 IEEE International Symposium on Performance Analysis of Systems and Software, November 4-6,2001, Tucson, Arizona, USA, Proceedings, pp. 30-37, 2001, IEEE Computer Society, 0-7803-7230-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Benjamin M. Brosgol |
A Survey and Comparison of Concurrency and Real-Time Programming Support in Java, Ada, and Posix. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (39) ![In: 39th International Conference and Exhibition on Technology of Object-Oriented Languages and Systems, TOOLS USA 2001, Santa Barbara, CA, USA, July 29 - August 3, 2001, pp. 362, 2001, IEEE Computer Society, 0-7695-1251-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Joe Gwinn |
POSIX System Services Working Group - Realtime (SSWG-RT). ![Search on Bibsonomy](Pics/bibsonomy.png) |
login Usenix Mag. ![In: login Usenix Mag. 25(5), 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
21 | Gregory E. Allen, Brian L. Evans |
Real-time sonar beamforming on workstations using process networks and POSIX threads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Signal Process. ![In: IEEE Trans. Signal Process. 48(3), pp. 921-926, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Mario Aldea Rivas, Michael González Harbour |
Extending Ada's real-time systems annex with the POSIX scheduling services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IRTAW ![In: Proceedings of the 10th International Workshop on Real-Time Ada, IRTAW 2000, Ávila, Spain, 2000, pp. 20-26, 2000, ACM, 978-1-4503-7327-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Richard J. Hanson, Clay P. Breshears, Henry A. Gabb |
Using A Fortran Interface to POSIX Threads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Architecture of Scientific Software ![In: The Architecture of Scientific Software, IFIP TC2/WG2.5 Working Conference on the Architecture of Scientific Software, October 2-4, 2000, Ottawa, Canada, pp. 257-272, 2000, Kluwer, 0-7923-7339-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
21 | Charles R. Severance |
Posix: A Model for Future Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 32(1), pp. 131-132, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Santiago Rodríguez, Antonio Pérez, Rafael Méndez |
Transparent checkpointing protocol for Posix.1b applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Archit. ![In: J. Syst. Archit. 45(9), pp. 709-730, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Juan Antonio de la Puente, José F. Ruiz, Jesús M. González-Barahona |
Real-time programming with GNAT: specialised kernels versus POSIX threads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IRTAW ![In: Proceedings of the Ninth International Workshop on Real-Time Ada, IRTAW 1999, Wakulla Springs Lodge, Florida, USA, March 9-11, 1999, pp. 73-77, 1999, ACM, 978-1-58113-177-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Frank W. Miller |
pk: A POSIX Threads Kernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Annual Technical Conference, FREENIX Track ![In: Proceedings of the FREENIX Track: 1999 USENIX Annual Technical Conference, June 6-11, 1999, Monterey, California, USA, pp. 179-181, 1999, USENIX, 1-880446-32-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
21 | Jim Isaak, Lowell Johnson |
Posix/Unix standards: foundation for 21st century growth. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Micro ![In: IEEE Micro 18(4), pp. 88, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
21 | Christoph Giess, Achim Mayer, Harald Evers, Hans-Peter Meinzer |
Medical Image Processing and Visualization on Heterogeneous Clusters of Symmetric Multiprocessors Using MPI and POSIX Threads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPPS/SPDP ![In: 12th International Parallel Processing Symposium / 9th Symposium on Parallel and Distributed Processing (IPPS/SPDP '98), March 30 - April 3, 1998, Orlando, Florida, USA, Proceedings, pp. 233-237, 1998, IEEE Computer Society, 0-8186-8403-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
21 | Ted Baker |
From POSIX Threads to Ada to Java: A Brief History of Runtime Development for Some Real-Time Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 19th IEEE Real-Time Systems Symposium, Madrid, Spain, December 2-4, 1998, pp. 319-, 1998, IEEE Computer Society, 0-8186-9212-X. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
21 | Richard D. Powers |
Implementing CIFO using Ada 95 and POSIX. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IRTAW ![In: Proceedings of the Eighth International Workshop on Real-Time Ada, IRTAW 1997, Ravenscar, United Kingdom, 1997, pp. 77-82, 1997, ACM, 978-1-4503-7311-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
21 | Michael González Harbour, J. M. Drake Moyano, Mario Aldea Rivas, J. García Fernández |
Implementing robot controllers under real-time POSIX and Ada. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IRTAW ![In: Proceedings of the Eighth International Workshop on Real-Time Ada, IRTAW 1997, Ravenscar, United Kingdom, 1997, pp. 57-64, 1997, ACM, 978-1-4503-7311-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
21 | Bradford Nichols, Dick Buttlar, Jacqueline Proulx Farrell |
Pthreads programming - a POSIX standard for better multiprocessing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1996 |
RDF |
|
21 | Hal Jespersen |
POSIX retrospective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Stand. ![In: ACM Stand. 3(1), pp. 2-10, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
21 | Stephen R. Walli |
The POSIX family of standards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Stand. ![In: ACM Stand. 3(1), pp. 11-17, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
21 | Bill O. Gallmeister |
POSIX.4 - programming for the real world. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1995 |
RDF |
|
21 | James F. Leathrum, K. A. Liburdy |
Automated testing of POSIX standards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Stand. ![In: ACM Stand. 2(1), pp. 55-59, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
21 | Neal R. Reizer, Gregory D. Abowd, B. Craig Meyers, Patrick R. H. Place |
Using formal methods for requirements specification of a proposed POSIX standard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRE ![In: Proceedings of the First IEEE International Conference on Requirements Engineering, ICRE '94, Colorado Springs, Colorado, USA, April 18-21, 1994, pp. 118-125, 1994, IEEE Computer Society, 0-8186-5480-5. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
21 | Robert A. Alfieri |
An Efficient Kernel-Based Implementation of POSIX Threads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Summer ![In: USENIX Summer 1994 Technical Conference, Boston, Massachusetts, USA, June 6-10, 1994, Conference Proceeding, pp. 59-72, 1994, USENIX Association, 1-880446-62-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
21 | G. Deshmukh, R. Deshpande, James F. Leathrum, K. A. Liburdy |
The Role of Testing Methodologies in Open Systems Standards: A POSIX Experience Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 16th International Conference on Software Engineering, Sorrento, Italy, May 16-21, 1994., pp. 233-240, 1994, IEEE Computer Society / ACM Press, 0-8186-5855-X. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
21 | Frank Mueller 0001 |
A Library Implementation of POSIX Threads under UNIX. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Winter ![In: Proceedings of the Usenix Winter 1993 Technical Conference, San Diego, California, USA, January 1993, pp. 29-42, 1993, USENIX Association. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
21 | Barrie Archer |
Towards a POSIX Standard for Software Administration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISA ![In: Proceedings of the 7th Conference on Systems Administration (LISA 1993), Monterey, California, USA, November 1-5, 1993, 1993, USENIX. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
21 | Edward William Giering III, Theodore P. Baker |
POSIX/Ada real-time bindings: description of work in progress. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADAS ![In: Proceedings of the Ninth Washington Ada Symposium on Ada - Empowering Software Users and Developers, WADAS 1992, McLean, Virginia, USA, 1992, pp. 27-41, 1992, ACM, 978-0-89791-487-1. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
21 | Helmut Rzehak |
Der POSIX-Standard und echtzeitfähige UNIX-Systeme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEARL ![In: PEARL 92, Workshop über Realzeitsysteme, Fachtagung der GI-Fachgruppe 4.4.2 Echtzeitprogrammierung, PEARL, Boppard, 3./4. Dezember 1992, pp. 1-16, 1992, Springer, 978-3-540-56267-2. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
21 | Ralf Leinemann |
Ein POSIX kompatibles Echtzeit-Betriebssystem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEARL ![In: PEARL 92, Workshop über Realzeitsysteme, Fachtagung der GI-Fachgruppe 4.4.2 Echtzeitprogrammierung, PEARL, Boppard, 3./4. Dezember 1992, pp. 24-35, 1992, Springer, 978-3-540-56267-2. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
21 | A. Lester Buck, Mark R. Coyne |
An Experimental Implementation of Draft POSIX Asynchronous I/O. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Winter ![In: Proceedings of the Usenix Winter 1991 Conference, Dallas, TX, USA, January 1991, pp. 289-306, 1991, USENIX Association. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
21 | James Isaak |
The History of Posix: A Study in the Standards Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 23(7), pp. 89-92, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
21 | David E. Emery |
A prototype implementation of the Ada binding to POSIX. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada ![In: Proceedings of the conference on TRI-ADA 1990, TRI-Ada 1990, Baltimore, Maryland, USA, December 3-6, 1990, pp. 54-61, 1990, ACM, 978-0-89791-409-3. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
21 | Kevin V. Murphy, Gunnar Soberg |
ODA and POSIX: label liaisons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSAC ![In: Sixth Annual Computer Security Applications Conference, ACSAC 1990, 3-7 December, 1990, Tucson, Arizona, USA, pp. 162-172, 1990, IEEE. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
21 | Mark H. Colburn |
The coming of a savior?-network management with OSI and POSIX. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: Proceedings of the 14th Conference on Local Computer Networks, LCN 1989, 1989, Minneapolis, Minnesota, USA, pp. 393-398, 1989, IEEE Computer Society, 0-8186-1968-6. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
21 | |
US Agencies Push Process Assessment, Posix. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 5(6), pp. 81, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
21 | Stowe Boyd |
The Ada binding for POSIX. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada ![In: Proceedings of the Conference on TRI-Ada 1988, TRI-Ada 1988, Charleston, West Virginia, USA, 1988, pp. 213-217, 1988, ACM, 978-0-89791-285-3. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
21 | Mario Aldea Rivas, Michael González Harbour, José F. Ruiz |
Implementation of the Ada 2005 Task Dispatching Model in MaRTE OS and GNAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2009, 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings, pp. 105-118, 2009, Springer, 978-3-642-01923-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Scheduling, Real-Time Systems, Compilers, POSIX, Ada 2005 |
21 | Gerhard W. Zumbusch |
A Container-Iterator Parallel Programming Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPAM ![In: Parallel Processing and Applied Mathematics, 7th International Conference, PPAM 2007, Gdansk, Poland, September 9-12, 2007, Revised Selected Papers, pp. 1130-1139, 2007, Springer, 978-3-540-68105-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
domain specific code generation, parallel numerical methods, Posix threads, MPI, automatic parallelization, multigrid, Cell processor, parallel programming models |
21 | Mario Aldea Rivas, José F. Ruiz |
Implementation of New Ada 2005 Real-Time Services in MaRTE OS and GNAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada Europe 2007, 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, Proceedings, pp. 29-40, 2007, Springer, 978-3-540-73229-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Real-Time Systems, Compilers, POSIX, Ada 2005 |
21 | Gaetan Allaert, Dirk Craeynest, Philippe Waroquiers |
European air traffic flow management: porting a large application to GNU/linux. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings of the 2003 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2003, San Diego, CA, USA, December 7-11, 2003, pp. 29-37, 2003, ACM, 1-58113-476-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
CFMU, ETFMS, GNU, HP-PA RISC, HP-UX, Korn shell, eurocontrol, intel 80x86, performance, Ada, C++, C, linux, portability, COTS, POSIX, GNAT, air traffic management |
21 | Carl Cargill |
Section 1. Prelude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Stand. ![In: ACM Stand. 5(4), pp. 128-132, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Internet, World Wide Web (WWW), UNIX, POSIX |
21 | William M. Hodges |
Ada Program Support Environments: A Good Idea Overcome by Changes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada ![In: Conference Proceedings on TRI-Ada 1992, Orlando, Florida USA, November 17-20, 1992., pp. 439-448, 1992, ACM, 0-89791-529-1. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
Ada, POSIX |
12 | Hao Wang, Shi Pu, Gabriel Knezek, Jyh-Charn Liu |
A modular NFA architecture for regular expression matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPGA ![In: Proceedings of the ACM/SIGDA 18th International Symposium on Field Programmable Gate Arrays, FPGA 2010, Monterey, California, USA, February 21-23, 2010, pp. 209-218, 2010, ACM, 978-1-60558-911-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
character class constraint repetition, overlapped matching, FPGA, regular expression, NFA |
12 | Tom Bergan, Owen Anderson, Joseph Devietti, Luis Ceze, Dan Grossman |
CoreDet: a compiler and runtime system for deterministic multithreaded execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: Proceedings of the 15th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2010, Pittsburgh, Pennsylvania, USA, March 13-17, 2010, pp. 53-64, 2010, ACM, 978-1-60558-839-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
compilers, multithreading, multicore, determinism |
12 | Mohammad Mostafizur Rahman Mozumdar, Luciano Lavagno, Laura Vanzago |
A comparison of software platforms for wireless sensor networks: MANTIS, TinyOS, and ZigBee. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 8(2), pp. 12:1-12:23, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
application porting, Wireless sensor networks, software platform |
12 | Paul Taverne, Cornelis Pronk |
RAFFS: Model Checking a Robust Abstract Flash File Store. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings, pp. 226-245, 2009, Springer, 978-3-642-10372-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | John Mehnert-Spahn, Thomas Ropars, Michael Schöttner, Christine Morin |
The Architecture of the XtreemOS Grid Checkpointing Service. ![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. 429-441, 2009, Springer, 978-3-642-03868-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Jay F. Lofstead, Fang Zheng, Scott Klasky, Karsten Schwan |
Adaptable, metadata rich IO methods for portable high performance IO. ![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-10, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Yutong Lu, Huajian Mao, Jie Shen |
A Distributed file system framework for transparent accessing heterogeneous storage services. ![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-8, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Jason Agron, David Andrews 0001 |
Building heterogeneous reconfigurable systems with a hardware microkernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: Proceedings of the 7th International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2009, Grenoble, France, October 11-16, 2009, pp. 393-402, 2009, ACM, 978-1-60558-628-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
FPGAs, operating systems, heterogeneous architectures |
12 | Andrew Butterfield, Art Ó Catháin |
Concurrent Models of Flash Memory Device Behaviour. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications, 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009, Revised Selected Papers, pp. 70-83, 2009, Springer, 978-3-642-10451-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Ketan Kulkarni, Edgar Gabriel |
Evaluating Algorithms for Shared File Pointer Operations in MPI I/O. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS (1) ![In: Computational Science - ICCS 2009, 9th International Conference, Baton Rouge, LA, USA, May 25-27, 2009, Proceedings, Part I, pp. 280-289, 2009, Springer, 978-3-642-01969-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|