Information and Systems-Computer Systems(Date:2012/02/24)

Presentation
表紙

,  

[Date]2012/2/24
[Paper #]
目次

,  

[Date]2012/2/24
[Paper #]
An NoC Virtual Platform Based on QEMU and SystemC

KEITA NAKAJIMA,  TAKUJI HIEDA,  ITTETSU TANIGUCHI,  HIROYUKI TOMIYAMA,  

[Date]2012/2/24
[Paper #]Vol.2012-SLDM-155 No.1,Vol.2012-EMB-24 No.1
An OpenCL Environment with Many-core for Embedded Systems

TAKUJI HIEDA,  NAOKI NISHIYAMA,  ITTETSU TANIGUCHI,  HIROYUKI TOMIYAMA,  KOJI INOUE,  

[Date]2012/2/24
[Paper #]Vol.2012-SLDM-155 No.2,Vol.2012-EMB-24 No.2
Fast and Exact Cache Configuration Simulation for Two-core L1 Cache

MASASHI TAWADA,  MASAO YANAGISAWA,  NOZOMU TOGAWA,  

[Date]2012/2/24
[Paper #]Vol.2012-SLDM-155 No.3,Vo.2012-EMB-24 No.3
Partial Redundant Fault Secure High Level Synthesis for RDR Architecture

SHO TANAKA,  MASAO YANAGISAWA,  NOZOMU TOGAWA,  

[Date]2012/2/24
[Paper #]Vol.2012-SLDM-155 No.4,Vol.2012-EMB-24 No.4
A consideration of logical circuit debugging method using unsatisfiability

JAESUNG LEE,  TAKESHI MATSUMOTO,  MASAHIRO FUJITA,  

[Date]2012/2/24
[Paper #]Vol.2012-SLDM-155 No.5,Vol.2012-EMB-24 No.5
An Algorithm for Statistical Timing Analysis Considering Long-Term Degradation

Shuji Tsukiyama,  Massahiro Fukui,  

[Date]2012/2/24
[Paper #]Vol.2012-SLDM-155 No.6,Vol.2012-EMB-24 No.6
A Fast Interpolation Unit Using Selector Logics

MANAMI IWATA,  HIROMINE YOSHIHARA,  MASAO YANGISAWA,  NOZOMU TOGAWA,  

[Date]2012/2/24
[Paper #]Vol.2012-SLDM-155 No.7,Vol.2012-EMB-24 No.7
New optically reconfigurable gate array VLSI to enable a negative logic implementation

Retsu Moriwaki,  Minoru Watanabe,  

[Date]2012/2/24
[Paper #]VoL2012-SLDM-155 No.8,Vol.2012-EMB-24 No.8
A Challenge to Develop a Ubiquitous Processor Chip

Harunobu Uchiumi,  Masa-aki Fukase,  Tomoaki Sato,  

[Date]2012/2/24
[Paper #]Vol.2012-SLDM-155 No.9,Vol.2012-EMB-24 No.9
Safety analysis method based on hierarchical state transition diagram

Zoohaye KIM,  Yutaka MATSUBARA,  Hiroaki TAKADA,  

[Date]2012/2/24
[Paper #]Vol.2012-SLDM-155 No.10,Vo.2012-EMB-24 No.10
Model Checking to Find Defects in Embedded Control Software Affected by Hardware Failures

MASAHIRO MATSUBARA,  KOHEI SAKURAI,  FUMIO NARISAWA,  HISAMITSU YAMANAKA,  

[Date]2012/2/24
[Paper #]Vol.2012-SLDM-155 No.11,Vol.2012-EMB-24 No.11
Satisfiability Verification of Constraints in System Development Using SysML

TETSUSHI FUKUDA,  KENJI HISAZUMI,  AKIRA FUKUDA,  

[Date]2012/2/24
[Paper #]Vol.2012-SLDM-155 No.12,Vo.2012-EMB-24 No.12
A Distribution Method of the Slack Time for Reducing the Enegy Consumption of Embedded Systems

RYOHEI MIWA,  HIDEKI TAKASE,  GANG ZENG,  HIROAKI TAKADA,  

[Date]2012/2/24
[Paper #]Vol.2012-SLDM-155 No.13,Vol.2012-EMB-24 No.13
Profiling-based Source to Source Compiler for GPGPU

Atsushi YUMOTO,  Nobuhiko SUGIO,  

[Date]2012/2/24
[Paper #]CPSY2011-83,DC2011-87
Design and Implementation of Distributed TLB Mechanism for Heterogeneous Multi-Core Processors

Daiki KAWASE,  Kazutoshi SUITO,  Hiroki MATSUTANI,  Nobuyuki YAMASAKI,  

[Date]2012/2/24
[Paper #]CPSY2011-84,DC2011-88
Design and Implementation of I/O Control Mechanism for Heterogeneous Multi-Core Processors

Yuki KAWAGUCHI,  Kazutoshi SUITO,  Hiroki MATSUTANI,  Nobuyuki YAMASAKI,  

[Date]2012/2/24
[Paper #]CPSY2011-85,DC2011-89
Multi Core Task Mapping Method by Weight Control for Dependencies between Descendent Tasks

Noriaki SUZUKI,  Takahiro KUMURA,  Yuichi NAKAMURA,  

[Date]2012/2/24
[Paper #]CPSY2011-86,DC2011-90
Cloudia : A Platform for Automotive Data Integration Architecture : Basic Concept

KENYA SATO,  SATOSHI KATSUNUMA,  AKIHIRO YAMAGUCHI,  HIDEKI SHIMADA,  SHINYA HONDA,  YUKIKAZU NAKAMOTO,  HIROAKI TAKADA,  

[Date]2012/2/24
[Paper #]Vol.2012-SLDM-155 No.18,Vol.2012-EMB-24 No.18
123>> 1-20hit(42hit)