|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2580 occurrences of 979 keywords
|
|
|
Results
Found 5018 publication records. Showing 4847 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
57 | Michael Erdmann |
GNAT Ada Database Development Environment. |
Ada-Europe |
2002 |
DBLP DOI BibTeX RDF |
|
57 | 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 |
|
57 | Johann Blieberger, Bernd Burgstaller, Bernhard Scholz |
Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs. |
Ada-Europe |
2000 |
DBLP DOI BibTeX RDF |
|
57 | Reto Weiss |
Kingcat MCAS - Monitoring, Control and Alarm System for a Luxury Motor Yacht Implemented in Ada and Java. |
Ada-Europe |
2000 |
DBLP DOI BibTeX RDF |
|
57 | Alexandr Korochkin |
Ada 95 as a Foundation Language in Computer Engineering Education in Ukraine. |
Ada-Europe |
1999 |
DBLP DOI BibTeX RDF |
|
57 | Fabrice Kordon |
MetaScribe, an Ada-based Tool for the Construction of Transformation Engines. |
Ada-Europe |
1999 |
DBLP DOI BibTeX RDF |
Meta-data description, Semantic transformation, Code generation |
57 | 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 |
|
57 | Mike Kamrad, Barry A. Spinney |
An Ada Runtime System Implementation of the Ravenscar Profile for High Speed Application-Layer Data Switch. |
Ada-Europe |
1999 |
DBLP DOI BibTeX RDF |
|
57 | Apolinar González, Alfons Crespo |
Environment for the Development and Specification of Real-Time Ada Programs. |
Ada-Europe |
1999 |
DBLP DOI BibTeX RDF |
|
57 | Dominique Canazzi |
yaRTI, an Ada 95 HLA Run-Time Infrastructure. |
Ada-Europe |
1999 |
DBLP DOI BibTeX RDF |
|
57 | Helge Hagenauer, Werner Pohlmann |
Ada 95 for a Distributed Simulation System. |
Ada-Europe |
1998 |
DBLP DOI BibTeX RDF |
|
57 | Michael Tonndorf |
Ten Years of Tool Based Ada Compiler Validations. An Experience Report. |
Ada-Europe |
1998 |
DBLP DOI BibTeX RDF |
|
57 | Guido Schumacher, Wolfgang Nebel |
How to Avoid the Inheritance Anomaly in Ada. |
Ada-Europe |
1998 |
DBLP DOI BibTeX RDF |
|
57 | Marta Patiño-Martínez, Ricardo Jiménez-Peris, Sergio Arévalo |
Integrating Groups and Transactions: A Fault-Tolerant Extension of Ada. |
Ada-Europe |
1998 |
DBLP DOI BibTeX RDF |
|
57 | Bo Frisberg |
Ada in the JAS 39 Gripen Flight Control System. |
Ada-Europe |
1998 |
DBLP DOI BibTeX RDF |
|
57 | Pierre Chapront |
Ada+B The Formula for Safety Critical Software Development. |
Ada-Europe |
1998 |
DBLP DOI BibTeX RDF |
|
57 | Michael González Harbour, Mario Aldea Rivas, J. J. Gutiérrez García, José C. Palencia Gutiérrez |
Implementing and Using Execution Time Clocks in Ada Hard Real-Time Applications. |
Ada-Europe |
1998 |
DBLP DOI BibTeX RDF |
|
57 | Bernd Holzmüller, Erhard Plödereder |
Finite Unions for Ada 95. |
Ada-Europe |
1997 |
DBLP DOI BibTeX RDF |
Finite Unions, Polymorphism, Language Extension, Dispatching, Multi-Methods |
57 | Dan Craigen, Mark Saaltink, Steve Michell |
Ada 95 and Critical Systems: An Analytical Approach. |
Ada-Europe |
1996 |
DBLP DOI BibTeX RDF |
|
57 | Dong-Ik Oh, Theodore P. Baker, Seung-Jin Moon |
The GNARL Implementation of POSIX/Ada Signal Services. |
Ada-Europe |
1996 |
DBLP DOI BibTeX RDF |
|
57 | Philippe Kruchten, Christopher J. Thompson |
Iterative Software Development for Large Ada Programs. |
Ada-Europe |
1996 |
DBLP DOI BibTeX RDF |
Software Development Process, Air Traffic Control, Iterative Process |
57 | G. Taurisano, I. Williams |
Ada in Mixed Language Applications. |
Ada-Europe |
1995 |
DBLP DOI BibTeX RDF |
|
57 | Tim Birus, Paul Knueven, Ed Kuzemchak, Jack Rosenzweig, Joyce L. Tokar |
Extending the Ada 95 Initial Conditions for Preelaboration for Use in Real-Time Systems. |
Ada-Europe |
1995 |
DBLP DOI BibTeX RDF |
|
57 | François Bossard |
Periodic Processing in Hard Real-Time Systems: Assessment of Different Design Models in Ada. |
Ada-Europe |
1995 |
DBLP DOI BibTeX RDF |
|
57 | Lars Lundberg |
Predicting the Speedup of Parallel Ada Programs. |
Ada-Europe |
1992 |
DBLP DOI BibTeX RDF |
|
57 | Alison Wearing |
Software Engineering, Ada and Metrics. |
Ada-Europe |
1992 |
DBLP DOI BibTeX RDF |
|
57 | Leslie C. Lander, Sandeep Mitra |
Detection and Avoidance of Elaboration-Time Problems for Multi-Unit Real-Time Ada Applications. |
Ada-Europe |
1992 |
DBLP DOI BibTeX RDF |
|
57 | Rob Duell, Hugo J. Sebel, Franklin C. A. de Wit |
Using Ada Source Code Generators in a Large Project. |
Ada-Europe |
1992 |
DBLP DOI BibTeX RDF |
|
57 | D. C. Levy, M. C. Randelhoff, Joyce L. Tokar |
Reconfigurable Ada Distributed Control System Software. |
Ada-Europe |
1991 |
DBLP DOI BibTeX RDF |
|
57 | Alex Delis, William M. Thomas |
Design Assessment of Ada Systems Using Static Analysis. |
Ada-Europe |
1991 |
DBLP DOI BibTeX RDF |
|
57 | Lars Lundberg |
A Coprocessor for High Performance Multiprocessor Ada Tasking. |
Ada-Europe |
1991 |
DBLP DOI BibTeX RDF |
|
57 | Michael C. Curtis, Victoria J. D. Sivess |
Modelling the Temporal Summation of Neural Membranes Using the Ada Language. |
Ada-Europe |
1991 |
DBLP DOI BibTeX RDF |
|
57 | Laura J. White, Norman Wilde |
Dynamic analysis for locating product features in Ada code. |
SIGAda |
2001 |
DBLP DOI BibTeX RDF |
Ada tracing architecture, Software Reconnaissance, locating features in code, performance trials, trace monitoring, Ada, dynamic analysis, instrumentation |
57 | Moon Lee, Noah S. Prywes, Insup Lee 0001 |
Automation of analysis and simulation for understanding of large real-time Ada software. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
large real-time Ada software, simulation, real-time systems, Ada, digital simulation, state machines, hierarchical structure |
57 | William W. Agresti, William M. Evanco |
Projecting Software Defects From Analyzing Ada Designs. |
IEEE Trans. Software Eng. |
1992 |
DBLP DOI BibTeX RDF |
software defects projection, context coupling, Ada designs, process characteristics, import-export of declarations, reuse level, regression analyses, Ada, static analysis, software quality, software quality, software metrics, software reliability, statistical analysis, visibility, defect density |
57 | Gerald M. Karam, Raymond J. A. Buhr |
Temporal Logic-Based Deadlock Analysis For Ada. |
IEEE Trans. Software Eng. |
1991 |
DBLP DOI BibTeX RDF |
temporal logic-based specification language, deadlock analyzer, Timebench, concurrent system-design environment, COL, linear-time temporal logic, formal basis, axiomatic reasoning, deadlock analysis tool, reasoning power, Ada designs, systemwide deadlock-free, deadlock algorithm, finite systems, worst-case computational complexity, gas station, layered communications system, computational complexity, Ada, logic programming, temporal logic, Prolog, specification language, specification languages, inference mechanisms, system recovery, theorem prover, readers, dining philosophers, writers |
56 | Steve Michell, Mark Saaltink |
Guidance on the Use of Ada95 in High Integrity Systems. |
Ada-Europe |
1998 |
DBLP DOI BibTeX RDF |
HRG, Ada, critical systems, predictable systems, high integrity systems |
56 | David E. Emery, Jas Madhur |
HCSD Unit Development Process: Step-Wise Process Improvement. |
Ada-Europe |
1996 |
DBLP DOI BibTeX RDF |
Ada, Software Process, Software Management |
56 | Peter Lützen Møller |
Run-Time Check Elimination for Ada 9X. |
TRI-Ada |
1994 |
DBLP DOI BibTeX RDF |
Ada |
56 | Sergey Rybin, Vitali Sh. Kaufman |
Ada-Based Programming Language Course in Moscow State University. |
TRI-Ada |
1994 |
DBLP DOI BibTeX RDF |
Ada |
56 | Susan Bodily, David W. Embley, Scott N. Woodfield |
Implementing OSA Model Instances in Ada. |
TRI-Ada |
1994 |
DBLP DOI BibTeX RDF |
Ada |
56 | J. R. Larre, N. Alfaro, J. J. Galán, Juan Garbajosa |
Introducing HOOD into Software Process Modelling Based Environments. |
Ada-Europe |
1991 |
DBLP DOI BibTeX RDF |
MASP, ALF, Ada, tools, methods, CASE, HOOD |
55 | Elaheh Safari-Sharifabadi, Constantinos Constantinides |
Dynamic analysis of Ada programs for comprehension and quality measurement. |
SIGAda |
2008 |
DBLP DOI BibTeX RDF |
quality measurement and metrics, program comprehension, dynamic program analysis |
55 | Tyler B. Hallmark, Eugene K. Ressler |
Parallel evolution of game evaluation functions in ada. |
SIGAda |
2007 |
DBLP DOI BibTeX RDF |
|
55 | Ricky E. Sward |
Using ada in a service-Ooriented architecture. |
SIGAda |
2007 |
DBLP DOI BibTeX RDF |
SOA, service-oriented architecture, software architecture, enterprise service bus, ESB |
55 | Santiago Urueña, José Antonio Pulido, Jorge López, Juan Zamorano, Juan Antonio de la Puente |
A New Approach to Memory Partitioning in On-Board Spacecraft Software. |
Ada-Europe |
2008 |
DBLP DOI BibTeX RDF |
Ravenscar Ada, integrated modular avionics, embedded systems, hard real-time, high-integrity |
55 | José María Martínez, Michael González Harbour |
RT-EP: A Fixed-Priority Real Time Communication Protocol over Standard Ethernet. |
Ada-Europe |
2005 |
DBLP DOI BibTeX RDF |
Schedulability, Modelling, Distributed Systems, Embedded Systems, Real-Time, Networks, Ethernet, Ada 95 |
55 | 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 |
55 | Yusuke Nonaka, Kazuo Ushijima, Jingde Cheng |
Monitoring facilities in languages supporting development of concurrent self-measurement programs. |
APSEC |
2000 |
DBLP DOI BibTeX RDF |
concurrent self-measurement programs, reliable concurrent systems, measurement handler, Ada MH, Ada, object-oriented programming, software maintenance, software maintenance, monitoring, software development, distributed processing, programming languages, software reliability, object-oriented languages, Ada 95, system monitoring |
55 | John E. Melde, Philip G. Gage |
Ada simulation technology - methods and metrics. |
Annual Simulation Symposium |
1988 |
DBLP BibTeX RDF |
Ada |
54 | Andy Lapping |
Model driven development with Ada. |
SIGAda |
2004 |
DBLP DOI BibTeX RDF |
UML, unified modeling language, Ada, process, model driven development |
54 | V. Santhanam |
The anatomy of an FAA-qualifiable Ada subset compiler. |
SIGAda |
2002 |
DBLP DOI BibTeX RDF |
FAA, Ada, compiler, software certification, DO-178B |
54 | Michael McEvilley |
The essence of information assurance and its implications for the Ada community. |
SIGAda |
2002 |
DBLP DOI BibTeX RDF |
Ada, information assurance, security engineering |
54 | Haerim Lee, Warren Moseley |
A parallel inference engine (PIE) (abstract only). |
ACM Conference on Computer Science |
1987 |
DBLP DOI BibTeX RDF |
blackboard-driven, forward/backward chaining, parallel inference engine, artificial intelligence, ADA, Ada, object-oriented design, frame, real-time embedded system, inference engine |
54 | Frank Singhoff, Alain Plantec |
AADL modeling and analysis of hierarchical schedulers. |
SIGAda |
2007 |
DBLP DOI BibTeX RDF |
ada framework, cheddar, platypus, real time, scheduling analysis, AADL, timed automaton |
53 | Jeffrey W. Humphries, Martin C. Carlisle, Terry A. Wilson |
Multilanguage programming with ada in the .Net environment. |
SIGAda |
2003 |
DBLP DOI BibTeX RDF |
A#, microsoft .NET environment, multilanguage programming, Ada 95 |
53 | Iulian Ober, Nicolas Halbwachs |
On the Timed Automata-Based Verification of Ravenscar Systems. |
Ada-Europe |
2008 |
DBLP DOI BibTeX RDF |
|
53 | Juan López Campos, J. Javier Gutiérrez, Michael González Harbour |
Interchangeable Scheduling Policies in Real-Time Middleware for Distribution. |
Ada-Europe |
2006 |
DBLP DOI BibTeX RDF |
|
53 | Santiago Urueña, Juan Zamorano, Daniel Berjón, José Antonio Pulido, Juan Antonio de la Puente |
The Arbitrated Real-Time Protocol (AR-TP): A Ravenscar Compliant Communication Protocol for High-Integrity Distributed Systems. |
Ada-Europe |
2006 |
DBLP DOI BibTeX RDF |
|
53 | Sami Evangelista, Claude Kaiser, Christophe Pajault, Jean-François Pradat-Peyre, Pierre Rousseau |
Dynamic Tasks Verification with Quasar. |
Ada-Europe |
2005 |
DBLP DOI BibTeX RDF |
|
53 | Diyaa-Addein Atiya, Steve King 0001 |
Extending Ravenscar with CSP Channels. |
Ada-Europe |
2005 |
DBLP DOI BibTeX RDF |
|
53 | Thomas Vergnaud, Jérôme Hugues, Laurent Pautet, Fabrice Kordon |
PolyORB: A Schizophrenic Middleware to Build Versatile Reliable Distributed Applications. |
Ada-Europe |
2004 |
DBLP DOI BibTeX RDF |
|
53 | Francisco J. Ortiz, Alejandro S. Martínez, Bárbara Álvarez, Andrés Iborra, José M. Fernández |
Development of a Control System for Teleoperated Robots Using UML and Ada95. |
Ada-Europe |
2002 |
DBLP DOI BibTeX RDF |
|
53 | Wolfgang Gellerich, Erhard Plödereder |
Parameter-Induced Aliasing in Ada. |
Ada-Europe |
2001 |
DBLP DOI BibTeX RDF |
|
53 | Alexandre Duret-Lutz |
Expression Templates in Ada. |
Ada-Europe |
2001 |
DBLP DOI BibTeX RDF |
|
53 | Juan Zamorano, José F. Ruiz, Juan Antonio de la Puente |
Implementing Ada.Real_Time.Clock and Absolute Delays in Real-Time Kernels. |
Ada-Europe |
2001 |
DBLP DOI BibTeX RDF |
|
53 | Xavier Franch, Josep Pinyol, Joan Vancells |
Browsing a Component Library Using Non-functional Information. |
Ada-Europe |
1999 |
DBLP DOI BibTeX RDF |
|
53 | Helge Hagenauer |
On the Use of Controlled Types for Fossil Collection in a Distributed Simulation Systems. |
Ada-Europe |
1999 |
DBLP DOI BibTeX RDF |
|
53 | Ricardo Jiménez-Peris, Marta Patiño-Martínez, Francisco J. Ballesteros, Sergio Arévalo |
Efficient and Extensible Multithreaded Remote Servers. |
Ada-Europe |
1999 |
DBLP DOI BibTeX RDF |
|
53 | Laurent Millet, Ted Baker |
Porting the GNAT Tasking Runtime System to the Java Virtual Machine. |
Ada-Europe |
1998 |
DBLP DOI BibTeX RDF |
|
53 | Peter E. Obermayer, Georg Schüer, Rudolf Landwehr |
DIS - An Interface to Distributed Interactive Simulation. |
Ada-Europe |
1995 |
DBLP DOI BibTeX RDF |
|
53 | Wayne M. Zage, Dolores M. Zage, Manjari Bhargava, Dale J. Gaumer |
Design and Code Metrics Through a DIANA-Based Tool. |
Ada-Europe |
1992 |
DBLP DOI BibTeX RDF |
DIANA, quality assessment, code metrics, Design metrics |
53 | John B. Goodenough 0002, Thomas H. Probert |
Designing and Testing Interfaces for Portable Software: Ada TEXT_IO as an Example. |
Ada Software Tools Interfaces |
1983 |
DBLP DOI BibTeX RDF |
|
52 | David A. Workman, Richard Crutchfield |
Quality Guidelines = Designer Metrics. |
TRI-Ada |
1994 |
DBLP DOI BibTeX RDF |
Ada |
52 | Michael I. Frankel |
Model Like an Egyptian. |
TRI-Ada |
1994 |
DBLP DOI BibTeX RDF |
Ada |
52 | Franco Gasperoni, Patrick Bazire |
Smart Recompilation and the GNAT Compiler. |
TRI-Ada |
1994 |
DBLP DOI BibTeX RDF |
Ada |
52 | Robert G. Crispen, Lynn D. Stuckey Jr. |
Structural Model: Architecture for Software Designers. |
TRI-Ada |
1994 |
DBLP DOI BibTeX RDF |
Ada |
52 | Lisa M. Levy Kortright |
An Incremental Approach to the Development of Reusable General-Purpose Discrete-Event Simulator Components. |
TRI-Ada |
1994 |
DBLP DOI BibTeX RDF |
Ada |
52 | Kathleen Gilroy |
Interesting Problems in Transforming Existing Software for Reusability. |
TRI-Ada |
1994 |
DBLP DOI BibTeX RDF |
Ada |
52 | Karl A. Nyberg |
Multi-core + multi-tasking = multi-opportunity? |
SIGAda |
2007 |
DBLP DOI BibTeX RDF |
multi-core, tasking, parallel execution |
52 | Jianming Fu, Xian Yi, Huanguo Zhang |
Modeling the Behavior of Ada Tasks and Verifying Its Safety. |
CIT |
2004 |
DBLP DOI BibTeX RDF |
|
52 | Allen S. Parrish, David W. Cordes, James Cross, Brian A. Malloy |
Ada in the undergraduate curriculum. |
ACM Southeast Regional Conference |
1995 |
DBLP DOI BibTeX RDF |
|
52 | William W. McLendon Jr., Richard F. Vidale |
Analysis of an Ada System Using Coloured Petri Nets and Occurrence Graphs. |
Application and Theory of Petri Nets |
1992 |
DBLP DOI BibTeX RDF |
|
52 | M. I. Blower |
An efficient implementation of visibility in Ada. |
SIGPLAN Symposium on Compiler Construction |
1984 |
DBLP DOI BibTeX RDF |
|
51 | Matt Mark |
Data sharing between ada and C/C++. |
SIGAda |
2005 |
DBLP DOI BibTeX RDF |
cross-language interface |
51 | Jordi Marco, Xavier Franch |
A framework for designing and implementing the Ada standard container library. |
SIGAda |
2003 |
DBLP DOI BibTeX RDF |
access by position, container libraries, iterators, quality models |
51 | Xavier Caron, Jörg Kienzle, Alfred Strohmeier |
Object-Oriented Stable Storage Based on Mirroring. |
Ada-Europe |
2001 |
DBLP DOI BibTeX RDF |
Fault Tolerance, Memory Management, Shadowing, Ada 95, Mirroring, Stable Storage |
51 | Ricky E. Sward |
SP1: service oriented architecture (SOA) concepts and implementations for Ada. |
SIGAda |
2008 |
DBLP DOI BibTeX RDF |
software engineering, service oriented architecture, reliability, ada, software, languages, systems, web server, enterprise service bus, high integrity |
51 | Jean-Pierre Rosen |
The Ada paradox(es). |
SIGAda |
2008 |
DBLP DOI BibTeX RDF |
security, software engineering, design, reliability, ada, software, safety, languages, systems, assurance, high integrity |
51 | Dmitry Korochkin, Sergey Korochkin |
Experimental performance analysis of the Ada95 and Java parallel program on SMP systems. |
SIGAda |
2002 |
DBLP DOI BibTeX RDF |
SMP systems, Java, Ada, synchronization, mutual exclusion, thread, task |
50 | Benjamin M. Brosgol, Brian Dobbing |
Real-time convergence of Ada and Java™. |
SIGAda |
2001 |
DBLP DOI BibTeX RDF |
scheduling, Java, Java, Real-Time, Ada, Ada, garbage collection, threads, asynchrony |
50 | Martin C. Carlisle, John A. Hamilton Jr. |
Integrating Ada 2005 into visual studio 2005. |
SIGAda |
2006 |
DBLP DOI BibTeX RDF |
A#, JGNAT, MGNAT, visual studio 2005, Ada 2005 |
50 | Martin C. Carlisle |
Automatic OO parser generation using visitors for Ada 2005. |
SIGAda |
2006 |
DBLP DOI BibTeX RDF |
AdaGOOP, automatic parser generation, Ada 2005, visitor pattern |
50 | Knut H. Pedersen, Constantinos Constantinides |
AspectAda: aspect oriented programming for ada95. |
SIGAda |
2005 |
DBLP DOI BibTeX RDF |
ada semantic interface specification (ASIS), aspect-oriented programming (AOP), concurrent programming, inheritance anomaly, ada95 |
50 | Ravi K. Gedela, Sol M. Shatz, Haiping Xu |
Formal modeling of synchronization methods for concurrent objects in Ada 95. |
SIGAda |
1999 |
DBLP DOI BibTeX RDF |
Petri net formalism, Ada-95, concurrent objects, distributed software, synchronization methods |
49 | Benjamin M. Brosgol, Brian Dobbing |
Can Java Meet Its Real-Time Deadlines? |
Ada-Europe |
2001 |
DBLP DOI BibTeX RDF |
|
49 | Michel Gauthier (eds.) |
Ada-Europe '93, 12th Ada-Europe International Conference, Ada Sans Frontières, Paris, France, June 14-18, 1993, Proceedings |
Ada-Europe |
1993 |
DBLP DOI BibTeX RDF |
|
49 | Marie-Gabrielle Bloch |
An Operational Computer Aided Software Environment: ILIADE. |
Ada-Europe |
1993 |
DBLP DOI BibTeX RDF |
|
49 | Judy Bamberger (eds.) |
Introduction to Ada - Tri-Ada 1991 Tutorial, TRI-Ada 1991, San Jose, California, USA, October 21-25, 1991 |
TRI-Ada Tutorial |
1991 |
DBLP DOI BibTeX RDF |
|
49 | Judah Mogilensky |
Tutorial: measuring and improving software process maturity (part 1). |
TRI-Ada Tutorial |
1991 |
DBLP DOI BibTeX RDF |
|
Displaying result #401 - #500 of 4847 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|