Skip to search formSkip to main contentSkip to account menu

Programming Research Group

Known as: PRG 
The Programming Research Group (PRG) was part of the Oxford University Computing Laboratory (OUCL) in Oxford, England, until OUCL became the… 
Wikipedia (opens in a new tab)

Related topics

Related topics

5 relations
Computer hardwareFormal methodsJean-Raymond AbrialOrwell

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Using archaeol to investigate the location of methanogens in the ruminant digestive tract
2012
2012
Hardness Preserving Constructions of Pseudorandom Functions
We show a hardness-preserving construction of a PRF from any length doubling PRG which improves upon known constructions whenever… 
2012
2012
Computational Extractors and Pseudorandomness
Computational extractors are efficient procedures that map a source of sufficiently high min-entropy to an output that is… 
2008
2008
QUALIDADE DE MILHO VERDE CULTIVADO EM SISTEMAS DE PRODUÇÃO ORGÂNICO E CONVENCIONAL
Avaliaram-se as caracteristicas agronomicas e fisico-quimicas de milho verde cultivado em sistemas de producao orgânico e… 
2005
2005
On the Complexity of Hardness Amplification
For deltaisin(0,1) and k,n isinN, we study the task of transforming a hard function f: {0,1}nrarr {0,1}, with which any small… 
2003
2003
Postprandial indole and skatole formation in the rumen when feeding white clover, perennial ryegrass and Lotus corniculatus
In some international markets, meat and milk products from pasture-fed animals is associated with an undesirable pastoral flavour… 
Highly Cited
2001
Highly Cited
2001
Ryegrass endophyte: a New Zealand Grassland success story
The discovery in 1981 that ryegrass endophyte is responsible for ryegrass staggers has required a total revision of our… 
1996
1996
The theory, practice, and a tool for BSP performance prediction applied to a CFD application
The Bulk Synchronous Parallel (BSP) model provides a theoretical framework to accurately predict the execution time of parallel… 
1993
1993
Coherence for Qualiied Types
ions and let expressions. Any such renaming is permitted so long as we avoid clashes with free variables. The nal group of… 
1992
1992
An object-oriented refinement calculus with modular reasoning
In this thesis, the refinement calculus is extended to support a variety of object-oriented programming styles. The late binding… 
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)