On 11/01/2012 05:56 AM, Mel Gorman wrote:
On Thu, Oct 25, 2012 at 02:16:19PM +0200, Peter Zijlstra wrote:
This is probably a first: formal description of a complex high-level
computing problem, within the kernel source.
Who does not love the smell of formal methods first thing in the
On Thu, Oct 25, 2012 at 02:16:19PM +0200, Peter Zijlstra wrote:
> This is probably a first: formal description of a complex high-level
> computing problem, within the kernel source.
>
Who does not love the smell of formal methods first thing in the
morning?
> Signed-off-by: Peter Zijlstra
>
On Thu, Oct 25, 2012 at 02:16:19PM +0200, Peter Zijlstra wrote:
This is probably a first: formal description of a complex high-level
computing problem, within the kernel source.
Who does not love the smell of formal methods first thing in the
morning?
Signed-off-by: Peter Zijlstra
On 11/01/2012 05:56 AM, Mel Gorman wrote:
On Thu, Oct 25, 2012 at 02:16:19PM +0200, Peter Zijlstra wrote:
This is probably a first: formal description of a complex high-level
computing problem, within the kernel source.
Who does not love the smell of formal methods first thing in the
This is probably a first: formal description of a complex high-level
computing problem, within the kernel source.
Signed-off-by: Peter Zijlstra
Cc: Linus Torvalds
Cc: Andrew Morton
Cc: Peter Zijlstra
Cc: "H. Peter Anvin"
Cc: Mike Galbraith
Rik van Riel
[ Next step: generate the kernel
This is probably a first: formal description of a complex high-level
computing problem, within the kernel source.
Signed-off-by: Peter Zijlstra a.p.zijls...@chello.nl
Cc: Linus Torvalds torva...@linux-foundation.org
Cc: Andrew Morton a...@linux-foundation.org
Cc: Peter Zijlstra
6 matches
Mail list logo