BT

Ready for InfoQ 3.0? Try the new design and let us know what you think!

rss
人のフォロワー

Microsoft,タイプセーフなオペレーティングシステム Verve を発表

作者: James Vastbinder フォローする 0 人のフォロワー , 翻訳者 吉田 英人 フォローする 0 人のフォロワー   投稿日  2010年12月12日 午後7時15分

Microsoft Research は Singularity プロジェクトから派生したオペレーティングシステムである Verve のリリースを発表した。TAL (Typed Assembly Language,型付きアセンブリ言語) と Hoare 論理の採用を前提とすることで,最高レベルのセキュリティと安全性を実現する。

人のフォロワー

Singularity:Microsoftのオープンソースオペレーティングシステム

作者: Jonathan Allen フォローする 656 人のフォロワー , 翻訳者 編集部 フォローする 0 人のフォロワー   投稿日  2008年11月24日 午後6時34分

Singularity Research Development Kitがリリースされた。ソースコードおよびブート可能なCDとして利用可能である。

人のフォロワー

MicrosoftリサーチがSingularity RDKをリリース

作者: Steven Robbins フォローする 0 人のフォロワー , 翻訳者 佐野 徹郎 フォローする 0 人のフォロワー   投稿日  2008年4月21日 午前12時8分

3月4日に、Singularity Research Development Kit(RDK)が、CodePlexのオープンソースプロジェクトとしてリリースされた。RDKはGalen Hunt、Jim Larus等による、MicrosoftリサーチのSingularityプロジェクトを基にしている。プロジェクトのWebサイトによると、Singularity自体は主に「システム、言語、およびツールの領域における革新を通じて信頼できるシステムを構築する」ものだと言う。

BT