Search results for "GNAT"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
107	Kensuke Onishi, Michihiro Kobayakawa, Mamoru Hoshi	mm-GNAT: index structure for arbitrary Lp norm.	ICDE Workshops	2007	DBLP DOI BibTeX RDF
107	Sergey Rybin, Alfred Strohmeier, Alexey Kuchumov, Vasiliy Fofanov	ASIS for GNAT: From the Prototype to the Full Implementation.	Ada-Europe	1996	DBLP DOI BibTeX RDF	Ada, Compiler, Programming Environment, ASIS
98	Javier Miranda, Edmond Schonberg	Abstract Interface Types in GNAT: Conversions, Discriminants, and C++.	Ada-Europe	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.	Ada-Europe	2002	DBLP DOI BibTeX RDF
88	Javier Miranda, Francisco Guerra Santana, José Martín, Alexis González	A Technique to Build Ada Preprocessors.	PDP	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.	Ada-Europe	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.	SIGAda	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.	RTCSA	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.	Ada-Europe	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.	TRI-Ada	1994	DBLP DOI BibTeX RDF	Ada
69	Greg Gicca, Benjamin M. Brosgol	GNAT BoF: where would you like to see GNAT go?	SIGAda	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.	SIGAda	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.	Ada-Europe	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.	Ada-Europe	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.	Ada-Europe	1999	DBLP DOI BibTeX RDF
55	Javier Miranda, Michael González Harbour	A Proposal to Integrate the POSIX Execution-Time Clocks into Ada 95.	Ada-Europe	2003	DBLP DOI BibTeX RDF	Scheduling, Execution-Time, Ada 95, Hard Real-Time, GNAT
55	Kenneth L. Ehresman, Joey L. Frantzen	Electronic maneuvering board and dead reckoning tracer decision aid for the officer of the deck.	SIGAda	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.	Ada-Europe	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?	SIGAda	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.	Ada-Europe	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.	Ada-Europe	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.	Ada-Europe	2003	DBLP DOI BibTeX RDF
42	Paul Parkinson, Franco Gasperoni	High-Integrity Systems Development for Integrated Modular Avionics Using VxWorks and GNAT.	Ada-Europe	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.	Ada-Europe	2001	DBLP DOI BibTeX RDF
42	Laurent Millet, Ted Baker	Porting the GNAT Tasking Runtime System to the Java Virtual Machine.	Ada-Europe	1998	DBLP DOI BibTeX RDF
42	Sergey Rybin, Alfred Strohmeier, Eugene Zueff	ASIS for GNAT: Goals, Problems and Implementation Strategy.	Ada-Europe	1995	DBLP DOI BibTeX RDF	Ada, Compilation, Software Engineering Environment, ASIS
42	Edmond Schonberg, Bernard Banner	The GNAT Project: A GNU-Ada 9X Compiler.	TRI-Ada	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.	KES	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.	Int. J. Appl. Earth Obs. Geoinformation	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.	KES	2022	DBLP DOI BibTeX RDF
40	Sebastian Gnat	Impact of Categorical Variables Encoding on Property Mass Valuation.	KES	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.	ISPRS Int. J. Geo Inf.	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.	ICNC-FSKD	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.	ICCSA (2)	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.	IPIN	2012	DBLP DOI BibTeX RDF
40	Jörg E. Vollrath, Jürg Schwizer, Marcin Gnat, Ralf Schneider, Bret Johnson	DDR2 DRAM Output Timing Optimization.	MTDT	2006	DBLP DOI BibTeX RDF
39	Alejandro R. Mosteo, Luis Montano	Sancta: An Ada 2005 General-Purpose Architecture for Mobile Robotics Research.	Ada-Europe	2007	DBLP DOI BibTeX RDF	GNAT GPL, multi-robot, Ada 2005, control architecture
39	Luke Ludwig, Paul Pukite	DEGAS: discrete event Gnu advanced scheduler.	SIGAda	2006	DBLP DOI BibTeX RDF	scheduling, Ada, concurrency, GNAT, pthread
33	Laurent Pautet, Samuel Tardieu	Inside the Distributed Systems Annex.	Ada-Europe	1998	DBLP DOI BibTeX RDF
33	Frank Mueller 0001	Supporting Ada 95 Passive Partitions in a Distributed Environment.	Ada-Europe	1997	DBLP DOI BibTeX RDF
33	Anthony B. Gargaro, Yvon Kermarrec, Laurent Pautet, Samuel Tardieu	PARIS - Partitioned Ada for Remotely Invoked Services.	Ada-Europe	1995	DBLP DOI BibTeX RDF
33	Yvon Kermarrec, Laurent Pautet	Programming Distributed Systems with Both Ada 95 and PVM.	Ada-Europe	1995	DBLP DOI BibTeX RDF
33	E. W. Giering, Frank Mueller 0001, Theodore P. Baker	Features of the GNU Ada Runtime Library.	TRI-Ada	1994	DBLP DOI BibTeX RDF	Ada
26	Tanzir Pial, Steven Skiena	GNAT: A General Narrative Alignment Tool.	CoRR	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.	ICIC (4)	2023	DBLP DOI BibTeX RDF
26	Tanzir Pial, Steven Skiena	GNAT: A General Narrative Alignment Tool.	EMNLP	2023	DBLP DOI BibTeX RDF
26	Feng Bai, Yi Wang 0070	A reduced order modeling method based on GNAT-embedded hybrid snapshot simulation.	Math. Comput. Simul.	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.	PLoS Comput. Biol.	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.	J. Comput. Phys.	2019	DBLP DOI BibTeX RDF
26	Kimmo Fredriksson	Geometric Near-neighbor Access Tree (GNAT) revisited.	CoRR	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.	J. Comput. Phys.	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].	J. Comput. Phys.	2013	DBLP DOI BibTeX RDF
26	Hristian Hristov Kirtchev	A new robust and efficient implementation of controlled types in the GNAT compiler.	HILT	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.	Bioinform.	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.	ECCB	2008	DBLP DOI BibTeX RDF
26	Javier Miranda, Edmond Schonberg, Miguel Masmano, Jorge Real, Alfons Crespo	Dynamic ceiling priorities in GNAT implementation report.	IRTAW	2003	DBLP DOI BibTeX RDF
26	Johann Blieberger, Bernd Burgstaller	Eliminating Redundant Range Checks in GNAT Using Symbolic Evaluation.	Ada-Europe	2003	DBLP DOI BibTeX RDF
26	Rodrigo García García, Alfred Strohmeier	Experiences report on the implementation of EPTs for GNAT.	IRTAW	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).	Ada Deutschland Tagung	2002	DBLP BibTeX RDF
26	Michael Erdmann	GNAT Ada Database Development Environment.	Ada-Europe	2002	DBLP DOI BibTeX RDF
26	Sergey Rybin, Alfred Strohmeier, Vasiliy Fofanov, Alexey Kuchumov	ASIS-for-GNAT: A Report of Practical Experiences.	Ada-Europe	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.	IRTAW	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.	Ada-Europe	1999	DBLP DOI BibTeX RDF
26	Richard H. Stern	The Gnat versus the Borg [Microsoft].	IEEE Micro	1998	DBLP DOI BibTeX RDF
26	Cyrille Comar, Gary Dismukes, Franco Gasperoni	Targeting GNAT to the Java Virtual Machine.	TRI-Ada	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.	TRI-Ada	1995	DBLP DOI BibTeX RDF
26	Cyrille Comar, Gary Dismukes, Franco Gasperoni	The GNAT implementation of controlled types.	TRI-Ada	1995	DBLP DOI BibTeX RDF
26	Robert Dewar	The GNAT Compilation Model.	TRI-Ada	1994	DBLP DOI BibTeX RDF	Ada
26	Cyrille Comar, Brett Porter	Ada 9X Tagged Types and Their Implementation in GNAT.	TRI-Ada	1994	DBLP DOI BibTeX RDF	Ada
26	Richard Kenner	Integrating GNAT and GCC.	TRI-Ada	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.	SIGAda	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.	SIGAda	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.	TRI-Ada	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.	TRI-Ada	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.	IVA	2009	DBLP DOI BibTeX RDF
16	Raul Fechete, Georg Kienesberger, Johann Blieberger	A Framework for CFG-Based Static Program Analysis of Ada Programs.	Ada-Europe	2008	DBLP DOI BibTeX RDF
16	S. Gaerth Pierce, Keith Worden, Graeme Manson	Evaluation of neural network performance and generalisation using thresholding functions.	Neural Comput. Appl.	2007	DBLP DOI BibTeX RDF	Neural network training and generalisation, Thresholding
16	Tom Grosman	Hibachi: the eclipse ada development toolset.	SIGAda	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.	Ada-Europe	2007	DBLP DOI BibTeX RDF
16	Anthony S. Ruocco	Experiences using SPARK in an undergraduate CS course.	SIGAda	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.	Ada-Europe	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.	Ada-Europe	2004	DBLP DOI BibTeX RDF
16	Arkadiusz Wojna	Center-Based Indexing for Nearest Neighbors Search.	ICDM	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.	Ada-Europe	2003	DBLP DOI BibTeX RDF
16	Miguel Masmano, Jorge Real, Ismael Ripoll, Alfons Crespo	Running Ada on Real-Time Linux.	Ada-Europe	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.	Ada-Europe	2002	DBLP DOI BibTeX RDF
16	Pascal Héraud, Thierry Lelégard	Using Ada in Interactive Digital Television Systems.	Ada-Europe	2001	DBLP DOI BibTeX RDF
16	Roderick Chapman, Robert Dewar	Re-engineering a Safety-Critical Application Using SPARK 95 and GNORT.	Ada-Europe	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.	Ada-Europe	1999	DBLP DOI BibTeX RDF
16	Thomas Wolf 0013, Alfred Strohmeier	Fault Tolerance by Transparent Replication for Distributed Ada 95.	Ada-Europe	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?	Ada-Europe	1998	DBLP DOI BibTeX RDF
16	Michael B. Feldman	An Ada 95 Sort Race Construction Set.	Ada-Europe	1997	DBLP DOI BibTeX RDF	Concurrent Programming, Ada 95, Algorithm Animation