Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
107 | Kensuke Onishi, Michihiro Kobayakawa, Mamoru Hoshi |
mm-GNAT: index structure for arbitrary Lp norm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE Workshops ![In: Proceedings of the 23rd International Conference on Data Engineering Workshops, ICDE 2007, 15-20 April 2007, Istanbul, Turkey, pp. 117-126, 2007, IEEE Computer Society, 978-1-4244-0831-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
107 | Sergey Rybin, Alfred Strohmeier, Alexey Kuchumov, Vasiliy Fofanov |
ASIS for GNAT: From the Prototype to the Full Implementation. ![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. 298-311, 1996, Springer, 3-540-61317-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Ada, Compiler, Programming Environment, ASIS |
98 | Javier Miranda, Edmond Schonberg |
Abstract Interface Types in GNAT: Conversions, Discriminants, and C++. ![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. 179-190, 2006, Springer, 3-540-34663-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Abstract Interface Types, Tagged Types, Discriminants, Ada 2005, GNAT |
91 | Javier Miranda, Francisco Guerra Santana, Ernestina Martel, José Martín, Alexis González |
How to Use GNAT to Efficiently Preprocess New Ada Sentences. ![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. 179-192, 2002, Springer, 3-540-43784-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
88 | Javier Miranda, Francisco Guerra Santana, José Martín, Alexis González |
A Technique to Build Ada Preprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 10th Euromicro Workshop on Parallel, Distributed and Network-Based Processing (PDP 2002), 9-11 January 2002, Canary Islands, Spain, pp. 196-200, 2002, IEEE Computer Society, 0-7695-1444-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Ada, Compilers, Pre-processing, GNAT |
82 | Javier Miranda, Edmond Schonberg, Gary Dismukes |
The Implementation of Ada 2005 Interface Types in the GNAT Compiler. ![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. 208-219, 2005, Springer, 3-540-26286-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Abstract Interface Types, Tagged Types, Ada 2005, GNAT |
82 | Javier Miranda, Edmond Schonberg |
GNAT: on the road to Ada 2005. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings of the 2004 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2004, Atlanta, GA, USA, November 14-14, 2004, pp. 51-60, 2004, ACM, 1-58113-906-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
compiler, Ada 2005, front-end, GNAT |
82 | B. Noorduin, Jan van Katwijk, Cornelis Pronk |
Gnass: a Gnat-based allocation and scheduling system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: Third International Workshop on Real-Time Computing Systems Application (RTCSA '96), October 30 - November 01, 1996, Seoul, Korea, pp. 278-285, 1996, IEEE Computer Society, 0-8186-7626-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Gnass, Gnat-based allocation and scheduling system, Ada 95 programming language, flexible task scheduling, real-time multiprocessor applications, parallel processing, concurrent programming, processor allocation, timing requirements, Solaris |
78 | Alexey Kuchumov, Sergey Rybin, Alfred Strohmeier |
OASIS - An ASIS Secondary Library for Analyzing Object-Oriented Ada Code. ![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. 113-122, 2001, Springer, 3-540-42123-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Ada Semantic Interface Specification, GNU Ada Compiler, ASIS-for-GNAT, Ada, Object-Oriented Programming, ASIS, GNAT |
75 | Franco Gasperoni, Patrick Bazire |
Smart Recompilation and the GNAT Compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada ![In: Proceedings of the 1994 Conference on TRI-Ada 1994, November 6-11, 1994, Baltimore, Maryland, USA., pp. 104-111, 1994, ACM, 0-89791-666-2. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
Ada |
69 | Greg Gicca, Benjamin M. Brosgol |
GNAT BoF: where would you like to see GNAT go? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings of the 2008 Annual ACM SIGAda International Conference on Ada, Portland, OR, USA, October 26-30, 2008, pp. 139-140, 2008, ACM, 978-1-60558-274-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
birds-of-a-feather, safety |
65 | Javier Miranda, Edmond Schonberg, Hristian Hristov Kirtchev |
The implementation of ada 2005 synchronized interfaces in the GNAT compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings of the 2005 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2005, Atlanta, GA, USA, November 13-17, 2005, pp. 41-48, 2005, ACM, 1-59593-185-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
compiler, synchronization, interfaces, Ada 2005, GNAT |
65 | Patrick Closhen, Hans-Jürgen Hoffmann |
An Ada95 Programming Style Checker Using the GNAT ASIS Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2000, 5th Ada-Europe International Conference, Potsdam, Germany, June 26-30, 2000, Proceedings, pp. 149-160, 2000, Springer, 3-540-67669-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Style Checking, Framework, Software Quality, ASIS, GNAT |
59 | Juan Antonio de la Puente, José F. Ruiz, Juan Zamorano |
An Open Ravenscar Real-Time Kernel for GNAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2000, 5th Ada-Europe International Conference, Potsdam, Germany, June 26-30, 2000, Proceedings, pp. 5-15, 2000, Springer, 3-540-67669-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
59 | Javier Miranda, Francisco Guerra Santana, José Martín, Alexis González |
How to Modify the GNAT Frontend tp Experiment with Ada Extensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe '99, 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999, Proceedings, pp. 226-237, 1999, Springer, 3-540-66093-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
55 | 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 |
55 | Kenneth L. Ehresman, Joey L. Frantzen |
Electronic maneuvering board and dead reckoning tracer decision aid for the officer of the deck. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings ACM SIGAda Annual International Conference, SIGAda 2001, Twin Cities, Best Western The Thunderbird Hotel & Convention Center, Bloomington, MN, USA, September 30 - October 4, 2001., pp. 61-70, 2001, ACM, 1-58113-392-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Contact Avoidance, GtkAda, Maneuvering Board, Officer of the Deck Aid, U.S. Navy, UML, Ada, Navigation, Model-View-Controller, GNAT |
42 | 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 |
42 | Robert Dewar |
Birds-of-a-feather: where would you like to see GNAT go? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings of the 2007 Annual ACM SIGAda International Conference on Ada, Fairfax, Virginia, USA, November 4-8, 2007, pp. 97-98, 2007, ACM, 978-1-59593-876-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
42 | 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 |
42 | José F. Ruiz |
GNAT Pro for On-board Mission-Critical Space Applications. ![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. 248-259, 2005, Springer, 3-540-26286-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
42 | Mário Amado Alves, Alípio Jorge, Matthew Heaney |
The Use of Ada, GNAT.Spitbol, and XML in the Sol-Eu-Net Project. ![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. 196-207, 2003, Springer, 3-540-40376-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
42 | Paul Parkinson, Franco Gasperoni |
High-Integrity Systems Development for Integrated Modular Avionics Using VxWorks and GNAT. ![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. 163-178, 2002, Springer, 3-540-43784-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
42 | Tullio Vardanega, Rodrigo García, Juan Antonio de la Puente |
An Application Case for Ravenscar Technology: Porting OBOSS to GNAT/ORK. ![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. 392-404, 2001, Springer, 3-540-42123-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
42 | Laurent Millet, Ted Baker |
Porting the GNAT Tasking Runtime System to the Java Virtual Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe '98, 1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June 8-12, 1998, Proceedings, pp. 19-28, 1998, Springer, 3-540-64536-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
42 | Sergey Rybin, Alfred Strohmeier, Eugene Zueff |
ASIS for GNAT: Goals, Problems and Implementation Strategy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Ada in Europe, Second International Eurospace - Ada-Europe Symposium, Frankfurt/Main, Germany, October 2-6, 1995, Proceedings, pp. 139-151, 1995, Springer, 3-540-60757-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Ada, Compilation, Software Engineering Environment, ASIS |
42 | Edmond Schonberg, Bernard Banner |
The GNAT Project: A GNU-Ada 9X Compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada ![In: Proceedings of the 1994 Conference on TRI-Ada 1994, November 6-11, 1994, Baltimore, Maryland, USA., pp. 48-57, 1994, ACM, 0-89791-666-2. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
Ada |
40 | Sebastian Gnat |
Statistical analysis of chosen aspects of population shifts in Poland 2011-2021 as a component of sustainable urban development systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES ![In: Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 27th International Conference KES-2023, Athens, Greece, 6-8 September 2023., pp. 404-413, 2023, Elsevier. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
40 | Pawel Boguslawski, Sisi Zlatanova, Dariusz Gotlib, Michal Wyszomirski, Milosz Gnat, Piotr Grzempowski |
3D building interior modelling for navigation in emergency response applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Appl. Earth Obs. Geoinformation ![In: Int. J. Appl. Earth Obs. Geoinformation 114, pp. 103066, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
40 | Sebastian Gnat |
Convergence of residential property prices in the Szczecin agglomeration in the context of the COVID-19 pandemic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES ![In: Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 26th International Conference KES-2022, Verona, Italy and Virtual Event, 7-9 September 2022., pp. 2039-2047, 2022, Elsevier. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
40 | Sebastian Gnat |
Impact of Categorical Variables Encoding on Property Mass Valuation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES ![In: Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 25th International Conference KES-2021, Virtual Event / Szczecin, Poland, 8-10 September 2021., pp. 3542-3550, 2021, Elsevier. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
40 | Dariusz Gotlib, Michal Wyszomirski, Milosz Gnat |
A Simplified Method of Cartographic Visualisation of Buildings' Interiors (2D+) for Navigation Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPRS Int. J. Geo Inf. ![In: ISPRS Int. J. Geo Inf. 9(6), pp. 407, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
40 | Robert Olszewski, Milosz Gnat, Hanna Trojanowska, Agnieszka Turek, Agnieszka Wieladek |
Towards social fuzzy geoparticipation stimulated by gamification and augmented reality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNC-FSKD ![In: 13th International Conference on Natural Computation, Fuzzy Systems and Knowledge Discovery, ICNC-FSKD 2017, Guilin, China, July 29-31, 2017, pp. 1363-1370, 2017, IEEE, 978-1-5386-2165-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
40 | Milosz Gnat, Katarzyna Leszek, Robert Olszewski |
The Use of Geoinformation Technology, Augmented Reality and Gamification in the Urban Modeling Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (2) ![In: Computational Science and Its Applications - ICCSA 2016 - 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part II, pp. 484-496, 2016, Springer, 978-3-319-42107-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
40 | Dariusz Gotlib, Milosz Gnat, Jacek Marciniak |
The research on cartographical indoor presentation and indoor route modeling for navigation applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPIN ![In: 2012 International Conference on Indoor Positioning and Indoor Navigation, IPIN 2012, Sydney, Australia, November 13-15, 2012, pp. 1-7, 2012, IEEE, 978-1-4673-1955-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
40 | Jörg E. Vollrath, Jürg Schwizer, Marcin Gnat, Ralf Schneider, Bret Johnson |
DDR2 DRAM Output Timing Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MTDT ![In: 14th IEEE International Workshop on Memory Technology, Design, and Testing (MTDT 2006), 2-4 August 2006, Taipei, Taiwan, pp. 49-54, 2006, IEEE Computer Society, 0-7695-2572-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
39 | Alejandro R. Mosteo, Luis Montano |
Sancta: An Ada 2005 General-Purpose Architecture for Mobile Robotics Research. ![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. 221-234, 2007, Springer, 978-3-540-73229-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
GNAT GPL, multi-robot, Ada 2005, control architecture |
39 | Luke Ludwig, Paul Pukite |
DEGAS: discrete event Gnu advanced scheduler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings of the 2006 Annual ACM SIGAda International Conference on Ada, Albuquerque, New Mexico, USA, November 12-16, 2006, pp. 35-42, 2006, ACM, 1-59593-563-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
scheduling, Ada, concurrency, GNAT, pthread |
33 | Laurent Pautet, Samuel Tardieu |
Inside the Distributed Systems Annex. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe '98, 1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June 8-12, 1998, Proceedings, pp. 65-77, 1998, Springer, 3-540-64536-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
33 | Frank Mueller 0001 |
Supporting Ada 95 Passive Partitions in a Distributed Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe '97, 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2-6, 1997, Proceedings, pp. 218-229, 1997, Springer, 3-540-63114-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
33 | Anthony B. Gargaro, Yvon Kermarrec, Laurent Pautet, Samuel Tardieu |
PARIS - Partitioned Ada for Remotely Invoked Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Ada in Europe, Second International Eurospace - Ada-Europe Symposium, Frankfurt/Main, Germany, October 2-6, 1995, Proceedings, pp. 191-205, 1995, Springer, 3-540-60757-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
33 | Yvon Kermarrec, Laurent Pautet |
Programming Distributed Systems with Both Ada 95 and PVM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Ada in Europe, Second International Eurospace - Ada-Europe Symposium, Frankfurt/Main, Germany, October 2-6, 1995, Proceedings, pp. 206-216, 1995, Springer, 3-540-60757-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
33 | E. W. Giering, Frank Mueller 0001, Theodore P. Baker |
Features of the GNU Ada Runtime Library. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada ![In: Proceedings of the 1994 Conference on TRI-Ada 1994, November 6-11, 1994, Baltimore, Maryland, USA., pp. 93-103, 1994, ACM, 0-89791-666-2. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
Ada |
26 | Tanzir Pial, Steven Skiena |
GNAT: A General Narrative Alignment Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.03627, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Yujin Lu, Qi Wang, Wanyi Zhou, Jeffrey Zheng |
GNAT: Leveraging Weighted Negative Sampling for Improved Graph Attention Network Performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (4) ![In: Advanced Intelligent Computing Technology and Applications - 19th International Conference, ICIC 2023, Zhengzhou, China, August 10-13, 2023, Proceedings, Part IV, pp. 404-416, 2023, Springer, 978-981-99-4751-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Tanzir Pial, Steven Skiena |
GNAT: A General Narrative Alignment Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMNLP ![In: Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing, EMNLP 2023, Singapore, December 6-10, 2023, pp. 14636-14652, 2023, Association for Computational Linguistics, 979-8-89176-060-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Feng Bai, Yi Wang 0070 |
A reduced order modeling method based on GNAT-embedded hybrid snapshot simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. Simul. ![In: Math. Comput. Simul. 199, pp. 100-132, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Bojan Krtenic, Adrian Drazic, Thomas Arnesen, Nathalie Reuter |
Classification and phylogeny for the annotation of novel eukaryotic GNAT acetyltransferases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLoS Comput. Biol. ![In: PLoS Comput. Biol. 16(12), 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Rui Jiang 0005, Louis J. Durlofsky |
Implementation and detailed assessment of a GNAT reduced-order model for subsurface flow simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Phys. ![In: J. Comput. Phys. 379, pp. 192-213, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
26 | Kimmo Fredriksson |
Geometric Near-neighbor Access Tree (GNAT) revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1605.05944, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
26 | Kevin Carlberg, Charbel Farhat, Julien Cortial, David Amsallem |
The GNAT method for nonlinear model reduction: Effective implementation and application to computational fluid dynamics and turbulent flows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Phys. ![In: J. Comput. Phys. 242, pp. 623-647, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
26 | Kevin Carlberg, Charbel Farhat, Julien Cortial, David Amsallem |
Corrigendum to "The GNAT method for nonlinear model reduction: Effective implementation and application to computational fluid dynamics and turbulent flows" [J. Comput. Physics 242 (2013) 623-647]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Phys. ![In: J. Comput. Phys. 250, pp. 713, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
26 | Hristian Hristov Kirtchev |
A new robust and efficient implementation of controlled types in the GNAT compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HILT ![In: Proceedings of the 2012 ACM Conference on High Integrity Language Technology, HILT '12, December 2-6, 2012, Boston, Massachusetts, USA, pp. 43-50, 2012, ACM, 978-1-4503-1505-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Jörg Hakenberg, Martin Gerner, Maximilian Haeussler, Illés Solt, Conrad Plake, Michael Schroeder 0001, Graciela Gonzalez 0001, Goran Nenadic, Casey M. Bergman |
The GNAT library for local and remote gene mention normalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bioinform. ![In: Bioinform. 27(19), pp. 2769-2771, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Jörg Hakenberg, Conrad Plake, Robert Leaman, Michael Schroeder 0001, Graciela Gonzalez 0001 |
Inter-species normalization of gene mentions with GNAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECCB ![In: ECCB'08 Proceedings, Seventh European Conference on Computational Biology, 22-26 September 2008, Cagliari, Italy, pp. 126-132, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Javier Miranda, Edmond Schonberg, Miguel Masmano, Jorge Real, Alfons Crespo |
Dynamic ceiling priorities in GNAT implementation report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IRTAW ![In: Proceedings of the 12th International Workshop on Real-Time Ada, IRTAW 2003, Viana do Castelo, Portugal, September 15-19, 2003, pp. 24-27, 2003, ACM, 978-1-4503-7446-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Johann Blieberger, Bernd Burgstaller |
Eliminating Redundant Range Checks in GNAT Using Symbolic Evaluation. ![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. 153-167, 2003, Springer, 3-540-40376-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Rodrigo García García, Alfred Strohmeier |
Experiences report on the implementation of EPTs for GNAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IRTAW ![In: Proceedings of the 11th International Workshop on Real-Time Ada, IRTAW 2002, Mont-Tremblant, Quebec, Canada, April 8-12, 2002, pp. 22-27, 2002, ACM, 978-1-4503-7361-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Volkert Barr, Sergio Montenegro 0001 |
Boss/Ada: An Open Source Ada 95 Safety Kit ( A dependable open source embedded operating system for GNAT). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada Deutschland Tagung ![In: Ada Deutschland Tagung 2002: Software für sicherheitskritische Systeme, 6. bis 8. März 2002, Jena, Friedrich-Schiller-Universität, pp. 53-66, 2002, Shaker Verlag, 3-8265-9956-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
26 | Michael Erdmann |
GNAT Ada Database Development Environment. ![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. 334-343, 2002, Springer, 3-540-43784-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Sergey Rybin, Alfred Strohmeier, Vasiliy Fofanov, Alexey Kuchumov |
ASIS-for-GNAT: A Report of Practical Experiences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2000, 5th Ada-Europe International Conference, Potsdam, Germany, June 26-30, 2000, Proceedings, pp. 125-137, 2000, Springer, 3-540-67669-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Ada, Programming Language, Programming Environment, Programming Tool, ASIS |
26 | 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 |
|
26 | José F. Ruiz, Jesús M. González-Barahona |
Implementing a New Low-Level Tasking Support for the GNAT Runtime System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe '99, 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999, Proceedings, pp. 298-307, 1999, Springer, 3-540-66093-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Richard H. Stern |
The Gnat versus the Borg [Microsoft]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Micro ![In: IEEE Micro 18(1), pp. 6-8, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Cyrille Comar, Gary Dismukes, Franco Gasperoni |
Targeting GNAT to the Java Virtual Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada ![In: Conference, The annual meeting of the Ada programming world, TRI-Ada 1997, November 9-13, 1997, St. Louis, Missouri, USA, pp. 149-161, 1997, ACM, 0-89791-981-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Java, Internet, Ada |
26 | Yvon Kermarrec, Laurent Nana, Laurent Pautet |
Implementing recovery blocks in GNAT: a powerful fault tolerance mechanism and a transaction support. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada ![In: Proceedings of the conference on TRI-Ada 1995: Ada's role in global markets: solutions for a changing complex world, November 5 -10, 1995, Anaheim, CA, USA, pp. 462-466, 1995, ACM, 0-89791-705-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
26 | Cyrille Comar, Gary Dismukes, Franco Gasperoni |
The GNAT implementation of controlled types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada ![In: Proceedings of the conference on TRI-Ada 1995: Ada's role in global markets: solutions for a changing complex world, November 5 -10, 1995, Anaheim, CA, USA, pp. 467-473, 1995, ACM, 0-89791-705-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
26 | Robert Dewar |
The GNAT Compilation Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada ![In: Proceedings of the 1994 Conference on TRI-Ada 1994, November 6-11, 1994, Baltimore, Maryland, USA., pp. 58-70, 1994, ACM, 0-89791-666-2. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
Ada |
26 | Cyrille Comar, Brett Porter |
Ada 9X Tagged Types and Their Implementation in GNAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada ![In: Proceedings of the 1994 Conference on TRI-Ada 1994, November 6-11, 1994, Baltimore, Maryland, USA., pp. 71-81, 1994, ACM, 0-89791-666-2. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
Ada |
26 | Richard Kenner |
Integrating GNAT and GCC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada ![In: Proceedings of the 1994 Conference on TRI-Ada 1994, November 6-11, 1994, Baltimore, Maryland, USA., pp. 84-92, 1994, ACM, 0-89791-666-2. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
Ada |
23 | Paul Pukite, Luke Ludwig |
Generic discrete event simulations using DEGAS: application to logic design and digital signal processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings of the 2007 Annual ACM SIGAda International Conference on Ada, Fairfax, Virginia, USA, November 4-8, 2007, pp. 27-40, 2007, ACM, 978-1-59593-876-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
scheduling, ada, concurrency, discrete-event simulation, logic design, behavioral modeling, design automation, GNAT |
23 | 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 |
23 | Jörg Kienzle |
Network Applications in Ada 95. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada ![In: Conference, The annual meeting of the Ada programming world, TRI-Ada 1997, November 9-13, 1997, St. Louis, Missouri, USA, pp. 3-9, 1997, ACM, 0-89791-981-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
GLADE, distributed systems, Ada, replication, Ada 95, client-server architectures, GNAT |
23 | Yvon Kermarrec, Laurent Nana, Laurent Pautet |
GNATDIST: A Configuration Language for Distributed Ada 95 Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada ![In: The annual meeting of the Ada programming world, TRI-Ada 1996, December 3-7, 1996, Philadelphia, Pennsylvania, USA, pp. 63-72, 1996, ACM, 0-89791-808-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
distributed systems programming, Ada, GNAT, configuration language |
16 | Hung-Hsuan Huang, Takuya Furukawa, Hiroki Ohashi, Aleksandra Cerekovic, Yuji Yamaoka, Igor S. Pandzic, Yukiko I. Nakano, Toyoaki Nishida |
The Lessons Learned in Developing Multi-user Attentive Quiz Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IVA ![In: Intelligent Virtual Agents, 9th International Conference, IVA 2009, Amsterdam, The Netherlands, September 14-16, 2009, Proceedings, pp. 166-173, 2009, Springer, 978-3-642-04379-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Raul Fechete, Georg Kienesberger, Johann Blieberger |
A Framework for CFG-Based Static Program Analysis of Ada Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2008, 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings, pp. 130-143, 2008, Springer, 978-3-540-68621-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | S. Gaerth Pierce, Keith Worden, Graeme Manson |
Evaluation of neural network performance and generalisation using thresholding functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Comput. Appl. ![In: Neural Comput. Appl. 16(2), pp. 109-124, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Neural network training and generalisation, Thresholding |
16 | Tom Grosman |
Hibachi: the eclipse ada development toolset. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings of the 2007 Annual ACM SIGAda International Conference on Ada, Fairfax, Virginia, USA, November 4-8, 2007, pp. 99, 2007, ACM, 978-1-59593-876-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
reliability, ada, software, safety, languages, eclipse, development environment, high integrity |
16 | Francisco García-Rodríguez, Javier Miranda, José Fortes Gálvez |
Incorporating Precise Garbage Collection in an Ada Compiler. ![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. 235-245, 2007, Springer, 978-3-540-73229-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Anthony S. Ruocco |
Experiences using SPARK in an undergraduate CS course. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings of the 2005 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2005, Atlanta, GA, USA, November 13-17, 2005, pp. 37-40, 2005, ACM, 1-59593-185-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
computer science education, computer science curriculum, SPARK |
16 | Juan López Campos, J. Javier Gutiérrez, Michael González Harbour |
The Chance for Ada to Support Distribution and Real-Time in Embedded Systems. ![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. 91-105, 2004, Springer, 3-540-22011-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Schedulability, Modelling, Distributed Systems, Embedded Systems, Real-Time, Ada 95 |
16 | Jorge Real, Alan Burns 0001, Javier Miranda, Edmond Schonberg, Alfons Crespo |
Dynamic Ceiling Priorities: A Proposal for Ada0Y. ![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. 261-272, 2004, Springer, 3-540-22011-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Arkadiusz Wojna |
Center-Based Indexing for Nearest Neighbors Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDM ![In: Proceedings of the 3rd IEEE International Conference on Data Mining (ICDM 2003), 19-22 December 2003, Melbourne, Florida, USA, pp. 681-684, 2003, IEEE Computer Society, 0-7695-1978-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Emmanuel Briot, Franco Gasperoni, Robert Dewar, Dirk Craeynest, Philippe Waroquiers |
Exposing Memory Corruption and Finding Leaks: Advanced Mechanisms in Ada. ![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. 129-141, 2003, Springer, 3-540-40376-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Miguel Masmano, Jorge Real, Ismael Ripoll, Alfons Crespo |
Running Ada on Real-Time Linux. ![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. 322-333, 2003, Springer, 3-540-40376-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Robert Dewar, Olivier Hainque, Dirk Craeynest, Philippe Waroquiers |
Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada. ![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. 193-204, 2002, Springer, 3-540-43784-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Pascal Héraud, Thierry Lelégard |
Using Ada in Interactive Digital Television Systems. ![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. 21-34, 2001, Springer, 3-540-42123-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Roderick Chapman, Robert Dewar |
Re-engineering a Safety-Critical Application Using SPARK 95 and GNORT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe '99, 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999, Proceedings, pp. 39-51, 1999, Springer, 3-540-66093-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Ada Language and Tools, High Integrity Systems |
16 | Hongfeng Shen, Arnaud Charlet, Theodore P. Baker |
A "Bare-Machine" Implementation of Ada Multi-tasking Beneath the Linux Kernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe '99, 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999, Proceedings, pp. 287-297, 1999, Springer, 3-540-66093-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Thomas Wolf 0013, Alfred Strohmeier |
Fault Tolerance by Transparent Replication for Distributed Ada 95. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe '99, 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999, Proceedings, pp. 412-424, 1999, Springer, 3-540-66093-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Piecewise Determinism, Replica Consistency, Semi-Active Replication, Fault Tolerance, Distributed Systems, Non-Determinism |
16 | David E. Emery, Robert F. Mathias, Karl A. Nyberg |
Automating the Ada Binding Process for Java- How Far Can We Go? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe '98, 1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June 8-12, 1998, Proceedings, pp. 29-40, 1998, Springer, 3-540-64536-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Michael B. Feldman |
An Ada 95 Sort Race Construction Set. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe '97, 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2-6, 1997, Proceedings, pp. 23-34, 1997, Springer, 3-540-63114-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Concurrent Programming, Ada 95, Algorithm Animation |