L4マイクロカーネルファミリーストスイッチのコストが1/30となることを実証した。 UNSWグループは後に拠点をNICTA（英語版）（オーストラリアの公的情報通信分野研究機関）に移しL4Ka::Pistachioから分岐した新しいL4、NICTA::L4-embeddedを開発した。これは名前が示すように商用の組み込みシステム
Darwin (オペレーティングシステム)(2009年11月13日). 2010年6月13日閲覧。 ^ “http://www.ertos.nicta.com.au/software/darbat/home.pml | ERTOS | NICTA”. Ertos.nicta.com.au (2007年5月9日). 2010年7月12日閲覧。 ^ yuriwho
線型代数学ライブラリの比較prototyping and computationally intensive experiments (p. 84). Technical report, NICTA. ^ Eddelbuettel, D., & Sanderson, C. (2014). RcppArmadillo: Accelerating
Armadillo (線形代数ライブラリ)prototyping and computationally intensive experiments (p. 84). Technical report, NICTA. Eddelbuettel, D., & Sanderson, C. (2014). RcppArmadillo: Accelerating R
数値解析ソフトの比較prototyping and computationally intensive experiments (p. 84). Technical report, NICTA. ^ Eddelbuettel, D., & Sanderson, C. (2014). RcppArmadillo: Accelerating