並行システムの設計と検証ツアー

2021/05/11(火)20:30 〜 21:30 開催
ブックマーク
設計

イベント内容

並行システムの設計からツールによる検証および結果分析の流れについて例を使って紹介します．

例題は条件件数とミューテックスを使った生産者・消費者問題です．

マルチスレッドプログラミングの例題ですが，考え方は広く応用できると思います．

申し込み締め切り後に Zoom meeting の URL を connpass のメッセージにてお知らせします．

注意事項

※ こちらのイベント情報は、外部サイトから取得した情報を掲載しています。
※ 掲載タイミングや更新頻度によっては、情報提供元ページの内容と差異が発生しますので予めご了承ください。
※ 最新情報の確認や参加申込手続き、イベントに関するお問い合わせ等は情報提供元ページにてお願いします。
情報提供元ページ（connpass）へ

関連するイベント