Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,168,519 papers from all fields of science
Search
Sign In
Create Free Account
Verdix
Verdix Corporation was an American software company active in the 1980s and 1990s and based in Fairfax County, Virginia, that specialized in language…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
6 relations
Broader (1)
Ada
Alsys
Automated reasoning
Computer-aided software engineering
Configuration management
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
1994
1994
The GNU Ada runtime library (GNARL)
E. Giering
,
T. Baker
Washington Ada Symposium
1994
Corpus ID: 22646676
The GNu Ada Runtime Library (GNARL) is an implementation of Ada 9X tasking. It is designed to support the Gnu-NYU Ada Translator…
Expand
1993
1993
A specification language for planning and fault recovery in manufacturing systems
J. Chaar
,
R. Volz
1993
Corpus ID: 62541836
This paper presents the syntax and semantics of a component-oriented rule-based language for specifying the formal models of…
Expand
1993
1993
Experimenting with dynamic linking with ADA
P. Inverardi
,
F. Mazzanti
Software, Practice & Experience
1993
Corpus ID: 30928886
An approach to achieving dynamic reconfiguration within the framework of Ada1 is described. A technique for introducing a kernel…
Expand
1992
1992
Dlx Simulator Directed Prooling
Sumithra Jagannath
1992
Corpus ID: 15513658
Performance analysis tools are assuming more and more importance with the evolution of new architectures, and new compiler…
Expand
1992
1992
Performance and Ada Style for the AN/BSY-2 Submarine Combat System
N. Altman
,
P. Donohoe
1992
Corpus ID: 110232790
Abstract : The performance of programs prepared with the Verdix Ada Development System (VADS) was measured and analyzed for…
Expand
1991
1991
VADS APSE: an integrated Ada programming support environment
E. Matthews
,
G. Burns
SETA1
1991
Corpus ID: 13949939
During the 1980's, the United States Department of Defense developed the Ada language to combat the growing "software crisis…
Expand
1990
1990
Performance measurement of parallel Ada: an applications based approach
A. Goforth
,
P. Collard
,
Matthew Marquardt
Working Group on Ada Performance Issues
1990
Corpus ID: 9425419
This paper reports on the development of benchmarks and performance measures for parallel Ada tasking. The focus is on the…
Expand
Review
1989
Review
1989
A survey of commercially available secure LAN products
G. King
[ Proceedings] Fifth Annual Computer Security…
1989
Corpus ID: 34814828
The advent of the Trusted Network Interpretation (TNI) and the widespread availability of powerful microcomputers has resulted in…
Expand
1989
1989
Parallel compilation of Ada units
B. Cockerham
TRI-Ada
1989
Corpus ID: 17758180
Parallel compilation—compiling independent Ada units or files in parallel—offers a potentially enormous savings in the total…
Expand
1987
1987
Cross-debugging real-time Ada programs
G. Burns
International Workshop on Real-Time Ada
1987
Corpus ID: 39751023
Programming errors can arise in the most carefully designed and implemented system. Even in the rare case that an initial system…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE