safety kernel
Posted on April 16, 2008, 2:22 amby admin
best video: safety kernel
monastery, lived in XIII c. Monasteries complex badly saved, only in relative safety we could see cathedral, built by albanian ruler Oganes Khachenskiy. This interesting
More video:
homax s tile grout coating
crystal darkness movie
anchor concrete products
bryson city nc and hospital
wikipedia alberta cities
definition schmuckdesign
beauty the beast theatre calgary
who is a sagittarius most compatible with
haplo i1a as10
potc online forums
what is a polygamist sect
san jose vegetarian restaurant
photos of benedict nd
faux ceiling medallions
mendocino hotels
The old body had come up in Lagos during the 1967 Nigeria civil war to assist the populace on safety guidelines. The former was less visible on the national ...
http://allafrica.com/stories/200804020703.html
Filed under: soap-making, beauty and skin care, Scentual LifeWhen things start to melt, I get really excited. Maybe it is the fact that I can see my lawn again, or just that the air is starting to lose that cold little nip. Even though I can't pin down e
http://www.diylife.com/2008/03/18/the-scentual-life-make-your-own-springtime-body-products/
?? Apr. 01, 2008 ?? The Linux Foundation LF has published a study on Linux mainline kernel development. According to LF, the number of Linux kernel developers has tripled since 2005, with many more companies contributing to the process including, pot
http://www.linuxdevices.com/news/200804020037NS4258684770.html
Linux kernel update is growing fast, perhaps because of the popularity of Linux, we all started to pay attention, all kinds of potential safety problems has been increasing. Intel, Alpha, PPC, Sparc, IA-64, ARM, MIPS, Amiga, Atari and IBM s/390 and so on,
http://www.gadgetop.com/2007/12/05/linux-kernel-v2624-rc4/" rel="dc:source" property="dc:title
It is a commonly held practical view that most safety-critical systems have a safety kernel as expressed by John Rushby that needs to be analyzed and ...
http://linkinghub.elsevier.com/retrieve/pii/S0950584900001671
Golden kernel Honey Roasted Peanuts - Find Golden kernel Honey Roasted Peanuts at OfficeDepot.com
http://rdrw1.yahoo.com/click?u=http://inkt.trafficdashboard.com/track.htm%3Fpid%3D16882402%26kwid%3D36353444%26cid%3D2432&y=04D2969BA04C9953D1&i=482&c=43759&q=02%5ESSHPM%5BL7lyzkf%3Ftzmqzs6&e=utf-8&r=2&d=wowWBSV-en-us&n=LOBKK1NMFBV4FBH9&s=6&t=&m=47FE878
Kernel editorial: To improve safety, additional bike routes need to be built,
http://www.kykernel.com/news/2007/09/10/Opinions/Kernel.Editorial.To.Improve.Safety.Additional.Bike.Routes.Need.To.Be.Built-2957324.shtml
Kernel version 2.6.23 is composed of 161k functions. RSM, which was nearly instantaneous in most of the other experiments, needed 3 hours to digest the over ...
http://www.eetasia.com/SITE/2008APR_BRK_WK2.HTM
Barco??s arrival management software selected for the world??s busiest international airport Press release Barco ATC Global, Amsterdam, the Netherlands, 11 March 2008 ?? Barco, a leader in display and visualization solutions for selected professiona
http://www.luchtzak.be/forums/viewtopic.php?f=31&t=45484&sid=3003fafde49d2f9dff26ab50a2ea3666
?? Apr. 03, 2008 ?? Updated: Apr. 4 -- A Minsk, Belarus-based provider of Linux-based product development services has announced two logic controller design wins.
http://www.linuxdevices.com/news/200804031134NS9265074155.html
File Format: PDF/Adobe Acrobat - View as HTMLThe safety kernel, executed in dual Logix processors, is. based on standard Bulletin 6556 clutch/brake or ram control. software, designed by Rockwell ...
http://literature.rockwellautomation.com/idc/groups/literature/documents/ca/6556-ca500_-en-p.pdf
Safety Checking of kernel Extensions ... Introduction safety Checking of kernel Extensions. Craig Metz Department of Computer Science
http://www.usenix.org/publications/library/proceedings/usenix2000/freenix/full_papers/metzsafety/metzsafety_html/usenixtech2000-bytecode.html
A safety kernel Architecture 1994 Make Corrections 1 citation Kevin G. Wika John C. Knight Department of Computer Science University of...
http://citeseer.ist.psu.edu/wilka94safety.html
The USDA recommends choosing vegetable oils except coconut and palm kernel oils and soft margarines liquid, tub, or spray when possible because the ...
http://www.chron.com/disp/story.mpl/headline/features/5660223.html
A while ago I started development of special branch of PulseAudio which is called glitch-free. In a few days I will merge it back to PulseAudio trunk, and eventually release it as 0.9.11. I think it's time to explain a little what all this "glitch-f
http://0pointer.de/blog/projects/pulse-glitch-free.html
New Delhi, April 10 : It's a wonder nut all right. You put it in your hair, drink its water, grate and squeeze it for milk, and use it as fibre. And India can do even more with the coconut, say experts.
http://www.newkerala.com/one.php?action=fullnews&id=46435
A safety kernel Architecture. Source. Technical Report: CS-94-04. Year of Publication: 1994. Authors. Kevin G. Wika · John C. Knight. Publisher ...
http://portal.acm.org/citation.cfm?coll=GUIDE&dl=GUIDE&id=900918
Computing systems in which the consequences of failure are very serious are termed safety critical. Many such systems exist in application areas such as aerospace, defense ...
http://citeseer.ist.psu.edu/wika95safety.html
Kernel Editorial: New researcher brings hope to women's safety,
http://www.kykernel.com/news/2007/09/11/Opinions/Kernel.Editorial.New.Researcher.Brings.Hope.To.Womens.Safety-2960630.shtml
State grain reserves authorities offered 325934 tonnes at the weekly corn auction, but not a single kernel was sold due to slim demand in southern China&39s ...
http://www.resourceinvestor.com/pebble.asp?relid=41603
As seen in two recent books by counterterrorism analysts, the ideology of Non-Interventionism is gaining popularity with a segment of the American public. While Non-Interventionist ideology plays off the frustrations of some of the American public with A
http://counterterrorismblog.org/2008/03/non-interventionism.php
?? Apr. 03, 2008 ?? Via's Pico-ITX motherboard form factor may be bound for glory.
http://www.linuxdevices.com/news/200804031315NS5036131897.html
applicable to safety critical systems. kernel based ar-. chitectures are characterized by a set of ... actly the safety kernel concept. The system is organ- ...
http://doi.ieeecomputersociety.org/10.1109/HASE.1997.648058
Ok, stupid question of the moment- I always read about the kernel compilation benchmarks people run on the ultra-snazzy new machines, but do people actually run the kernels thus
http://www.uwsg.indiana.edu/hypermail/linux/kernel/0205.2/1274.html
All 0.2: safety kernel Enforcement of Software safety Policies - Wika 1995 Correct 0.2: A safety kernel Architecture - Kevin Wika John ...
http://citeseer.ist.psu.edu/ammann94safety.html
Last September, the FDA received a citizens&39 petition to revisit diacetyl&39s safety status. An FDA spokesperson says the FDA isn&39t aware of any evidence that ...
http://www.webmd.com/news/20080313/kernel-of-truth-about-butter-flavoring
I??ve had my MacBook Air for 15 days now. It has been serving as my primary computer and I have used it to do everything I usually do with my MacBook Pro. I??ll cover how it has stacked up to the MBP in this review in addition to how the MacBook Air??
http://paulstamatiou.com/2008/03/20/review-macbook-air
It's a wonder nut all right. You put it in your hair, drink its water, grate and squeeze it for milk, and use it as fibre. And India can do even more with the coconut, say experts.
http://www.calcuttanews.net/story/346970
- Translate this page OS Kernel, Security kernel ??????? ???????? ??????????? ????? ????? 1983? Nancy G. Leveson?? ????? ???????????? safety kernel ???????? ?????? ???????? ??????????. ...
http://salmosa.kaist.ac.kr/LAB/RESEARCH/SEMINAR/95group/GROUPA/1995-10-9.html
The only major issue I&aposve seen is the build may fail if you run out of file handles, or other resources. The build will fail with an "unable to fork" error.
http://www.uwsg.indiana.edu/hypermail/linux/kernel/0205.2/1327.html
PATCH 03/09 atomic.h : i386 type safety fix Linux Kernel...
http://www.gossamer-threads.com/lists/linux/kernel/722929
As a professional kernel developer, I realize that locking cores into specific tasks is a lot easier than writing a general purpose scheduler that performs ...
http://developers.slashdot.org/article.pl?sid=08/04/03/198201
UltraDefrag is a open source defragmentation utility for windows. It works faster than the native Windows defragmenter tool. Ultradefrag comes with three interfaces, graphical, console and native. Features Very fast defragmentation, the work is done v
http://www.teknobites.com/2008/03/10/ultradefrag-defragmentation-utility-for-windows/
"Twilight" author Stephenie Meyer says she wants Matt Damon for a "Host" movie and addresses the controversy over her upcoming cameo.
http://www.mtv.com/movies/news/articles/1585112/20080409/story.jhtml?rsspartner=rssYahooNewscrawler
File Format: PDF/Adobe Acrobat - View as HTMLIn a Safety-Critical System, the safety kernel represents those parts of the. system that are considered to provide a Safety-Critical function. Fault ...
http://local.cis.strath.ac.uk/teaching/ug/classes/52.422andrew/design_safety.pdf
A safety kernel For Traffic Light Control Abstract . The success of kernels for enforcing security has led to proposals to use kernels for enforcing safety.
http://www.cs.gmu.edu/pammann/papers/Ammann95.html
Free Online Library: Aonix Announces Upcoming Safety-Compliant kernel at ESC, Boston. by "Business Wire"
http://www.thefreelibrary.com/Aonix+Announces+Upcoming+Safety-Compliant+Kernel+at+ESC%2C+Boston.-a0107753516
The best political slogans contain a kernel of truth. Time for a Change, in 1997, was assuredly true, and Labour Isn&39t Working, in 1979, was certainly to ...
http://www.telegraph.co.uk/opinion/main.jhtml?xml=/opinion/2008/03/14/dl1403.xml
Things have gone a bit crazy lately, we??ve been under a huge workload and the time left for blogging was virtually non existent?? but the good thing is that I??ve been working on a few interesting cases I hope I'll have time to blog about, and this i
http://blogs.msdn.com/carloc/archive/2008/03/30/web-garden-appdomain-statics-when-sql-server-is-not-enough-to-save-your-session.aspx
?? Apr. 03, 2008 ?? IBM DeveloperWorks has published the second in a two-part series on the Eclipse Plugin Development Environment PDE. Chris Aniszczyk's "Plug-in Development 101, Part 2" provides tips and techniques on building rich-client applicatio
http://www.linuxdevices.com/news/200804031058NS2884928897.html
In this paper we discuss some of the challenges and approaches for providing safety assurance for modern weapon systems via software-based safety kernels.
http://stinet.dtic.mil/oai/oai?verb=getRecord&metadataPrefix=html&identifier=ADP022173
This work was supported by the United States Nuclear Regulatory Commission under a Memorandum of Understanding with the United States Department of Energy, and performed under the ...
http://cs.unomaha.edu/stanw/papers/csci8920/preck94.pdf
EE Times: Press Releases Aonix Announces Upcoming Safety-Compliant kernel at ESC, Boston ... SmartKernel will provide safety and security ...
http://www.eetimes.com/showPressRelease.jhtml?articleID=99302
monastery, lived in XIII c. Monasteries complex badly saved, only in relative safety we could see cathedral, built by albanian ruler Oganes Khachenskiy. This interesting
More video:
 |  |  |
 |  |
homax s tile grout coating
crystal darkness movie
anchor concrete products
bryson city nc and hospital
wikipedia alberta cities
definition schmuckdesign
beauty the beast theatre calgary
who is a sagittarius most compatible with
haplo i1a as10
potc online forums
what is a polygamist sect
san jose vegetarian restaurant
photos of benedict nd
faux ceiling medallions
mendocino hotels
Nigeria: NSCDC - Can the New Broom Sweep Clean? - AllAfrica.com
The old body had come up in Lagos during the 1967 Nigeria civil war to assist the populace on safety guidelines. The former was less visible on the national ...
http://allafrica.com/stories/200804020703.html
The Scentual Life: Make your own springtime body products
Filed under: soap-making, beauty and skin care, Scentual LifeWhen things start to melt, I get really excited. Maybe it is the fact that I can see my lawn again, or just that the air is starting to lose that cold little nip. Even though I can't pin down e
http://www.diylife.com/2008/03/18/the-scentual-life-make-your-own-springtime-body-products/
Linux kernel developers have tripled in number Linux Devices
?? Apr. 01, 2008 ?? The Linux Foundation LF has published a study on Linux mainline kernel development. According to LF, the number of Linux kernel developers has tripled since 2005, with many more companies contributing to the process including, pot
http://www.linuxdevices.com/news/200804020037NS4258684770.html
Linux Kernel v2.6.24 RC4
Linux kernel update is growing fast, perhaps because of the popularity of Linux, we all started to pay attention, all kinds of potential safety problems has been increasing. Intel, Alpha, PPC, Sparc, IA-64, ARM, MIPS, Amiga, Atari and IBM s/390 and so on,
http://www.gadgetop.com/2007/12/05/linux-kernel-v2624-rc4/" rel="dc:source" property="dc:title
Information and Software Technology : Safety checking in an ...
It is a commonly held practical view that most safety-critical systems have a safety kernel as expressed by John Rushby that needs to be analyzed and ...
http://linkinghub.elsevier.com/retrieve/pii/S0950584900001671
Golden Kernel Honey Roasted Peanuts OfficeDepot.com
Golden kernel Honey Roasted Peanuts - Find Golden kernel Honey Roasted Peanuts at OfficeDepot.com
http://rdrw1.yahoo.com/click?u=http://inkt.trafficdashboard.com/track.htm%3Fpid%3D16882402%26kwid%3D36353444%26cid%3D2432&y=04D2969BA04C9953D1&i=482&c=43759&q=02%5ESSHPM%5BL7lyzkf%3Ftzmqzs6&e=utf-8&r=2&d=wowWBSV-en-us&n=LOBKK1NMFBV4FBH9&s=6&t=&m=47FE878
Kernel editorial: To improve safety, additional bike routes need to ...
Kernel editorial: To improve safety, additional bike routes need to be built,
http://www.kykernel.com/news/2007/09/10/Opinions/Kernel.Editorial.To.Improve.Safety.Additional.Bike.Routes.Need.To.Be.Built-2957324.shtml
Taming software complexity - Eetasia.com subscription
Kernel version 2.6.23 is composed of 161k functions. RSM, which was nearly instantaneous in most of the other experiments, needed 3 hours to digest the over ...
http://www.eetasia.com/SITE/2008APR_BRK_WK2.HTM
NATS selects Barco's OSYRIS for London??s airports
Barco??s arrival management software selected for the world??s busiest international airport Press release Barco ATC Global, Amsterdam, the Netherlands, 11 March 2008 ?? Barco, a leader in display and visualization solutions for selected professiona
http://www.luchtzak.be/forums/viewtopic.php?f=31&t=45484&sid=3003fafde49d2f9dff26ab50a2ea3666
Belarus firm ships two Linux-based controllers Linux Devices
?? Apr. 03, 2008 ?? Updated: Apr. 4 -- A Minsk, Belarus-based provider of Linux-based product development services has announced two logic controller design wins.
http://www.linuxdevices.com/news/200804031134NS9265074155.html
Applied Safety Solutions
File Format: PDF/Adobe Acrobat - View as HTMLThe safety kernel, executed in dual Logix processors, is. based on standard Bulletin 6556 clutch/brake or ram control. software, designed by Rockwell ...
http://literature.rockwellautomation.com/idc/groups/literature/documents/ca/6556-ca500_-en-p.pdf
Safety Checking of Kernel Extensions
Safety Checking of kernel Extensions ... Introduction safety Checking of kernel Extensions. Craig Metz Department of Computer Science
http://www.usenix.org/publications/library/proceedings/usenix2000/freenix/full_papers/metzsafety/metzsafety_html/usenixtech2000-bytecode.html
A Safety Kernel Architecture - Wilka, Knight ResearchIndex
A safety kernel Architecture 1994 Make Corrections 1 citation Kevin G. Wika John C. Knight Department of Computer Science University of...
http://citeseer.ist.psu.edu/wilka94safety.html
Surviving obesity&39s &39perfect storm&39 - Houston Chronicle
The USDA recommends choosing vegetable oils except coconut and palm kernel oils and soft margarines liquid, tub, or spray when possible because the ...
http://www.chron.com/disp/story.mpl/headline/features/5660223.html
What's Cooking in PulseAudio's glitch-free Branch
A while ago I started development of special branch of PulseAudio which is called glitch-free. In a few days I will merge it back to PulseAudio trunk, and eventually release it as 0.9.11. I think it's time to explain a little what all this "glitch-f
http://0pointer.de/blog/projects/pulse-glitch-free.html
There's a lot India can do with the wonder nut New Kerala
New Delhi, April 10 : It's a wonder nut all right. You put it in your hair, drink its water, grate and squeeze it for milk, and use it as fibre. And India can do even more with the coconut, say experts.
http://www.newkerala.com/one.php?action=fullnews&id=46435
A Safety Kernel Architecture
A safety kernel Architecture. Source. Technical Report: CS-94-04. Year of Publication: 1994. Authors. Kevin G. Wika · John C. Knight. Publisher ...
http://portal.acm.org/citation.cfm?coll=GUIDE&dl=GUIDE&id=900918
Safety Kernel Enforcement of Software Safety Policies - Wika ...
Computing systems in which the consequences of failure are very serious are termed safety critical. Many such systems exist in application areas such as aerospace, defense ...
http://citeseer.ist.psu.edu/wika95safety.html
Kernel Editorial: New researcher brings hope to women's safety - ...
Kernel Editorial: New researcher brings hope to women's safety,
http://www.kykernel.com/news/2007/09/11/Opinions/Kernel.Editorial.New.Researcher.Brings.Hope.To.Womens.Safety-2960630.shtml
Corn Processing Industry in China Won&39t Affect Food Supply Safety - Resource Investor
State grain reserves authorities offered 325934 tonnes at the weekly corn auction, but not a single kernel was sold due to slim demand in southern China&39s ...
http://www.resourceinvestor.com/pebble.asp?relid=41603
Jihad, Islamism, and Non-Interventionism
As seen in two recent books by counterterrorism analysts, the ideology of Non-Interventionism is gaining popularity with a segment of the American public. While Non-Interventionist ideology plays off the frustrations of some of the American public with A
http://counterterrorismblog.org/2008/03/non-interventionism.php
Pico-ITX to "go stackable" Linux Devices
?? Apr. 03, 2008 ?? Via's Pico-ITX motherboard form factor may be bound for glory.
http://www.linuxdevices.com/news/200804031315NS5036131897.html
Deriving safety properties of critical software from the system ...
applicable to safety critical systems. kernel based ar-. chitectures are characterized by a set of ... actly the safety kernel concept. The system is organ- ...
http://doi.ieeecomputersociety.org/10.1109/HASE.1997.648058
Linux-Kernel Archive: Safety of -j N when building kernels?
Ok, stupid question of the moment- I always read about the kernel compilation benchmarks people run on the ultra-snazzy new machines, but do people actually run the kernels thus
http://www.uwsg.indiana.edu/hypermail/linux/kernel/0205.2/1274.html
A Safety Kernel for Traffic Light Control ResearchIndex
All 0.2: safety kernel Enforcement of Software safety Policies - Wika 1995 Correct 0.2: A safety kernel Architecture - Kevin Wika John ...
http://citeseer.ist.psu.edu/ammann94safety.html
Kernel of Truth About Butter Flavoring - WebMD
Last September, the FDA received a citizens&39 petition to revisit diacetyl&39s safety status. An FDA spokesperson says the FDA isn&39t aware of any evidence that ...
http://www.webmd.com/news/20080313/kernel-of-truth-about-butter-flavoring
Review: MacBook Air
I??ve had my MacBook Air for 15 days now. It has been serving as my primary computer and I have used it to do everything I usually do with my MacBook Pro. I??ll cover how it has stacked up to the MBP in this review in addition to how the MacBook Air??
http://paulstamatiou.com/2008/03/20/review-macbook-air
There's a lot India can do with the wonder nut Calcutta News
It's a wonder nut all right. You put it in your hair, drink its water, grate and squeeze it for milk, and use it as fibre. And India can do even more with the coconut, say experts.
http://www.calcuttanews.net/story/346970
Safety Kernel
- Translate this page OS Kernel, Security kernel ??????? ???????? ??????????? ????? ????? 1983? Nancy G. Leveson?? ????? ???????????? safety kernel ???????? ?????? ???????? ??????????. ...
http://salmosa.kaist.ac.kr/LAB/RESEARCH/SEMINAR/95group/GROUPA/1995-10-9.html
Linux-Kernel Archive: Re: Safety of -j N when building kernels?
The only major issue I&aposve seen is the build may fail if you run out of file handles, or other resources. The build will fail with an "unable to fork" error.
http://www.uwsg.indiana.edu/hypermail/linux/kernel/0205.2/1327.html
PATCH 03/09 atomic.h : i386 type safety fix Linux Kernel
PATCH 03/09 atomic.h : i386 type safety fix Linux Kernel...
http://www.gossamer-threads.com/lists/linux/kernel/722929
Inside Intel&39s 20M Multicore Research Program - Slashdot
As a professional kernel developer, I realize that locking cores into specific tasks is a lot easier than writing a general purpose scheduler that performs ...
http://developers.slashdot.org/article.pl?sid=08/04/03/198201
UltraDefrag, Defragmentation Utility for Windows
UltraDefrag is a open source defragmentation utility for windows. It works faster than the native Windows defragmenter tool. Ultradefrag comes with three interfaces, graphical, console and native. Features Very fast defragmentation, the work is done v
http://www.teknobites.com/2008/03/10/ultradefrag-defragmentation-utility-for-windows/
'Twilight' Writer Stephenie Meyer Wants Matt Damon For 'Host' Movie, Discusses Her Rabid Fanbase MTV Music Television
"Twilight" author Stephenie Meyer says she wants Matt Damon for a "Host" movie and addresses the controversy over her upcoming cameo.
http://www.mtv.com/movies/news/articles/1585112/20080409/story.jhtml?rsspartner=rssYahooNewscrawler
Software for Safety-Critical Systems Design
File Format: PDF/Adobe Acrobat - View as HTMLIn a Safety-Critical System, the safety kernel represents those parts of the. system that are considered to provide a Safety-Critical function. Fault ...
http://local.cis.strath.ac.uk/teaching/ug/classes/52.422andrew/design_safety.pdf
A Safety Kernel For Traffic Light Control
A safety kernel For Traffic Light Control Abstract . The success of kernels for enforcing security has led to proposals to use kernels for enforcing safety.
http://www.cs.gmu.edu/pammann/papers/Ammann95.html
Aonix Announces Upcoming Safety-Compliant Kernel at ESC, Boston. - ...
Free Online Library: Aonix Announces Upcoming Safety-Compliant kernel at ESC, Boston. by "Business Wire"
http://www.thefreelibrary.com/Aonix+Announces+Upcoming+Safety-Compliant+Kernel+at+ESC%2C+Boston.-a0107753516
All change for David Cameron - Telegraph.co.uk
The best political slogans contain a kernel of truth. Time for a Change, in 1997, was assuredly true, and Labour Isn&39t Working, in 1979, was certainly to ...
http://www.telegraph.co.uk/opinion/main.jhtml?xml=/opinion/2008/03/14/dl1403.xml
Web Garden, AppDomain, statics?? when Sql Server is not enough to save your session
Things have gone a bit crazy lately, we??ve been under a huge workload and the time left for blogging was virtually non existent?? but the good thing is that I??ve been working on a few interesting cases I hope I'll have time to blog about, and this i
http://blogs.msdn.com/carloc/archive/2008/03/30/web-garden-appdomain-statics-when-sql-server-is-not-enough-to-save-your-session.aspx
Tutorial explains Eclipse "rich-client" plugins Linux Devices
?? Apr. 03, 2008 ?? IBM DeveloperWorks has published the second in a two-part series on the Eclipse Plugin Development Environment PDE. Chris Aniszczyk's "Plug-in Development 101, Part 2" provides tips and techniques on building rich-client applicatio
http://www.linuxdevices.com/news/200804031058NS2884928897.html
On the Provision of Safety Assurance via Safety Kernels for Modern ...
In this paper we discuss some of the challenges and approaches for providing safety assurance for modern weapon systems via software-based safety kernels.
http://stinet.dtic.mil/oai/oai?verb=getRecord&metadataPrefix=html&identifier=ADP022173
A Kernel Approach to Safety Systems
This work was supported by the United States Nuclear Regulatory Commission under a Memorandum of Understanding with the United States Department of Energy, and performed under the ...
http://cs.unomaha.edu/stanw/papers/csci8920/preck94.pdf
EETimes.com - Press Release - Aonix Announces Upcoming ...
EE Times: Press Releases Aonix Announces Upcoming Safety-Compliant kernel at ESC, Boston ... SmartKernel will provide safety and security ...
http://www.eetimes.com/showPressRelease.jhtml?articleID=99302