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
2007
Highly Cited
2007
Reduction of Numerical Parameter Dependencies in Diesel Spray Models
Numerical grid and time-step-dependencies of Discrete Droplet Lagrangian spray models are identified. The two main sources of… 
Highly Cited
2000
Highly Cited
2000
COSY communication IP's
The Fsprit/OMI-COSY project defines transaction-levels to set-up the exchange of IP's in separating function from architecture… 
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
1997
Highly Cited
1997
Desulfoferrodoxin structure determined by MAD phasing and refinement to 1.9-Å resolution reveals a unique combination of a tetrahedral FeS4 centre with a square pyramidal FeSN4 centre
Abstract The structure of desulfoferrodoxin (DFX), a protein containing two mononuclear non-heme iron centres, has been solved by… 
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
Bending and torsion models of beams with induced-strain actuators
This paper develops one-dimensional pure bending, coupled bending and extension, and combined bending, extension and torsion… 
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… 
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)