| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| KBSE, SS (共催) IPSJ-SE (連催) [詳細] |
2014-07-10 10:00 |
北海道 | 富良野文化会館 | 値付きタスクオートマトンに基づくコストを意識した実時間タスクスケジューリング ○結縁祥治・亀井達朗（名大）  SS2014-11 KBSE2014-14 |
本研究では、Fersmanらによって提案されたタスク生成とスケジュール可能性を時間オートマトンにもとづいて拡張したタスク... [more] | SS2014-11 KBSE2014-14 pp.37-42 |
| SS | 2014-03-11 10:00 |
沖縄 | てんぷす那覇：第１・２会議室 | 時間制約によるAlloy記述の拡張 ○黒板亮太・結縁祥治（名大） SS2013-72 |
本研究では，時間依存の振舞い表すためにAlloyの記述に実数制約を導入することで拡張したAlloy-Rを提案する．All... [more] | SS2013-72 pp.1-6 |
| MSS, SS (共催) |
2013-03-07 11:20 |
福岡 | 休暇村志賀島 | タスクマイグレーション機能を持つマルチコアスケジューリング解析 ○中堂園貴幸・結縁祥治（名大） MSS2012-77 SS2012-77 |
本研究では実時間システムの並行処理モデルであるタスクオートマトンを拡張し，タスクマイグレーション機能を導入する．タスクマ... [more] | MSS2012-77 SS2012-77 pp.103-108 |
| SS | 2012-03-13 13:05 |
沖縄 | てんぶす那覇 | Alloyを用いたRuby on Railsアプリケーションの開発支援 ○水谷浩明・結縁祥治（名大） SS2011-64 |
本稿では，Ruby on Rails アプリケーションのソースコードをモデル規範形式仕様記述言語 Alloy による記述... [more] | SS2011-64 pp.43-48 |
| SS | 2011-03-08 09:50 |
沖縄 | 沖縄県青年会館 | 否定前件を含む構造操作意味定義に対するプロセス計算コンパイラ ○伴 潤・結縁祥治（名大） SS2010-70 |
構造操作意味定義(Structural Operational Semantics, SOS)は並行プロセス計算の操作的... [more] | SS2010-70 pp.103-108 |
| SS | 2010-03-08 13:40 |
鹿児島 | 鹿児島大学 郡元キャンパス | コレオグラフィに基づく高信頼通信指向GUIプログラミング ○下村 翔・結縁祥治（名大） SS2009-69 |
本稿では、GUI アプリケーションに対して、その振る舞いをユーザ・内部システム・GUI コンポーネントの間の通信系列で特... [more] | SS2009-69 pp.127-132 |
| SS | 2010-03-08 14:10 |
鹿児島 | 鹿児島大学 郡元キャンパス | 計算資源へのアクセス能力に基づく競合検査とデッドロック検査のための型解析 ○坂野吉隆・結縁祥治（名大） SS2009-70 |
本稿では，共有メモリ型の並行プログラミング言語に対して，競合とデッドロックの検査を行うための静的解析を提案する．寺内らに... [more] | SS2009-70 pp.133-138 |
| SS, KBSE (共催) |
2009-05-22 10:30 |
秋田 | 秋田大学 手形キャンパス | Maudeによる否定を含んだ構造操作意味定義インタプリタと等価性検証器の構築 ○伴 潤・今井敬吾・結縁祥治（名大） SS2009-9 KBSE2009-9 |
本稿では，プロセス計算の操作意味を定義するときに一般的に用いら れる構造操作意味定義(SOS)によって定義されるラベル... [more] |
SS2009-9 KBSE2009-9 pp.49-54 |
| SS | 2009-03-02 15:45 |
佐賀 | 佐賀大学本庄キャンパス | Apache Cocoon Flowscriptのモデル検査によるWeb応用プログラムの動作検証 ○馬場 敬・結縁祥治・阿草清滋（名大） SS2008-51 |
[more] | SS2008-51 pp.17-22 |
| SS | 2005-03-15 10:30 |
石川 | 北陸先端大 情報棟5Fコラボ7 | 時間オートマトンによる振舞いモデルに基づく高信頼Real-Time Javaコード生成手法 ○井上公博（名大）・結縁祥治（名大/JST）・阿草清滋（名大） |
[more] | SS2004-66 pp.13-18 |
[研究会発表申込システムのトップページに戻る]