Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,347,839 papers from all fields of science
Search
Sign In
Create Free Account
Refinement (computing)
Known as:
Program Refinement
, Data refinement
, Refinement type
Expand
Refinement is a generic term of computer science that encompasses various approaches for producing correct computer programs and simplifying existing…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
29 relations
Agile software development
Array data structure
B-Method
CoSMoS
Expand
Broader (2)
Computer programming
Formal methods
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2013
Highly Cited
2013
The Nature of Damped Lyman Alpha Systems and Their Hosts in the Standard Cold Dark Matter Universe
R. Cen
2013
Corpus ID: 155093739
Using adaptive mesh-refinement cosmological hydrodynamic simulations with a physically motivated supernova feedback prescription…
Expand
Highly Cited
2008
Highly Cited
2008
Indian Logic Ontology based Automatic Query Refinement
S. Rajasekar
,
G. Mahalakshmi
,
T. Geetha
,
S. Sendhilkumar
2008
Corpus ID: 62456560
The effectiveness of user query plays a vital role in retrieving highly relevant documents in keyword based search engine. Due to…
Expand
2007
2007
Diffusion Maps and Geometric Harmonics for Automatic Target Recognition (ATR). Volume 2. Appendices
S. Zucker
,
R. Coifman
2007
Corpus ID: 33721827
Abstract : Geometric harmonics provides a framework for taking data in high-dimensional measurement spaces and embedding them in…
Expand
Highly Cited
2006
Highly Cited
2006
Hidden Automotive Antenna Performance and Simulation
L. Low
,
R. Langley
,
R. Breden
,
P. Callaghan
IEEE Transactions on Antennas and Propagation
2006
Corpus ID: 46703730
A new printed antenna system mounted in an aperture in the roof of a car is evaluated for broadcast signal reception from 88-108…
Expand
Highly Cited
2002
Highly Cited
2002
HASCASL: Towards Integrated Specification and Development of Functional Programs
Lutz Schröder
,
Till Mossakowski
International Conference on Algebraic Methodology…
2002
Corpus ID: 29061387
The development of programs in modern functional languages such as Haskell calls for a wide-spectrum specification formalism that…
Expand
Highly Cited
1993
Highly Cited
1993
ADAPTIVE SPACE FRAME ANALYSIS. PART II: A DISTRIBUTED PLASTICITY APPROACH.
B. Izzuddin
,
A. Elnashai
1993
Corpus ID: 29830839
In a previous companion paper (Part I: A Plastic Hinge Approach), adaptive elasto-plastic analysis of space frames was discussed…
Expand
1987
1987
A Hierarchical Global Wiring Algorithm for Custom Chip Design
Wing K. Luk
,
P. Sipala
,
Markku Tamminen
,
D. Tang
,
L. Woo
,
Chak-Kuen Wong
IEEE Transactions on Computer-Aided Design of…
1987
Corpus ID: 5689270
We present a global wiring algorithm used in a top-down physical design environment, i.e., macros are laid out after global…
Expand
Highly Cited
1983
Highly Cited
1983
Palladio: An exploratory environment for circuit design
Brown
,
Tòng
,
Foyster
Computer
1983
Corpus ID: 14741263
Palladio is a circuit design environment for experimenting with methodologies and knowledge-based, expert-system design aids. Its…
Expand
Highly Cited
1967
Highly Cited
1967
The crystal and molecular structure of tetraethylammonium tetrachloronickelate(II)
G. Stucky
,
J. Folkers
,
T. Kistenmacher
1967
Corpus ID: 95620513
The crystal structure of tetraethylammonium tetrachloronickelate(II) has been determined by fullmatrix least-squares refinement…
Expand
Highly Cited
1967
Highly Cited
1967
Pilot Describing Function Measurements in a Multiloop Task
R. Stapleford
,
D. McRuer
,
R. Magdaleno
1967
Corpus ID: 59541571
An experimental program to measure pilot describing functions in a multiloop control task is described. The basic objective of…
Expand