Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,164,903 papers from all fields of science
Search
Sign In
Create Free Account
Alsys
The company Alsys, SA. (founded 1980, merged 1995) was a software development company created to support initial work on the Ada programming language…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
7 relations
Ada
Intermetrics
John Barnes (computer scientist)
TeleSoft
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2001
2001
The Challenges of Software Certification
G. Romanski
2001
Corpus ID: 14817403
The safety critical community – those involved in developing and verifying safety critical systems – is very conservative and…
Expand
1995
1995
Ada used to develop a global positioning system for future spacecraft
Ann Trüb
ALET
1995
Corpus ID: 39853387
The Project The European Space Agency (ESA) has been developing with ALGATEL-SEL (D), a GPS Receiver for Space applications. It…
Expand
1994
1994
Automatic compiler recognition of monitor tasks
Jonathan L. Schilling
,
J. Nielsen
ALET
1994
Corpus ID: 17557993
Monitor tasks, also known as passive tasks, are a kind of Ada task that is subject to well-known and very powerful optimization…
Expand
1994
1994
Software Technology for Adaptable, Reliable Systems (STARS). AdaWise User's Manual. Alsys RISCAda, Sun OS 4.1.2 Implementation.
C. Barbasch
1994
Corpus ID: 60065338
Abstract : Ada is a high-level language with features to support program reliability and maintenance. An Ada compiler will detect…
Expand
1993
1993
Evaluation of Alsys 037 Ada Compiler
Richard M. Plishka
,
A. Ifarraguerri
1993
Corpus ID: 60688568
Abstract : Several standard benchmarks were implemented in order to study the real-time performance of the Alsys 037 Ada Compiler…
Expand
1993
1993
Study of the Alsys implementation of the Catalogue of Interface Features and Options for the Ada language for 80386 Unix
J. S. Gibson
,
Michael J. Barnes
,
Dan Ostermiller
1993
Corpus ID: 62723879
A set of programs was written to test the functionality and performance of the Alsys Ada implementation of the Catalogue of…
Expand
1993
1993
Experiences with the partitions model
B. Dobbing
ALET
1993
Corpus ID: 392853
Alsys has implemented a distributed Ada system known as AdaMap which is based on a program partitioning model almost identical to…
Expand
1986
1986
Ein Ada-Compiler
R. P. Wehrum
,
G. Dießl
,
W. Hoyer
,
J. Winkler
1986
Corpus ID: 59878529
In diesem Beitrag soll uber einige Aspekte der Entwicklung eines Compilers fur die Programmiersprache Ada berichtet werden. Die…
Expand
1985
1985
An event-driven debugger for Ada
Claude Mauger
,
K. Pammett
SIGAda Conference
1985
Corpus ID: 16460607
In this paper, we present the main concepts used in our symbolic debugger for Ada. Described also is a companion tool, the Ada…
Expand
1982
1982
Lolita: a low level intermediate language for Ada
O. Roubine
,
C. Bull
,
J. Teller
,
O. Maurel
AdaTEC Conference on Ada
1982
Corpus ID: 59337112
Under the auspices of the Commission of the European Communities, the development of a portable root for Ada compilers has been…
Expand