BT
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 フォローする 530 人のフォロワー , 翻訳者 編集部 フォローする 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自体は主に「システム、言語、およびツールの領域における革新を通じて信頼できるシステムを構築する」ものだと言う。

InfoQにログインし新機能を利用する


パスワードを忘れた方はこちらへ

Follow

お気に入りのトピックや著者をフォローする

業界やサイト内で一番重要な見出しを閲覧する

Like

より多いシグナル、より少ないノイズ

お気に入りのトピックと著者を選択して自分のフィードを作る

Notifications

最新情報をすぐ手に入れるようにしよう

通知設定をして、お気に入りコンテンツを見逃さないようにしよう!

BT