Skip to search formSkip to main contentSkip to account menu

Refinement (computing)

Known as: Program Refinement, Data refinement, Refinement type 
Refinement is a generic term of computer science that encompasses various approaches for producing correct computer programs and simplifying existing… 
Wikipedia (opens in a new tab)

Related topics

Related topics

29 relations
Agile software developmentArray data structureB-MethodCoSMoS

Broader (2)

Computer programmingFormal methods

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2018
Highly Cited
2018
Galaxies in a simulated Lambda CDM Universe-I . Cold mode and hot cores
We study the formation of galaxies in a large volume (50h Mpc, 2 × 288 particles) cosmological simulation, evolved using the… 
Highly Cited
2008
Highly Cited
2008
Indian Logic Ontology based Automatic Query Refinement
The effectiveness of user query plays a vital role in retrieving highly relevant documents in keyword based search engine. Due to… 
Highly Cited
2001
Highly Cited
2001
Automatic Off-Body Grid Generation for Domains of Arbitrary Size
A fully automatic method for the management and generation of off-body grid systems is presented. The method product is a set of… 
Highly Cited
1999
Highly Cited
1999
Unsteady aerodynamic simulation of static and moving bodies using scalable computers
Methods to accurately .solve the Navier-Stokes equations for geometrically complex problems that may involve relative motion… 
Highly Cited
1995
Highly Cited
1995
Accurate Structural Data Demystify B-12 - High-Resolution Solid-State Structure of Aquocobalamin Perchlorate and Structure-Analysis of the Aquocobalamin Ion in Solution
Experiments are described to elucidate the structure and solvation of aquocobalamin (vitamin Biza, 1+) in the crystal and in… 
Highly Cited
1993
Highly Cited
1993
ADAPTIVE SPACE FRAME ANALYSIS. PART II: A DISTRIBUTED PLASTICITY APPROACH.
In a previous companion paper (Part I: A Plastic Hinge Approach), adaptive elasto-plastic analysis of space frames was discussed… 
Highly Cited
1983
Highly Cited
1983
Palladio: An exploratory environment for circuit design
Palladio is a circuit design environment for experimenting with methodologies and knowledge-based, expert-system design aids. Its… 
Highly Cited
1981
Highly Cited
1981
The applicability of 500-MHz high-resolution 1H-NMR spectroscopy for the structure determination of carbohydrates derived from glycoproteins
Abstract 
Highly Cited
1967
Highly Cited
1967
The crystal and molecular structure of tetraethylammonium tetrachloronickelate(II)
The crystal structure of tetraethylammonium tetrachloronickelate(II) has been determined by fullmatrix least-squares refinement… 
Highly Cited
1967
Highly Cited
1967
Pilot Describing Function Measurements in a Multiloop Task
An experimental program to measure pilot describing functions in a multiloop control task is described. The basic objective of… 
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)