McRae tribute convoy to cross UK

Hundreds of rally cars join a convoy from Lanark to Banbury in tribute to racing star Colin McRae, who died last year.

news.bbc.co.uk

Arctic melt

North Pole kayak trip to highlight global warming

news.bbc.co.uk

Impulse control

Links between childhood trauma and violence

news.bbc.co.uk

Three held over double stabbing

Police arrest three men as one man dies and another is seriously injured after they were stabbed in West Yorkshire.

news.bbc.co.uk

Gustav strengthens off west Cuba

Hurricane Gustav has strengthened into a category three storm as it nears western Cuba, US forecasters say.

news.bbc.co.uk

Wasilla to VP?

Even Alaska surprised by choice of Sarah Palin

news.bbc.co.uk

Rose-tinted view

Why it's good that things aren't like they used to be

news.bbc.co.uk

Zenit overcome Man Utd to claim Super Cup

Pavel Pogrebnyak and Danny score as Zenit St Petersburg beat Man Utd to win the European Super Cup in Monaco.

news.bbc.co.uk

Front line

The RAF flies the flag in Iraq and Afghanistan

news.bbc.co.uk

Woman dies in fall from mountain

A woman dies and her husband and daughter are seriously injured in a 200ft fall from a mountain ridge in the Lake District.

news.bbc.co.uk

Ex-mayor rejects Met race claim

The former mayor of London Ken Livingstone rejects claims that Sir Ian Blair is guilty of racial discrimination.

news.bbc.co.uk

What do you want to talk about?

What do you want the world to talk about?

news.bbc.co.uk

Cutlass time

Five classic map symbols you won't get on your satnav

news.bbc.co.uk

Alliance role in stand-off talks

Alliance leader David Ford says his party would attend talks to resolve the dispute over the devolution of justice powers.

news.bbc.co.uk

Thai PM Samak refuses to resign

Thailand's Prime Minister Samak Sundaravej says he will not resign, despite mounting anti-government protests.

news.bbc.co.uk

Dozens injured in Sri Lanka blast

A large explosion has struck Sri Lanka's capital, Colombo, with the military saying that dozens have been injured.

news.bbc.co.uk

Live Carling Cup third round draw

Holders Tottenham are among 17 Premier League teams in the draw for the Carling Cup third round.

news.bbc.co.uk

Two bodies found at arson house

Two bodies are recovered from the burnt-out home of a millionaire and his family in Shropshire.

news.bbc.co.uk

Capsize in India floods kills 20

At least 20 people in Bihar, India, die when their boat capsizes, amid floods that have stranded hundreds of thousands.

news.bbc.co.uk

Pietersen seeks series whitewash

Kevin Pietersen says England are intent on completing a 5-0 series whitewash after thrashing South Africa at The Oval.

news.bbc.co.uk

Darling warns of economic crisis

Chancellor Alistair Darling says the UK is facing the worst economic crisis in 60 years and warns of a "profound" downturn.

news.bbc.co.uk

International competitors battle to be the fastest haggis eater

Competitors from New Zealand, Australia, the US and Scotland compete to become a haggis eating champ.

news.bbc.co.uk

US surprise and praise for Palin

Democratic rivals say John McCain's running mate Sarah Palin is "admirable" but concerns remain of inexperience.

news.bbc.co.uk

'Man drought' - some 100,000 young men have left Australia

Census data reveals that some 100,000 young men have left Australia, leading to a serious "man-drought" in many areas.

news.bbc.co.uk

'Boil water' warning to thousands

Tens of thousands of people are told to boil their drinking water after increased levels of bacteria are found in supplies.

news.bbc.co.uk

 World Catalog > Computers > Software > Operating Systems > Realtime > EROS

 Last searches:Avocado treePrinceton Universityline of credit loansdivorce lawyerblocketchristmas

World Catalog > Computers > Software > Operating Systems > Realtime > EROS

EROS:

CapROS

Capability-based Reliable Operating System; home site; non-academic evolution and continuation of EROS system, begun in 2005; EROS was pure research, CapROS is intended to be stable commercial quality system.

http://www.capros.org/

Graand

Free Classified Ads Portal

www.graand.com

CapROS

Growing article, with links to many related topics. Wikipedia.

http://en.wikipedia.org/wiki/CapROS

Coyotos

Growing article, with links to many related topics. Wikipedia.

http://en.wikipedia.org/wiki/Coyotos

Coyotos Secure Operating System

Direct EROS research successor; builds on those ideas and experiences; much code developed for EROS will migrate directly to Coyotos.

http://www.coyotos.org/

EROS: A Fast Capability System

This capability-based OS for commodity processors uses a one level storage model; store persistence is transparent to applications. Surprisingly, performance of this very high security system matches normal OSs. [ResearchIndex]

http://citeseer.ist.psu.edu/shapiro99eros.html

EROS-OS.org

Extremely Reliable OS; home site. Small, secure, real-time microkernel with orthogonal persistence: pull the plug and restart with no losses. Related to, and working with, ERights.org on E programming language. [Open source, GPL]

http://www.eros-os.org/

Extremely Reliable Operating System

Growing article, with links to many related topics. Wikipedia.

http://en.wikipedia.org/wiki/Extremely_Reliable_Operating_System

Verifying Operating System Security

A confined program is one unable to leak information to an unauthorized party or modify unauthorized resources, an essential feature of any secure component based system. A proof of correctness of EROS architecture for confinement. [ResearchIndex]

http://citeseer.ist.psu.edu/shapiro97verifying.html

EROS: A Principle-Driven Operating System from the Ground Up

Abstract of article by Jonathan S. Shapiro, Norm Hardy; published by IEEE Computer Society. [IEEE Software] (February, 2002)

http://csdl2.computer.org/persagen/DLAbsToc.jsp?resourcePath=/dl/mags/so/&toc=comp/mags/so/2002/01/s1toc.xml&DOI=10.1109/52.976938

The EROS Alternative

Shapiro interview in 'Open-Source Security' issue. Of open source OSs, most people think only Linux and OpenBSD. But another open-source OS's architecture may be more secure than either of them. [Information Security Magazine] (February, 2000)

http://www.infosecuritymag.com/articles/february00/covera.shtml

Cutlass time

Five classic map symbols you won't get on your satnav

news.bbc.co.uk

International competitors battle to be the fastest haggis eater

Competitors from New Zealand, Australia, the US and Scotland compete to become a haggis eating champ.

news.bbc.co.uk

Dozens injured in Sri Lanka blast

A large explosion has struck Sri Lanka's capital, Colombo, with the military saying that dozens have been injured.

news.bbc.co.uk

Capsize in India floods kills 20

At least 20 people in Bihar, India, die when their boat capsizes, amid floods that have stranded hundreds of thousands.

news.bbc.co.uk

Rose-tinted view

Why it's good that things aren't like they used to be

news.bbc.co.uk

Ex-mayor rejects Met race claim

The former mayor of London Ken Livingstone rejects claims that Sir Ian Blair is guilty of racial discrimination.

news.bbc.co.uk

Three held over double stabbing

Police arrest three men as one man dies and another is seriously injured after they were stabbed in West Yorkshire.

news.bbc.co.uk

Front line

The RAF flies the flag in Iraq and Afghanistan

news.bbc.co.uk

What do you want to talk about?

What do you want the world to talk about?

news.bbc.co.uk

Arctic melt

North Pole kayak trip to highlight global warming

news.bbc.co.uk

Pietersen seeks series whitewash

Kevin Pietersen says England are intent on completing a 5-0 series whitewash after thrashing South Africa at The Oval.

news.bbc.co.uk

Alliance role in stand-off talks

Alliance leader David Ford says his party would attend talks to resolve the dispute over the devolution of justice powers.

news.bbc.co.uk

McRae tribute convoy to cross UK

Hundreds of rally cars join a convoy from Lanark to Banbury in tribute to racing star Colin McRae, who died last year.

news.bbc.co.uk

Live Carling Cup third round draw

Holders Tottenham are among 17 Premier League teams in the draw for the Carling Cup third round.

news.bbc.co.uk

Darling warns of economic crisis

Chancellor Alistair Darling says the UK is facing the worst economic crisis in 60 years and warns of a "profound" downturn.

news.bbc.co.uk

'Boil water' warning to thousands

Tens of thousands of people are told to boil their drinking water after increased levels of bacteria are found in supplies.

news.bbc.co.uk

'Man drought' - some 100,000 young men have left Australia

Census data reveals that some 100,000 young men have left Australia, leading to a serious "man-drought" in many areas.

news.bbc.co.uk

Zenit overcome Man Utd to claim Super Cup

Pavel Pogrebnyak and Danny score as Zenit St Petersburg beat Man Utd to win the European Super Cup in Monaco.

news.bbc.co.uk

Impulse control

Links between childhood trauma and violence

news.bbc.co.uk

Wasilla to VP?

Even Alaska surprised by choice of Sarah Palin

news.bbc.co.uk

Woman dies in fall from mountain

A woman dies and her husband and daughter are seriously injured in a 200ft fall from a mountain ridge in the Lake District.

news.bbc.co.uk

US surprise and praise for Palin

Democratic rivals say John McCain's running mate Sarah Palin is "admirable" but concerns remain of inexperience.

news.bbc.co.uk

Two bodies found at arson house

Two bodies are recovered from the burnt-out home of a millionaire and his family in Shropshire.

news.bbc.co.uk

Gustav strengthens off west Cuba

Hurricane Gustav has strengthened into a category three storm as it nears western Cuba, US forecasters say.

news.bbc.co.uk

Thai PM Samak refuses to resign

Thailand's Prime Minister Samak Sundaravej says he will not resign, despite mounting anti-government protests.

news.bbc.co.uk