|
2024 11月 (4) 10月 (10) 9月 (7) 8月 (3) 7月 (4) 6月 (6) 5月 (5) 4月 (4) 3月 (4) 2月 (9) 1月 (5) |
2023 12月 (6) 11月 (5) 10月 (5) 9月 (6) 8月 (5) 7月 (5) 6月 (8) 5月 (6) 4月 (4) 3月 (6) 2月 (6) 1月 (2) |
|
2022 12月 (5) 11月 (5) 10月 (4) 9月 (5) 8月 (5) 7月 (6) 6月 (5) 5月 (4) 4月 (2) 3月 (6) 2月 (4) 1月 (6) |
2021 12月 (5) 11月 (5) 10月 (6) 9月 (3) 8月 (3) 7月 (6) 6月 (4) 5月 (3) 4月 (3) 3月 (2) 2月 (4) 1月 (5) |
|
2020 12月 (12) 11月 (9) 10月 (10) 9月 (8) 8月 (8) 7月 (5) 6月 (8) 5月 (6) 4月 (3) 3月 (2) 2月 (2) 1月 (2) |
2019 12月 (11) 11月 (10) 10月 (7) 9月 (12) 8月 (5) 7月 (8) 6月 (10) 5月 (11) 4月 (7) 3月 (9) 2月 (8) 1月 (7) |
|
2018 12月 (9) 11月 (4) 10月 (8) 9月 (4) 8月 (2) 7月 (4) 6月 (2) 5月 (4) 4月 (7) 3月 (8) 2月 (6) 1月 (5) |
2017 12月 (5) 11月 (3) 10月 (7) 9月 (10) 8月 (3) 7月 (2) 6月 (3) 5月 (5) 4月 (1) 3月 (11) 2月 (9) 1月 (2) |
|
2016 12月 (1) 10月 (1) 8月 (3) 6月 (1) 5月 (1) 4月 (3) 3月 (2) 2月 (7) 1月 (8) |
2015 12月 (3) 11月 (5) 10月 (5) 9月 (1) 8月 (2) 7月 (3) 6月 (4) 5月 (3) 4月 (1) 3月 (1) 2月 (2) 1月 (4) |
|
2014 12月 (2) 11月 (5) 10月 (2) 9月 (2) 8月 (1) 7月 (3) 6月 (2) 5月 (2) 4月 (4) 3月 (3) 2月 (5) 1月 (4) |
2013 12月 (5) 11月 (10) 10月 (2) 9月 (2) 8月 (5) 7月 (5) 6月 (4) 5月 (10) 4月 (6) 3月 (8) 2月 (1) 1月 (10) |
|
2012 12月 (6) 11月 (6) 10月 (2) 9月 (3) 8月 (6) 7月 (9) 6月 (5) 5月 (4) 4月 (6) 3月 (5) 2月 (6) 1月 (3) |
2011 12月 (6) 11月 (2) 10月 (3) 9月 (7) 8月 (2) 7月 (2) 6月 (1) 5月 (7) 4月 (4) 3月 (10) 2月 (11) 1月 (12) |
|
2010 12月 (8) 11月 (2) 10月 (6) 9月 (7) 8月 (7) 7月 (9) 6月 (6) 5月 (7) 4月 (8) 3月 (12) 2月 (9) 1月 (16) |
2009 12月 (23) 11月 (14) 10月 (16) 9月 (17) 8月 (22) 7月 (12) 6月 (10) 5月 (24) 4月 (25) 3月 (21) 2月 (14) 1月 (4) |
|
2008 12月 (3) 11月 (1) 10月 (2) 9月 (4) 8月 (2) 7月 (1) 6月 (1) 5月 (2) 4月 (1) 3月 (4) 2月 (2) 1月 (1) |
2007 11月 (2) 10月 (1) 8月 (1) 7月 (4) 3月 (1) 2月 (4) |
|
2006 12月 (2) 11月 (3) 10月 (2) 8月 (1) 7月 (4) 6月 (3) |
legOS のスケジューラは固定優先度方式で優先度の高いタスクから処理するため、優先度の低いタスクにプロセッサが割り当てられない飢餓状態が発生する可能性がある。このことをUPPAALで確認して、解決策として長く実行されないタスクの優先度を徐々に高くするスケジューラを実装しましたという論文。
author="Lone Halkjaer and Karen Haervi and Anna Ingolfsdottir",
title="{Verification of the legOS Scheduler using Uppaal}",
journal="ENTCS",
volume="39",
number="3",
pages="273--292",
year="2000"