Search results for "reliable"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	Helge Hagenauer	On the Use of Controlled Types for Fossil Collection in a Distributed Simulation Systems.	Ada-Europe	1999	DBLP DOI BibTeX RDF
14	Jacob Frost	An Ada95 Solution for Certification of Embedded Safety Critical Applications.	Ada-Europe	1999	DBLP DOI BibTeX RDF
14	Bruno Hémeury	Report on the VERA Experiment.	Ada-Europe	1999	DBLP DOI BibTeX RDF
14	Alexandr Korochkin	Ada 95 as a Foundation Language in Computer Engineering Education in Ukraine.	Ada-Europe	1999	DBLP DOI BibTeX RDF
14	Johann Blieberger, Johann Klasek, Eva Kühn	Ada Binding to a Shared Object Layer.	Ada-Europe	1999	DBLP DOI BibTeX RDF
14	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
14	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
14	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
14	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
14	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
14	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
14	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
14	Alfred Strohmeier	Mapping Object-Oriented Designs to Ada.	Ada-Europe	1999	DBLP DOI BibTeX RDF	Ada Programming Language, Object-Oriented Software Development, Fusion Method
14	Mike Kamrad	An Application (Layer 7) Routing Switch with Ada95 Software.	Ada-Europe	1999	DBLP DOI BibTeX RDF
14	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
14	Tullio Vardanega, Gert Caspersen, Jan Storbank Pedersen	A Case Study in the Reuse of On-board Embedded Real-Time Software.	Ada-Europe	1999	DBLP DOI BibTeX RDF
14	Jörg Kienzle, Alfred Strohmeier	Shared Recoverable Objects.	Ada-Europe	1999	DBLP DOI BibTeX RDF	Recoverable Objects, Controlled Types, Abort Deferred Regions, Concurrency, Object-Oriented Programming, Transactions, Software Fault Tolerance, Ada 95
14	Kristina Lundqvist, Lars Asplund, Stephen Mitchell	A Formal Model of the Ada Ravenscar Tasking Profile; Protected Objects.	Ada-Europe	1999	DBLP DOI BibTeX RDF	Ravenscar, Formal Methods, Run-Time System, UPPAAL, Ada Tasking, Protected Objects
14	David E. Emery	Architectural Frameworks: Defining the Contents of Architectural Descriptions.	Ada-Europe	1999	DBLP DOI BibTeX RDF
14	Thierry Millan, Myriam Lamolle, Frédéric Mulatero	An Adaptation of our Ada95/O2 Binding to Provide Persistence to the Java Language: Sharing and Handling of Data between Heterogenous Applications using Persistence.	Ada-Europe	1999	DBLP DOI BibTeX RDF	Ada 83, O2, data environment, Java, interoperability, Persistence, Ada 95, Object Oriented Database Management System
14	Patrick Rogers, Andy J. Wellings	An Incremental RecoveryCache Supporting Sotware Fault Tolerance.	Ada-Europe	1999	DBLP DOI BibTeX RDF	user-defined assignment, Ada, checkpointing, fault-tolerant systems
14	Apolinar González, Alfons Crespo	Environment for the Development and Specification of Real-Time Ada Programs.	Ada-Europe	1999	DBLP DOI BibTeX RDF
14	Jean Mermet	System on Chip Specification and Design Languages Standardization.	Ada-Europe	1999	DBLP DOI BibTeX RDF
14	Adrian López, Maite Veiga, Eugenio Villar	Hardware/Software Embedded System Specifiaction and Design Using Ada and VHDL.	Ada-Europe	1999	DBLP DOI BibTeX RDF
14	Alfred Rosskopf	Development of Flight Control Software in Ada: Architecture and Design Issues and Approaches.	Ada-Europe	1999	DBLP DOI BibTeX RDF
14	Eric Bruneton, Jean-François Pradat-Peyre	Automatic Verification of Concurrent Ada Programs.	Ada-Europe	1999	DBLP DOI BibTeX RDF
14	C. Douglass Locke	An Architectual Perspective of Real-Time Ada Applications.	Ada-Europe	1999	DBLP DOI BibTeX RDF
14	Dominique Canazzi	yaRTI, an Ada 95 HLA Run-Time Infrastructure.	Ada-Europe	1999	DBLP DOI BibTeX RDF
14	William Fornaciari, Donatella Sciuto	HW/SW Co-design of Embedded Systems.	Ada-Europe	1999	DBLP DOI BibTeX RDF
14	José L. Fernández	Acceptance Testing of Object Oriented Systems.	Ada-Europe	1999	DBLP DOI BibTeX RDF
14	Laurent Pautet, Thomas Quinot, Samuel Tardieu	CORBA & DSA: Divorce or Marriage?	Ada-Europe	1999	DBLP DOI BibTeX RDF
14	Lars Asplund (eds.)	Reliable Software Technologies - Ada-Europe '98, 1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June 8-12, 1998, Proceedings	Ada-Europe	1998	DBLP DOI BibTeX RDF
14	Hiroaki Higaki, Makoto Takizawa 0001	Checkpoint-Recovery Protocol for Reliable Mobile Systems.	SRDS	1998	DBLP DOI BibTeX RDF
14	Nadia Kausar, Jon Crowcroft	End to End Reliable Multicast Transport Protocol Requirements for Collaborative Multimedia Systems.	SRDS	1998	DBLP DOI BibTeX RDF
14	Svetoslav Markov, Kohshi Okumura	The Contribution of T. Sunaga to Interval Analysis and Reliable Computing.	SCAN	1998	DBLP DOI BibTeX RDF
14	Martin J. Stift	(Astro)Physical Supercomputing: Ada95 as a Safe, Object Oriented Alternative.	Ada-Europe	1998	DBLP DOI BibTeX RDF
14	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
14	Alan Burns 0001, Brian Dobbing, George Romanski	The Ravenscar Tasking Profile for High Integrity Real-Time Programs.	Ada-Europe	1998	DBLP DOI BibTeX RDF
14	Saeed Araban, A. S. M. Sajeev	A Two-Level Matching Mechanism for Object-Oriented Class Libraries.	Ada-Europe	1998	DBLP DOI BibTeX RDF
14	Jesús M. González-Barahona, Pedro de las Heras Quirós, José Centeno-González, Francisco J. Ballesteros	Building Modular Communication Systems in Ada: The Simple_Com Approach.	Ada-Europe	1998	DBLP DOI BibTeX RDF
14	Helge Hagenauer, Werner Pohlmann	Ada 95 for a Distributed Simulation System.	Ada-Europe	1998	DBLP DOI BibTeX RDF
14	Bruce A. Lewis, Steve Vestal, David J. McConnell	Modern Avionics Requirements for the Distributed Systems Annex.	Ada-Europe	1998	DBLP DOI BibTeX RDF
14	Johann Blieberger, Bernd Burgstaller	Symbolic Reaching Definitions Analysis of Ada Programs.	Ada-Europe	1998	DBLP DOI BibTeX RDF
14	Michael Tonndorf	Ten Years of Tool Based Ada Compiler Validations. An Experience Report.	Ada-Europe	1998	DBLP DOI BibTeX RDF
14	Mordechai Ben-Ari	Synchronizing Multiple Clients and Servers.	Ada-Europe	1998	DBLP DOI BibTeX RDF
14	Guido Schumacher, Wolfgang Nebel	How to Avoid the Inheritance Anomaly in Ada.	Ada-Europe	1998	DBLP DOI BibTeX RDF
14	Scott Arthur Moody	Object Oriented Abstractions for Real-Time Distributes Systems.	Ada-Europe	1998	DBLP DOI BibTeX RDF
14	Ken Wong	Looking at Code With Your Safety Goggles On.	Ada-Europe	1998	DBLP DOI BibTeX RDF
14	Laurent Pautet, Samuel Tardieu	Inside the Distributed Systems Annex.	Ada-Europe	1998	DBLP DOI BibTeX RDF
14	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
14	Alfred Strohmeier, Vasiliy Fofanov, Sergey Rybin, Stéphane Barbey	Quality-for-ASIS: A Portable Testing Facility for ASIS.	Ada-Europe	1998	DBLP DOI BibTeX RDF
14	Franco Gasperoni	Embedded Opportunities.	Ada-Europe	1998	DBLP DOI BibTeX RDF
14	Agustín Espinosa, Vicente Julián, Carlos Carrascosa, Andrés Terrasa, Ana García-Fornes	Programming Hard Real-Time Systems with Optional Components in Ada.	Ada-Europe	1998	DBLP DOI BibTeX RDF
14	Laurent Millet, Ted Baker	Porting the GNAT Tasking Runtime System to the Java Virtual Machine.	Ada-Europe	1998	DBLP DOI BibTeX RDF
14	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
14	Michael González Harbour, R. Gómez Somarriba, Alfred Strohmeier, J. Jacot	PINROB: A Portable API for Industrial Robots.	Ada-Europe	1998	DBLP DOI BibTeX RDF
14	Bo Frisberg	Ada in the JAS 39 Gripen Flight Control System.	Ada-Europe	1998	DBLP DOI BibTeX RDF
14	Pierre Chapront	Ada+B The Formula for Safety Critical Software Development.	Ada-Europe	1998	DBLP DOI BibTeX RDF
14	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
14	José L. Fernández, Bárbara Álvarez, Francisco J. García Izquierdo, Ángel Pérez, Juan Antonio de la Puente	A Case Study in Quantitative Evaluation of Real-Time Software Architectures.	Ada-Europe	1998	DBLP DOI BibTeX RDF
14	Helmut Ratschek, Jon G. Rokne	Reliable Computing Special Issue on Reliable Geometric Computations.	Reliab. Comput.	1997	DBLP DOI BibTeX RDF
14	Keith Hardy, James S. Briggs (eds.)	Reliable Software Technologies - Ada-Europe '97, 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2-6, 1997, Proceedings	Ada-Europe	1997	DBLP DOI BibTeX RDF
14	Chandra M. R. Kintala	Reliable Software Systems using Reusable Software Components.	SRDS	1997	DBLP DOI BibTeX RDF
14	Ravishankar K. Iyer, Zbigniew Kalbarczyk, Saurabh Bagchi	Chameleon: Adaptive Fault Tolerance Using Reliable, Mobile Agents.	SRDS	1997	DBLP DOI BibTeX RDF
14	Paul A. Green Jr.	The Art of Creating Reliable Software-based Systems using Off-the-Shelf Software Components.	SRDS	1997	DBLP DOI BibTeX RDF
14	W. L. Yeung	Semantics-Based Support Tools for High Integrity Ada Software.	Ada-Europe	1997	DBLP DOI BibTeX RDF
14	Frank Mueller 0001	Supporting Ada 95 Passive Partitions in a Distributed Environment.	Ada-Europe	1997	DBLP DOI BibTeX RDF
14	John English	Tha Dangers of Inheritance.	Ada-Europe	1997	DBLP DOI BibTeX RDF
14	Vincent Celier, Drasko M. Sotirovski, Christopher J. Thompson	Code-Data Consistency in Ada.	Ada-Europe	1997	DBLP DOI BibTeX RDF	Ada Semantic Interface Specification, Ada, Air Traffic Control
14	Philippe Pichon	CCO-Mars'96 Integration HOOD, Ada and XInAda in a full Ada Operational Software Project.	Ada-Europe	1997	DBLP DOI BibTeX RDF	XInAda, Ada, parallel I/Os, Operational, MMI, HOOD
14	Joachim Wegener, Ines Fey	Systematic Unit-Testing of Ada Programs.	Ada-Europe	1997	DBLP DOI BibTeX RDF
14	S. R. Waterman	Techniques for Testing Ada 95.	Ada-Europe	1997	DBLP DOI BibTeX RDF	Controlled Types, Hierarchical Libraries, Testing, Ada 95, Protected Objects
14	Bertrand Dupouy, Olivier Hainque, Laurent Pautet, Samuel Tardieu	The SPIF Project.	Ada-Europe	1997	DBLP DOI BibTeX RDF
14	Alexander B. Romanovsky, Stuart E. Mitchell, Andy J. Wellings	On Programming Atomic Actions in Ada 95.	Ada-Europe	1997	DBLP DOI BibTeX RDF
14	Brian Dobbing, Marc Richard-Foy	T-SMART - Task-Safe, Minimal Ada Realtime Toolset.	Ada-Europe	1997	DBLP DOI BibTeX RDF	Ada83, Software Reliability, Certification, Ada 95
14	King Sing Cheung, Paul Kai-On Chow, T. Y. Cheung	Towards an Integration of Syntactic Constructs and Structural Features for Formalised Object-Oriented Methods.	Ada-Europe	1997	DBLP DOI BibTeX RDF	Formal method, Object-oriented method, Software specification
14	Theodore P. Baker, Dong-Ik Oh	Ada Bindings for C Interfaces: Lessons Learned from the Florist Implementation.	Ada-Europe	1997	DBLP DOI BibTeX RDF
14	Ingmar Ögren	Ada 95 as a Base to Architect Systems in O4STM.	Ada-Europe	1997	DBLP DOI BibTeX RDF
14	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
14	Michael González Harbour, J. J. Gutiérrez García, José C. Palencia Gutiérrez	Implementing Application-Level Sporadic Server Schedulers in Ada 95.	Ada-Europe	1997	DBLP DOI BibTeX RDF	Scheduling, Real-Time, Jitter, Ada 95, Sporadic Server
14	Wolfgang Gellerich, Erhard Plödereder	: Parameter-Induced Aliasing and Related Problems can be Avoided.	Ada-Europe	1997	DBLP DOI BibTeX RDF
14	Alex E. Bell	An Alternative Toolset for Analysis of Ada Programs.	Ada-Europe	1997	DBLP DOI BibTeX RDF
14	Jim E. Cooling, N. Duff, Joanne Cooling	Computer Aided Teaching of Programming Languages: An Ada-specific Development.	Ada-Europe	1997	DBLP DOI BibTeX RDF	Computer aided teaching, animation and simulation, Ada, programming languages
14	Xavier Franch	Including Non-functional Issues in Anna/Ada Programs for Automatic Implementation Selection.	Ada-Europe	1997	DBLP DOI BibTeX RDF
14	R. H. Pierce, Sandra Ayache, Roger Ward, John Stevens, Helen Clifton, J. Galle	Capturing and Verifying Performance Requirements for Hard Real Time Systems.	Ada-Europe	1997	DBLP DOI BibTeX RDF
14	Michael B. Feldman	An Ada 95 Sort Race Construction Set.	Ada-Europe	1997	DBLP DOI BibTeX RDF	Concurrent Programming, Ada 95, Algorithm Animation
14	Andy J. Wellings, Alan Burns 0001, Offer Pazy	Task Termination in Ada 95.	Ada-Europe	1997	DBLP DOI BibTeX RDF	termination, asynchronous communication, Ada 95
14	Slobodan S. Jovanovic, Drasko M. Sotirovski, Pierre van Aswegen	Developing Scripting Capabilities for an Ada-Based Simulator.	Ada-Europe	1997	DBLP DOI BibTeX RDF	Simulation, Scripting, Ada 95
14	J. Phil Thornley	Static Analysis and Diversity in the Software Development Process- Experiences with the Use of SPARK.	Ada-Europe	1997	DBLP DOI BibTeX RDF
14	Peter Molin	Designing reliable systems from reliable components using the context-dependent constraint concept.	ISSRE	1996	DBLP DOI BibTeX RDF
14	Alfred Strohmeier (eds.)	Reliable Software Technologies - Ada-Europe '96, 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June 10-14, 1996, Proceedings	Ada-Europe	1996	DBLP DOI BibTeX RDF
14	Yennun Huang	Developing reliable applications on cluster systems.	SRDS	1996	DBLP DOI BibTeX RDF
14	Dan Craigen, Mark Saaltink, Steve Michell	Ada 95 and Critical Systems: An Analytical Approach.	Ada-Europe	1996	DBLP DOI BibTeX RDF
14	Johann Blieberger, Roland Lieger, Bernd Burgstaller	Augmenting Ada 95 with Additional Real-Time Features.	Ada-Europe	1996	DBLP DOI BibTeX RDF
14	Bernd Gliss	An Ada 95 Harness for Converting Legacy Fortran Applications.	Ada-Europe	1996	DBLP DOI BibTeX RDF	Fortran language, Object-Orientation, Reuse, Software Development Methods, Ada language
14	John D. Smart	A Decade of Development and Development of Distributed Ada Systems.	Ada-Europe	1996	DBLP DOI BibTeX RDF	Techniques and Tools, Software Development Methods and Techniques, Distributed Systems, Real-Time Systems, Frameworks, Metrics, Experience Report
14	Dong-Ik Oh, Theodore P. Baker, Seung-Jin Moon	The GNARL Implementation of POSIX/Ada Signal Services.	Ada-Europe	1996	DBLP DOI BibTeX RDF
14	Michael Oudshoorn, Stephen Crawley	Beyond Ada 95: The Addition of Persistence and Its Consequences.	Ada-Europe	1996	DBLP DOI BibTeX RDF
14	Jorge Real, Agustín Espinosa, Alfons Crespo	Using Ada 95 for Prototyping Real-Time Systems.	Ada-Europe	1996	DBLP DOI BibTeX RDF	Real-time Systems, Prototyping, Object-oriented methods, Software Development Environments
14	Roland Feith, Michael Tonndorf	Planning the Transition to Ada 95 for a Large Real-Time Project.	Ada-Europe	1996	DBLP DOI BibTeX RDF