Microsoft、タイプセーフOS「Verve」を鋭意開発中
Microsoft Research is dedicated to conducting both basic and applied research in computer science and software engineering. Microsoft ResearchでOSの研究開発に取り組んでいるChris Hawblitzel氏が、現在取り組んでいるOS「Verve」についてVerve: A Type Safe Operating Systemでインタビューに答える形でアイディアや概要を紹介している。Verveの論文は2010年3月末ごろの作成されたものがSafe to the Last Instruction: Automated Verification of a Type-Safe Operating System (PDF)として公開されている。 「Verve」
Leo's Chronicle: 学生を成功に導くアドバイス - Ullman先生からのアドバイス
博士課程には、二人として同じ学生はいない。そして、教師がすべきことも個々の学生に応じて変わる。自分のキャリアを振り返ってみて、うまくいったいくつかの方法と、よく使われているけれど実際には学生のためにならないやり方というのがよくわかるようになった。まず初めに述べておくと、教師のゴールとはどうやったら学生が自分自身の力で考え、新しいアイデアを組み立て、問題を解ける人になれるかを教えることだ。
P2P研究者にお勧めするRFCとドラフト - Tomo’s HotLine
IT技術を中心に、暮らしに役立つ情報からクラシック音楽の解説まで気軽に情報発信しています。 WEBサイトはhttp://toremoro21.world.coocan.jp/ Twitterは@toremoro21です。 意外に知られていませんが、P2Pに関するRFCやドラフトは複数あります。 ここではP2P研究者にお勧め、いや読むべきRFCとドラフトを紹介します。また最後にIETFの最新動向も。 □RFC4981 "Survey of Research towards Robust Peer-to-Peer Networks: Search Methods" http://tools.ietf.org/html/rfc4981 その名の通り、P2Pに関するまとめRFC。P2P教科書を読んで大体わかったらこれを読むべし。P2Pの分類方法からネットワークの近接性やNAT越えの問題等ほとんどの
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
