Communication-Communication Systems(Date:2010/01/14)

Presentation
表紙

,  

[Date]2010/1/14
[Paper #]
目次

,  

[Date]2010/1/14
[Paper #]
Note

,  

[Date]2010/1/14
[Paper #]
A Comparative Study on Modeling for Verification : Cases from Embedded Systems Design

Shin NAKAJIMA,  Hirokazu YATSU,  Akira NONAKA,  Shin SAHARA,  

[Date]2010/1/14
[Paper #]CST2009-37
Green Multicore-SoC Software-Execution Framework with Timely-Power-Gating Scheme

Masafumi ONOUCHI,  Keisuke TOYAMA,  Toru NOJIRI,  Makoto SATO,  Masayoshi MASE,  Jun SHIRAKO,  Mikiko SATO,  Masashi TAKADA,  Masayuki ITO,  Hiroyuki MIZUNO,  Mitaro NAMIKI,  Keiji KIMURA,  Hironori KASAHARA,  

[Date]2010/1/14
[Paper #]CST2009-38
A Requirements Analysis Method for Automotive Embedded Control Systems

Mitsuhiro ARAKI,  Satoru TANAKA,  

[Date]2010/1/14
[Paper #]CST2009-39
Refinement and Verification of Sequence Diagrams Using the Process Algebra CSP

Tomohiro KAIZU,  Yoshinao ISOBE,  Masato SUZUKI,  

[Date]2010/1/14
[Paper #]CST2009-40
Energy-aware core allocation for many-core processor based on the market-oriented programming

Takuto MIYAGI,  Tatsushi YAMASAKI,  

[Date]2010/1/14
[Paper #]CST2009-41
Approximate Solution Based on the Dynamic Programming for Optimal Configuration Problem of the Multiversion Tasks

Sayuri TERADA,  Toshimitsu USHIO,  

[Date]2010/1/14
[Paper #]CST2009-42
Development of Virtual Execution Environment for Large Distributed Embedded Systems : Working-Progress Report

Yukikazu NAKAMOTO,  Kenji YABUUCHI,  Tatsunori OSAKI,  Teruya HARA,  Takanari KISHIDA,  Issei ABE,  Akira KITAMURA,  

[Date]2010/1/14
[Paper #]CST2009-43
STREET:Safety & Traffic REaltime Evaluation Tool

Takashi MACHIDA,  Hiroshi YASUDA,  Akio KOZATO,  Naoyuki YAMADA,  Tatsuya IWASE,  Tetsuo KURAHASHI,  Hiroko MORI,  Hironobu KITAOKA,  

[Date]2010/1/14
[Paper #]CST2009-44
A Refactoring-Based Method to Decide the Serializability of Acyclic Extended Free Choice Workflow Nets

Shingo YAMAGUCHI,  Shinji HAMANO,  Yuki KURODA,  Minoru TANAKA,  

[Date]2010/1/14
[Paper #]CST2009-45
Flexible Control Method with Event Driven Control and Scheduled Control for Descrete Event Systems

Masashi Hagiwara,  Koji Takahashi,  

[Date]2010/1/14
[Paper #]CST2009-46
Modeling for Visualizing Processes in the systems Consisted of Multi and Various Tasks

Mitsuyasu Endo,  Koji Takahashi,  

[Date]2010/1/14
[Paper #]CST2009-47
Proposal and Examination of Colored Petri Nets Simulation Model for Emergency Medical System

Hideharu TOMIZAWA,  Masahiro NAGAI,  Atsushi OHTA,  

[Date]2010/1/14
[Paper #]CST2009-48
Proposal of a Business Process Verification Method using Orders of Tasks

Daijiro MURATA,  Ryota MIBE,  Yoshinao ISOBE,  

[Date]2010/1/14
[Paper #]CST2009-49
Modular Reachability Analysis of Multi-agent Nets by Using Maria

Kyota HORIGUCHI,  Toshiyuki MIYAMOTO,  

[Date]2010/1/14
[Paper #]CST2009-50
Proposal of A Concept Kernel Set and Its Properties for Vertex Mapping of Isomorphic Graphs

Miharu UKITA,  Yuki IKEDA,  Qi-Wei GE,  Mitsuru NAKATA,  

[Date]2010/1/14
[Paper #]CST2009-51
Simplification of Supervisor Existence Conditions for Timed Discrete Event Systems

Masashi NOMURA,  Shigemasa TAKAI,  

[Date]2010/1/14
[Paper #]CST2009-52
On Choreography Realization by Using UML Activity Diagrams

Kenji AKAMATSU,  Taku FUJII,  Toshiyuki MIYAMOTO,  

[Date]2010/1/14
[Paper #]CST2009-53
12>> 1-20hit(22hit)