Information and Systems-Software Science(Date:2014/01/23)

Presentation
表紙

,  

[Date]2014/1/23
[Paper #]
目次

,  

[Date]2014/1/23
[Paper #]
Scheduling of Multi-Hop Control Networks with Optimal Control Performance

Yasuki NANAMORI,  Toshimitsu USHIO,  

[Date]2014/1/23
[Paper #]SS2013-48,MSS2013-51
Cuckoo Search Algorithm for Job Scheduling in Cloud Systems

Supacheep AMTADE,  Toshiyuki MIYAMOTO,  

[Date]2014/1/23
[Paper #]SS2013-49,MSS2013-52
A Web Recipe Conversion Algorithm for Cooking-Step Scheduling

Yijia ZHANG,  Nobuo FUNABIKI,  Toru NAKANISHI,  

[Date]2014/1/23
[Paper #]SS2013-50,MSS2013-53
An Efficient Parametric Execution Time Analysis of Real-Time Programs Using Approximation and its Evaluation

Keisuke SUGIHARA,  Akio NAKATA,  

[Date]2014/1/23
[Paper #]SS2013-51,MSS2013-54
A Method for Extracting Necessary Information for Performance Verification from Extended SysML Diagrams

Yusuke MOTOIE,  Akio NAKATA,  

[Date]2014/1/23
[Paper #]SS2013-52,MSS2013-55
High Performance and Low Energy Consumption by Aspect-Oriented Programming

Hironori Washizaki,  Kota Ohkawara,  Akihiro Hara,  Yoshiaki Fukazawa,  

[Date]2014/1/23
[Paper #]SS2013-53,MSS2013-56
A Polynomial Time Conversion Method of Footprints from Structure of Workflow Nets and Its Application

Sohma NISHI,  Shingo YAMAGUCHI,  

[Date]2014/1/23
[Paper #]SS2013-54,MSS2013-57
Solvability for The Maximum Legal Firing Sequence Problem of Inhibitor-Arc Petri nets : Unweighted/Weighted Conflict-Free Petri nets

Satoshi TAOKA,  Satoru OCHIIWA,  Toshimasa WATANABE,  

[Date]2014/1/23
[Paper #]SS2013-55,MSS2013-58
On Polynomial Time Checking on Reachability in Sound Cyclic Well-Structured Workflow Nets

Yuan QU,  Shingo YAMAGUCHI,  

[Date]2014/1/23
[Paper #]SS2013-56,MSS2013-59
Modeling and Analysis of Quantum Circuits by using Extended Petri Nets

KENTA MURANUSHI,  ATSUSHI OHTA,  KOHKICHI TSUJI,  

[Date]2014/1/23
[Paper #]SS2013-57,MSS2013-60
Distributed Online Decision Tree Learning for Stream Data Based on Actor Model

Koichi YAMAMOTO,  Kohei SAKURAI,  Satoshi YAMANE,  

[Date]2014/1/23
[Paper #]SS2013-58,MSS2013-61
Bounded model checking based in SMT for CISC embedded assembly programs

Atsushi TAKESHITA,  Junpei KOBASHI,  Satoshi YAMANE,  

[Date]2014/1/23
[Paper #]SS2013-59,MSS2013-62
Runtime Control of a Program based on Quantitative Information Flow

BaoTrung CHU,  Kenji HASHIMOTO,  Hiroyuki SEKI,  

[Date]2014/1/23
[Paper #]SS2013-60,MSS2013-63
Improving a Test Case Generation Method for Faulty Interaction Location

Takahiro NAGAMOTO,  Hideharu KOJIMA,  Tatsuhiro TSUCHIYA,  

[Date]2014/1/23
[Paper #]SS2013-61,MSS2013-64
Basic Concept of Flexible Control of FA Systems for Peak Power Cut and Process Progress

Mitsukuni KARUBE,  Koji TAKAHASHI,  

[Date]2014/1/23
[Paper #]SS2013-62,MSS2013-65
Studies on If-then Rule Induction by Statistical Rough Set Method and its Simulation Experiment

Yuichi Kato,  Tetsuro Saeki,  

[Date]2014/1/23
[Paper #]SS2013-63,MSS2013-66
Maximal Permissiveness of the Output Feedback Controller for Similarity Control of Transition Systems

Naoki KUSHI,  Shigemasa TAKAI,  

[Date]2014/1/23
[Paper #]SS2013-64,MSS2013-67
Computer processing model as language translation

Fumiko KOUDA,  Takashi CHIKAYAMA,  

[Date]2014/1/23
[Paper #]SS2013-65,MSS2013-68
12>> 1-20hit(30hit)