1. Kyoto University Research Information Repository
  2. 400　数理解析研究所
  3. 1.講究録
  4. 0655 ソフトウェア科学・工学における数理的方法
ダウンロード数: 150

    このアイテムの引用には次の識別子を使用してください: http://hdl.handle.net/2433/100516
このアイテムのファイル:
ファイル 記述 サイズフォーマット 
0655-02.pdf2.15 MBAdobe PDF見る/開く
完全メタデータレコード
DCフィールド値言語
dc.contributor.authorCHENG, Jingdeen
dc.contributor.authorSHIRAKIHARA, Toshioen
dc.contributor.authorARAKI, Keijiroen
dc.contributor.authorUshijima, Kazuoen
dc.contributor.alternative程, 京徳ja
dc.contributor.alternative白木原, 敏雄ja
dc.contributor.alternative荒木, 啓二郎ja
dc.contributor.alternative牛島, 和夫ja
dc.contributor.transcriptionシラキハラ, トシオja
dc.contributor.transcriptionアラキ, ケイジロウja
dc.contributor.transcriptionウシジマ, カズオja
dc.date.accessioned2010-03-04T01:30:14Z-
dc.date.available2010-03-04T01:30:14Z-
dc.date.issued1988-04-
dc.identifier.issn1880-2818-
dc.identifier.urihttp://hdl.handle.net/2433/100516-
dc.format.mimetypeapplication/pdf-
dc.language.isoeng-
dc.publisher京都大学数理解析研究所ja
dc.subjectConcurrent programmingen
dc.subjectAda taskingen
dc.subjectExecution monitoringen
dc.subjectMonitoring domainen
dc.subjectMonitor transparencyen
dc.subjectCommunication deadlock detectionen
dc.subjectAda programming support environmenten
dc.subject.ndc410-
dc.titleEDEN - An Event-Driven Execution Monitor for Ada Tasking Programs : Implementation and Applicationen
dc.typedepartmental bulletin paper-
dc.type.niitypeDepartmental Bulletin Paper-
dc.identifier.ncidAN00061013-
dc.identifier.jtitle数理解析研究所講究録ja
dc.identifier.volume655-
dc.identifier.spage20-
dc.identifier.epage39-
dc.textversionpublisher-
dc.sortkey02-
dc.addressDepartment of Computer Science and Communication Engineering, Kyushu Universityen
dc.addressDepartment of Computer Science and Communication Engineering, Kyushu Universityen
dc.addressDepartment of Computer Science and Communication Engineering, Kyushu Universityen
dc.addressDepartment of Computer Science and Communication Engineering, Kyushu Universityen
dcterms.accessRightsopen access-
出現コレクション:0655 ソフトウェア科学・工学における数理的方法

アイテムの簡略レコードを表示する

Export to RefWorks


出力フォーマット 


このリポジトリに保管されているアイテムはすべて著作権により保護されています。