Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,232,132 papers from all fields of science
Search
Sign In
Create Free Account
Ada
Known as:
Limited type
, Ada programming language
, Ada 2005
Expand
Ada is a structured, statically typed, imperative, wide-spectrum, and object-oriented high-level computer programming language, extended from Pascal…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
ACM Turing Award
ALGOL 58
ALGOL 60
B-Method
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Amending State Putative Father Registries: Affording More Rights and Protections To America’s Unwed Fathers
Ivy Waisbord
2015
Corpus ID: 148937147
Review
2012
Review
2012
NUMERICAL SIMULATION AND ANALYSIS OF COANDA EFFECT CIRCULATION CONTROL FOR WIND-TURBINE APPLICATION CONSIDERATIONS
D. H
,
Jojodihardjo
,
+6 authors
Ajid
2012
Corpus ID: 67781750
In the efforts to investigate the performance of Coanda Jet in enhancing lift of an airfoil, a numerical study is carried out…
Expand
Review
2008
Review
2008
Seamless integration of mobile WiMAX in 3GPP networks
P. Taaghol
,
A. Salkintzis
,
Jay Iyer
IEEE Communications Magazine
2008
Corpus ID: 17647241
As the wireless industry makes its way to the next generation of mobile systems, it is important to engineer solutions that…
Expand
2003
2003
Active surface model-based adaptive thresholding algorithm by repulsive external force
Fei Liu
,
Yupin Luo
,
Xiaodan Song
,
Dongcheng Hu
J. Electronic Imaging
2003
Corpus ID: 18393644
Inspired by the idea that threshold surface always inter- sects the image surface at high gradient points, an active surface…
Expand
2000
2000
On some implementation issues for value prediction on wide-issue ILP processors
Sang-Jeong Lee
,
Pen-Chung Yew
Proceedings International Conference on Parallel…
2000
Corpus ID: 5627544
In this paper we look at two issues which could affect the performance of value prediction on wide-issue ILP processors. One is…
Expand
1996
1996
Constructing abstract models of concurrent real-time software
J. Corbett
International Symposium on Software Testing and…
1996
Corpus ID: 10088051
Concurrent real-time software is used in many safety-critical applications. Assuring the quality of such software requires the…
Expand
Review
1994
Review
1994
Specifying and Testing Software Components using ADL
R. Hayes
,
S. Sankar
1994
Corpus ID: 16317461
This paper presents a novel approach to unit testing of software components. This approach uses the specification language ADL…
Expand
1993
1993
Physics-based modelling of nonrigid objects for vision and graphics
Dimitris N. Metaxas
1993
Corpus ID: 60488343
This thesis develops a physics-based framework for 3D shape and nonrigid motion modeling for computer vision and computer…
Expand
1989
1989
PASCAL: Problem Solving and Program Design
M. Feldman
,
Elliot B. Koffman
1989
Corpus ID: 202980743
Highly Cited
1933
Highly Cited
1933
Leafy spurge : life history and habits
H. C. Hanson
,
V. E. Rudd
1933
Corpus ID: 83942596