Pforzheimer Linux User Group
Electric Fence - efence Deutsch: Electric Fence (kurz efence) ist eine Open-Source Bibliothek von Bruce Perens um Speicherüberschreitungen in C Programmen aufzudecken. Diese Bibliothek steht hier nicht mehr zur Verfügung. Die Weiterentwicklungen an der Electric Fence Bibliothek stehen seit dem 9. September 2005 unter dem Namen DUMA auf http://duma.sourceforge.net zur Verfügung. Die aktuellen Que
Linux Trace Toolkit
Latest News LTTng and LTTV: LTTng, the current "next generation" work on LTT, is maintained by EfficiOS Inc., with many contributions from the DORSAL lab at École Polytechnique de Montréal and others. If you would like more information about this work and recent releases, please visit the link below. LTTng work by EfficiOS: lttng.org
Valgrind Home
Information About News Tool Suite Supported Platforms The Developers Source Code Current Releases Release Archive Variants / Patches Code Repository Valkyrie / GUIs Documentation Table of Contents Quick Start FAQ User Manual Download Manual Research Papers Books Contact Mailing Lists and IRC Bug Reports Feature Requests Contact Summary Commercial Support How to Help Contributing Project Suggestion
ACL2 Version 2.9 ACL2 is both a programming language in which you can model systems and a tool to help you prove properties of those models. lisp
Welcome to the ACL2 home page! We highlight a few aspects of ACL2: Libraries (Books). Libraries of books (files containing definitions and theorems) extend the code that we have written. In particular, the distribution tarball includes the community books, which are contributed and maintained by the members of the ACL2 community. Documentation. There is an extensive user's manual for the ACL2 syst
all
The Design and Implementation of Zap: A System for Migrating Computing Environments (Survey) Steven Osman, Dinesh Subharaveti, Gong Su and Jason Nieh. to be appeared in OSDI 2002, Dec 2002. 2002/11/18 <Kinuko YASUDA> slides Abstract 一般OS上においてアプリケーションの透過的なマイグレーション(移転)機能を 提供する新しい機構Zapを開発した。 OS上に薄いVirtualization Layer を導入。このLayerは： podと呼ばれるプロセスグループを実現 podに仮想化された一貫性のあるシステムビューを提供 pod中のプロセスのホストOSへ
感想: イベントVs.スレッドをhigh-conccurencyサーバを対象に して真面目に考え直してみた論文。
Rob von Behren, Jeremy Condit and Eric Brewer (UCB) Why Events Are A Bad Idea (for high-concurrency servers) Proceedings of HotOS 03, May 2003. 感想: イベントVs.スレッドをhigh-conccurencyサーバを対象に して真面目に考え直してみた論文。 Abstract イベントモデルは high-concurrency システムでは良いとされて きたが、それは間違いだ! (筆者らの信じるところによれば) イベントの良い点(高い並列性、低いオーバヘッド、シンプルな 並列モデル)などはスレッドでも達成できる。さらに、スレッドの 方がよりシンプルで自然なモデルでプログラムを書ける。 スレッドの弱さは本質的なものではなくスレッドパッケージの実装
DSS Distributed Systems Software Inc. - DACS
DACS is a light-weight single sign-on and rule-based access control system for web servers and server-based software. DACS makes secure resource sharing and remote access via the web easier, safer, and more efficient. DACS is particularly well suited to providing single sign-on across organizational or departmental web servers, and to limiting access to their web-based resources. DACS is also an a
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
UP4ALL Inc - uppaal.com
http://www.spa.is.uec.ac.jp/~kinuko/survey/body/ssm.html
http://www.spa.is.uec.ac.jp/~kinuko/survey/body/sosp99-safe-extension.html
http://www.superscript.com/ucspi-ipc/intro.html
Welcome to Freecode – Freecode
Welcome to Freecode – Freecode
http://www.ominet.com/opensource/security/paranix/
http://www.cs.berkeley.edu/Research/Aiken/bane.html
Umbrella Security Project