|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 687 occurrences of 330 keywords
|
|
|
Results
Found 330 publication records. Showing 330 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Scott James |
Redistribution in distributed Ada. |
SIGAda |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Yvon Kermarrec |
CORBA vs. Ada 95 DSA: a programmer's view. |
SIGAda |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Donald M. Needham, Steven A. Demurjian, Thomas J. Peters |
Towards a distributed object-oriented propagation model using Ada95. |
SIGAda |
1999 |
DBLP DOI BibTeX RDF |
methods and techniques, distributed systems, object-oriented technology, Ada languages |
1 | Laurent Pautet, Samuel Tardieu |
What future for the distributed systems annex?. |
SIGAda |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Patricia Balbastre, Silvia Terrasa, Joan Vila i Carbó, Alfons Crespo |
Experiences using Ada in a real-time and distributed laboratory. |
SIGAda |
1999 |
DBLP DOI BibTeX RDF |
distributed systems, real-time systems, robot application |
1 | Ian Gilchrist |
Attitudes to Ada - a market survey. |
SIGAda |
1999 |
DBLP DOI BibTeX RDF |
Ada |
1 | Juan Carlos Díaz Martín, Isidro Irala Veloso, José Manuel Rodríguez García |
Building Tcl-Tk GUIs for HRT-HOOD systems. |
SIGAda |
1999 |
DBLP DOI BibTeX RDF |
HRT-HOOD, Tcl-Tk, TAXIS, real time systems, user interfaces, Ada, Tcl |
1 | Hal Hart, Barry W. Boehm, S. Tucker Taft, Tony Wasserman |
What happened to integrated environments? (panel session). |
SIGAda |
1999 |
DBLP DOI BibTeX RDF |
APSE, IPSE, KAPSE, MAPSE, SDE, SEE, Stoneman, environment, PSE |
1 | Martin C. Carlisle |
A truly implementation independent GUI development tool. |
SIGAda |
1999 |
DBLP DOI BibTeX RDF |
Java, Ada, graphical user interfaces, automatic code generation, Tcl/Tk |
1 | John W. McCormick |
Ada, model railroading, and real-time software engineering education (keynote address). |
SIGAda |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Ming Wang |
Integrating a software engineering approach into an Ada closed laboratory. |
SIGAda |
1999 |
DBLP DOI BibTeX RDF |
software engineering, Ada, closed lab |
1 | Tony Lowe |
Pinching pennies while losing dollars. |
SIGAda |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Tony Lowe |
Extending Ada to assist multiprocessor embedded development. |
SIGAda |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Brad Balfour |
The current state of CORBA (invited presentation). |
SIGAda |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Paul B. Carpenter |
Verification of requirements for saftey-critical software. |
SIGAda |
1999 |
DBLP DOI BibTeX RDF |
IEEE/EIA 12207, requirements-based testing, UML, requirements analysis, software verification, DO-178B |
1 | 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 |
1 | Henry A. Lortz, Timothy A. Tibbetts |
The role of distributed, real-time Ada & C++ on the Airborne Surveillance Testbed (AST) program. |
SIGAda |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Gerhard Bühler, Heinz Faßbender |
Applying Ada, Java and CORBA for making a command and control information system platform independent. |
SIGAda |
1999 |
DBLP DOI BibTeX RDF |
use of several languages, Java, distributed system, CORBA, legacy system |
1 | Barry W. Boehm |
Predicting the future of computer systems and software engineering (keynote address). |
SIGAda |
1999 |
DBLP DOI BibTeX RDF |
Ada |
1 | Bran Selic |
Architectural patterns for complex real-time systems (abstract of keynote address). |
SIGAda |
1999 |
DBLP DOI BibTeX RDF |
Ada |
1 | Michael Tonndorf |
Ada conformity assessments: a model for other programming languages?. |
SIGAda |
1999 |
DBLP DOI BibTeX RDF |
Ada conformity assessments, Ada standardization, programming languages validations |
1 | Christine Hulse, Scott Edgerton, Michael Ubnoske, Louis Vazquez |
Reducing maintenance costs through the application of modern software architecture principles. |
SIGAda |
1999 |
DBLP DOI BibTeX RDF |
modeling, architecture, design patterns, software maintenance, real-time software |
1 | Sheri J. Bernstein, Robert S. Duff |
Optimizing Ada on the fly. |
SIGAda |
1999 |
DBLP DOI BibTeX RDF |
check elimination, range checking, range propagation, uninitialized variables, optimization, Ada, compiler, array bounds checking, warnings |
1 | David Botton |
Interfacing Ada 95 to Microsoft COM and DCOM technologies. |
SIGAda |
1999 |
DBLP DOI BibTeX RDF |
distributed COM, components, ActiveX, OLE, COM, component object model |
1 | Olga Rusanova, Alexandr Korochkin |
Scheduling problems for parallel and distributed systems. |
SIGAda |
1999 |
DBLP DOI BibTeX RDF |
scheduling, algorithms, parallel, distributed, computer systems |
1 | Steven Doran |
Interfacing low-level C device drivers with Ada 95. |
SIGAda |
1999 |
DBLP DOI BibTeX RDF |
real-time, Ada 95, device drivers, C programming language |
1 | Kristina Lundqvist, Lars Asplund |
A formal model of the Ada Ravenscar tasking profile; delay until. |
SIGAda |
1999 |
DBLP DOI BibTeX RDF |
|
1 | William Currie Colket |
Code analysis of saftey-critical and real-time software using ASIS. |
SIGAda |
1999 |
DBLP DOI BibTeX RDF |
real-time, tasking, safety-critical, code analysis, ASIS, high integrity, Ada language, Ravenscar profile |
1 | Hal Hart, S. Tucker Taft, Franco Gasperoni (eds.) |
Proceedings ACM SIGAda Annual International Conference, SIGAda 1999, The Engineering of Industrial Strength Real-Time Software & Distributed Systems: Using Ada and Related Technologie, Redondo Beach, CA, USA, October 17-21, 1999. |
SIGAda |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Ian Gilchrist |
Attitudes to Ada in the UK high-reliability software sector (plenary session). |
SIGAda |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Laurent Pautet, Thomas Quinot, Samuel Tardieu |
CORBA and CORBA services for DSA. |
SIGAda |
1999 |
DBLP DOI BibTeX RDF |
|
1 | David Silberberg |
Applying the Personal Software Process (PSP) with Ada. |
SIGAda |
1998 |
DBLP DOI BibTeX RDF |
Ada, Ada, CMM, capability, maturity model, personal software process, PSP |
1 | Arthur G. Duncan |
Reusable Ada Libraries Supporting Infinite Data Structures. |
SIGAda |
1998 |
DBLP DOI BibTeX RDF |
infinite data structures, Ada, Ada, functional programming, lazy evaluation |
1 | Stephen H. Kaisler, Michael B. Feldman |
Object-Oriented and Concurrent Program Design Issues in Ada 95. |
SIGAda |
1998 |
DBLP DOI BibTeX RDF |
Ada |
1 | Patricia J. Dousette, Ari Danesh, Matthew Jones |
Command and Control Using World Wide Web Technology. |
SIGAda |
1998 |
DBLP DOI BibTeX RDF |
Java, Java, WWW, architecture, command and control |
1 | Ed Seidewitz, William Thomas, Michael B. Feldman (eds.) |
Proceedings of the ACM SIGAda Annual International Conference on Ada Technology, SIGAda 1998, Washington, DC, USA, November 8-12, 1998 |
SIGAda |
1998 |
DBLP DOI BibTeX RDF |
|
1 | William W. Pritchett IV, John D. Riley |
An ASIS-Based Static Analysis Tool for High-Integrity Systems. |
SIGAda |
1998 |
DBLP DOI BibTeX RDF |
Ada, static analysis, software tool, Ada 95, safety-critical |
1 | Duane J. Jarc, Michael B. Feldman |
An Empirical Study of Web-Based algorithm Animation Courseware in an Ada Data Structure Course. |
SIGAda |
1998 |
DBLP DOI BibTeX RDF |
Ada data structure course, Web-based courseware, Ada, empirical study, learning styles, algorithm animation, interactive multimedia |
1 | John A. Reisner, Zeenat Lainwala, Thomas J. Peters, Steven A. Demurjian |
Implementing a Culling and Self-Intersection Algorithm for Stereolithography Files in Ada 95. |
SIGAda |
1998 |
DBLP DOI BibTeX RDF |
CAD applications, culling algorithms, stereolithography, Ada, computer graphics, topology |
1 | Brad S. Crawford |
Algorithm Animation with Symbol Processing Robots. |
SIGAda |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Mike Kamrad |
Ada experience report for BlazeNet, Inc.. |
SIGAda |
1998 |
DBLP DOI BibTeX RDF |
Layer 7-applications switch, embedded system software, language features of Ada, Ada |
1 | Samuel Tardieu, Laurent Pautet |
Building Fault Tolerant Distributed Systems Using IP Multicast. |
SIGAda |
1998 |
DBLP DOI BibTeX RDF |
Ada |
1 | Mike Mills, Greg Peterson |
Hardware/Software Co-Design: VHDL and Ada 95 Code Migration and Integrated Analysis. |
SIGAda |
1998 |
DBLP DOI BibTeX RDF |
Ada |
1 | Scott James |
The Evolution of a Distributed dataflow Processing Model Using Ada. |
SIGAda |
1998 |
DBLP DOI BibTeX RDF |
Ada |
1 | Luís Miguel Pinho, Francisco Vasques |
Multi-µ: An Ada 95 Based Architecture for Fault Tolerance Support of Real-Time Systems. |
SIGAda |
1998 |
DBLP DOI BibTeX RDF |
software based fault tolerance, real-time systems, Ada, Ada 95, off-the-shelf components |
1 | Martin C. Carlisle, Patrick Maes |
RAPID: A Free, Portable GUI Design Tool. |
SIGAda |
1998 |
DBLP DOI BibTeX RDF |
automatic code genertion, Ada, Ada, graphical user interfaces, Tcl/Tk |
1 | Ross H. Wainwright |
An Application Engineering Workbench for Tailoring Ada Flight Components. |
SIGAda |
1998 |
DBLP DOI BibTeX RDF |
satellite flight software, Ada, Ada, software reuse, rapid prototyping, decision model |
1 | Janusz W. Laski, William Stanley, Jim Hurst |
Dependency Analysis of Ada Programs. |
SIGAda |
1998 |
DBLP DOI BibTeX RDF |
program anomalies, Ada, Ada, static analysis, information flow, program dependencies, path analysis |
1 | Bangqing Li, Baowen Xu, Huiming Yu |
Transforming Ada Serving Tasks into Protected Objects. |
SIGAda |
1998 |
DBLP DOI BibTeX RDF |
serving tasks, Ada, Ada, transformation, protected objects |
1 | A. T. Chamillard, Ronald J. Lisowski, Richard R. Young |
Using Ada in Non-CS Majors. |
SIGAda |
1998 |
DBLP DOI BibTeX RDF |
Ada |
1 | T. Dean Hendrix, James H. Cross II, Larry A. Barowski, Karl S. Mathias |
Visual Support for Incremental Abstraction and Refinement in Ada 95. |
SIGAda |
1998 |
DBLP DOI BibTeX RDF |
software visualizaton, Ada, program understanding, GRASP, folding |
1 | O. P. Kiddle, Andy J. Wellings |
Extensible Protected Types. |
SIGAda |
1998 |
DBLP DOI BibTeX RDF |
Ada, Ada 95, concurrent object-oriented programming |
1 | Shayne Flint |
Using Java APIs with Native Ada Compilers. |
SIGAda |
1998 |
DBLP DOI BibTeX RDF |
Java, Java, Ada, Ada, bindings, Java native interface |
1 | Charles Plinta, Richard D'Ippolito, Roger Van Scoy |
A Specification and Code Generation Tool for Message Translation and Validation. |
SIGAda |
1998 |
DBLP DOI BibTeX RDF |
CORBA servers, specification tool, model, Ada, interoperability, integration, validation, code generation, translation, message, model-based software engineering, Ada95 |
1 | John P. Woodruff, Paul J. Van Arsdall |
A Large Distributed Control System Using Ada in Fusion Research. |
SIGAda |
1998 |
DBLP DOI BibTeX RDF |
Ada, CORBA, application frameworks, object-oriented development, distributed control system, levels of abstraction |
1 | Yoav Tzruya, Mordechai Ben-Ari |
A Portable Implementation of the Distributed Systems Annex in Java. |
SIGAda |
1998 |
DBLP DOI BibTeX RDF |
Java, Java, distributed systems, Ada, Ada95 |
1 | Robert C. Leif, Suzanne B. Leif |
Ada in Embedded Boards for Scientific and Medical Instruments. |
SIGAda |
1998 |
DBLP DOI BibTeX RDF |
low-level, embedded system, Ada, OOP, object oriented programming, Ada 95, device, board |
1 | Sy Wong, Gertrude Levine |
Kernel Ada to Unify Hardware and Software Design. |
SIGAda |
1998 |
DBLP DOI BibTeX RDF |
Ada, Ada, VHDL, EDA, hardware description language, HDL |
1 | Benjamin M. Brosgol |
A Comparison of the Concurrency Features of Ada 95 and Java. |
SIGAda |
1998 |
DBLP DOI BibTeX RDF |
Java, Java, Ada, Ada, concurrency, object-oriented programming, threads, tasking, inheritance anomaly |
1 | Shan Barkataki, Stuart Harte, Tong Dinh |
Reengineering a Legacy System Using Design Patterns and Ada-95 Object-Oriented Features. |
SIGAda |
1998 |
DBLP DOI BibTeX RDF |
Ada, design patterns, reuse, reengineering, Ada-95 |
1 | Bo Frisberg |
Usage of Ada in the Gripen Flight Control System. |
SIGAda |
1998 |
DBLP DOI BibTeX RDF |
flight control system, exception handling, tasking, data consistency |
1 | Jim Hopper, Jennifer De Bilbiss, Harry Heaton, Tom Haberlandt |
Use of Ada in Digital Radar Landmass Simulation (DRLMS). |
SIGAda |
1998 |
DBLP DOI BibTeX RDF |
simulation, real time, Ada, Ada 95, object oriented development |
1 | Daniel Hoffman, Jayakrishnan Nair, Paul A. Strooper |
Testing Generic Ada Packages with APE. |
SIGAda |
1998 |
DBLP DOI BibTeX RDF |
Ada |
1 | Jeanne L. Murtagh, John A. Hamilton Jr. |
A Comparison of Ada and Pascal in an Introductory Computer Science Course. |
SIGAda |
1998 |
DBLP DOI BibTeX RDF |
Ada, Pascal |
1 | Brian Dobbing, Alan Burns 0001 |
The Ravenscar Tasking Profile for High Integrity Real-Time Programs. |
SIGAda |
1998 |
DBLP DOI BibTeX RDF |
Ravenscar, Ada, Ada, tasking, safety-critical, high-integrity |
1 | Victor D. Albertini, Craig J. Berrett |
Ada in an On-Board Military Communication System. |
SIGAda |
1998 |
DBLP DOI BibTeX RDF |
hardware to software mapping, modular software, Ada, Ada |
1 | Dragan Macos, Frank Mueller 0001 |
The Rendezvous is Dead - Long Live the Protected Object. |
SIGAda |
1998 |
DBLP DOI BibTeX RDF |
Ada |
1 | Stephen Michell, Mark Saaltink, Brian A. Wichmann |
Looking into Safety with the Safety and Security Rapporteur Group. |
SIGAda |
1998 |
DBLP DOI BibTeX RDF |
Ada |
1 | Nathan Fleener, Laura Moody, Mary Stewart |
A Reusable Lightweight Executive for Command and Control Systems. |
SIGAda |
1998 |
DBLP DOI BibTeX RDF |
Ada, Ada, portability, executive |
1 | David R. Musser, Alexander A. Stepanov 0001 |
A library of generic algorithms in Ada. |
SIGAda |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Dausmann |
Library structures for reusable components. |
SIGAda |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Brett Bachman |
Design automation for Ada development under DOD-STD-2167 (and beyond). |
SIGAda |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Ron Kownacki, S. Tucker Taft |
Portable and efficient dynamic storage management in Ada. |
SIGAda |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Charles B. Williams |
Use of the Rational R1000 Ada development environment for an IBM based command and control system. |
SIGAda |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Michael D. Walters |
Expert systems development in LISP and Ada. |
SIGAda |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Shohei Fujita |
Self-organizing distributed operating system: implementation and problem using Ada. |
SIGAda |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Gerald M. Karam, Raymond J. A. Buhr |
Experience with the automatic temporal analysis of multitasking Ada designs. |
SIGAda |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Michael R. Middlemas |
Ada applications on embedded targets. |
SIGAda |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Dick Schefström |
The system-oriented editor - a tool for managing large software systems. |
SIGAda |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Eric N. Schacht |
Ada programming techniques, research, and experiences on a fast control loop system. |
SIGAda |
1987 |
DBLP DOI BibTeX RDF |
|
1 | L. Lucas, D. Dent |
Real-time Ada demonstration. |
SIGAda |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Joseph C. DiGrazia, Jehuda Ziegler, Richard Mueller |
An Ada distributed multiprocessor executive: from conceptualization to implementation. |
SIGAda |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Theodore P. Baker |
A low-level tasking package for Ada. |
SIGAda |
1987 |
DBLP DOI BibTeX RDF |
|
1 | C. Amiguet, André Schiper |
Discrete-event simulation in Ada. |
SIGAda |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Geoffrey O. Mendal |
Storage reclamation models for Ada programs. |
SIGAda |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Sam Harbaugh, Greg Saunders |
GKS/Ada post mortem, a cost analysis. |
SIGAda |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Shunichi Fukuyama, Naoi Okuse, Masato Fujimaru, Seiichi Yamasaki |
Empirical guidelines to use Ada effectively. |
SIGAda |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Amelia Maxted, John C. Rowe |
An Ada graphical tool to support software development. |
SIGAda |
1987 |
DBLP DOI BibTeX RDF |
|
1 | David H. Ternes |
Developmental software configuration and integration in a large Ada project. |
SIGAda |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Donald J. Reifer |
Ada's impact: a quantitative assessment. |
SIGAda |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Trevor Moreton |
Partitioned Ada libraries as a basis for variant control (extended abstract). |
SIGAda |
1987 |
DBLP DOI BibTeX RDF |
|
1 | William L. Schultz, Asheem Chandna |
An Ada based approach to factory scale MAP network simulaton. |
SIGAda |
1987 |
DBLP DOI BibTeX RDF |
|
1 | L. E. Murray |
A life-cycle oriented Ada design language. |
SIGAda |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Yoëlle S. Maarek, Gail E. Kaiser |
Using conceptual clustering for classifying reusable Ada code. |
SIGAda |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Robert F. Mathis |
Elementary functions packages for Ada. |
SIGAda |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Philip J. Lefebvre |
Reclamation of memory for dynamic Ada tasking. |
SIGAda |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin M. Brosgol (eds.) |
Proceedings of the 1987 Annual ACM SIGAda International Conference on Ada, SIGAda 1987, Boston, Massachusetts, USA, 1987 |
SIGAda |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Allan R. Klumpp |
Linear algebra and other Ada packages adapted from HAL/S, FORTRAN, PL/I and MAC. |
SIGAda |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Fred Francl |
Pioneering mission - critical Ada software. |
SIGAda |
1987 |
DBLP DOI BibTeX RDF |
|
1 | John E. Melde, Phillip G. Gage |
Large system simulation using Ada. |
SIGAda |
1987 |
DBLP DOI BibTeX RDF |
|
Displaying result #201 - #300 of 330 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ >>] |
|