You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
システム系論文紹介 Advent Calendar 2014の7日目の記事です。 論文概要 タイトル： User-guided device driver synthesis 著者：Leonid Ryzhyk, Adam Walker, John Keys, Alexander Legg, Arun Raghunath, Michael Stumm, Mona Vij 会議：11th USENIX Symposium on Operating Systems Design and Implementation URL： https://www.usenix.org/system/files/conference/osdi14/osdi14-paper-ryzhyk.pdf デバイスドライバをユーザーが指示を出しつつ半自動でデバイスドライバを合成するツールTermiteというものを提案してい
House I've been hacking on House for the last year or so. My primary work is two-fold: to integrate Peng Li's work on Lightweight Concurrency, and to build a priority-based scheduler atop the framework. In order to do that, I also had to update House to run on GHC 6.8.2. Lighthouse is an experimental branch of the Haskell-based House operating system which integrates Li et al.'s Lightweight Concur
Haskell User's Operating System and Environment Note: Kenny Graunke has made available a a newer version of House, ported to GHC 6.8.2 (October 2008) House is a demo of software written in Haskell, running in a standalone environment. It is a system than can serve as a platform for exploring various ideas relating to low-level and system-level programming in a high-level functional language. More
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
