Information and Systems-Computer Systems(Date:2008/03/20)

Presentation
Allocation of Scratch-Pad Memory in Non-Preemptive Multi-Task Systems

Hideki TAKASE,  Hiroyuki TOMIYAMA,  Hiroaki TAKADA,  

[Date]2008/3/20
[Paper #]CPSY2007-98,DC2007-102
A Hardware Acceleration for Semi-Formal Model Checking

Satoshi MORISHITA,  Hiroaki YOSHIDA,  Masahiro FUJITA,  

[Date]2008/3/20
[Paper #]CPSY2007-99,DC2007-103
On Evaluation Methods of nMOS Level Shifter Circuits

Makoto OTSU,  Shingo TAKAHASHI,  Shuji TSUKIYAMA,  Masanori HASHIMOTO,  Isao SHIRAKAWA,  

[Date]2008/3/20
[Paper #]CPSY2007-100,DC2007-104
An Asynchronous IEEE754-standard Single-precision Floating-point Divider for FPGA

Masayuki HIROMOTO,  Hiroyuki OCHI,  Yukihiro NAKAMURA,  

[Date]2008/3/20
[Paper #]CPSY2007-101,DC2007-105
A technique of automatic input pattern generation for system-level design descriptions by concrete and symbolic simulations

Yoshihisa KOJIMA,  Tasuku NISHIHARA,  Takeshi MATSUMOTO,  Masahiro FUJITA,  

[Date]2008/3/20
[Paper #]CPSY2007-102,DC2007-106
On Distribution Functions of Delays and Slews for Statistical Timing Analysis

Shingo TAKAHASHI,  Shuji TSUKIYAMA,  

[Date]2008/3/20
[Paper #]CPSY2007-103,DC2007-107
Code Quality Analysis Toolset for Embedded Systems by using Eclipse

Yuichi Nakamura,  Kouhei Nadehara,  

[Date]2008/3/20
[Paper #]CPSY2007-104,DC2007-108
Design of a Programmable Debug Support Mechanism for Efficient Analysis in Multi-core SoC

Noriaki SUZUKI,  Junji SAKAI,  Sunao TORII,  

[Date]2008/3/20
[Paper #]CPSY2007-105,DC2007-109
Automatically Generating Testcases with the NuSMV Model Checker

Masaya KADONO,  Tatsuhiro TSUCHIYA,  Tohru KIKUNO,  

[Date]2008/3/20
[Paper #]CPSY2007-106,DC2007-110
Synthesis for Detection of Transient Faults

Goerschwin FEY,  Rolf DRECHSLER,  

[Date]2008/3/20
[Paper #]CPSY2007-107,DC2007-111
A Functional Unit with Small Variety of Highly Reliable Cells and Its Evaluation

Kazunori SUZUKI,  Takashi NAKADA,  Masaki NAKANISHI,  Shigeru YAMASHITA,  Yasuhiko NAKASHIMA,  

[Date]2008/3/20
[Paper #]CPSY2007-108,DC2007-112
An Efficient Real-Time Scheduling Algorithm for Temporal Protection with Task's Priority.

Yutaka MATSUBARA,  Shinya HONDA,  Hiroyuki TOMIYAMA,  Hiroaki TAKADA,  

[Date]2008/3/20
[Paper #]CPSY2007-109,DC2007-113
A Context Assignment Algorithm for Real-time Tasks on Dynamically Reconfigurable Processor with Reconfigurable Overhead

Keisuke NISHI,  Tomoya KITANI,  Akio NAKATA,  Teruo HIGASHINO,  

[Date]2008/3/20
[Paper #]CPSY2007-110,DC2007-114
Prioritized Object Management for RT-Middleware

Hiroyuki CHISHIRO,  Akira TAKEDA,  Masao UEYAMA,  Shinpei KATO,  Nobuyuki YAMASAKI,  

[Date]2008/3/20
[Paper #]CPSY2007-111,DC2007-115
Global-RM based Real-Time Scheduling Algorithm on Multiprocessors

Akira TAKEDA,  Kenji FUNAOKA,  Shinpei KATO,  Nobuyuki YAMASAKI,  

[Date]2008/3/20
[Paper #]CPSY2007-112,DC2007-116
A Distributed Computing Environment for Embedded Control Systems with Time-Triggered and Event-Triggered Processing

Tasuku ISHIGOOKA,  Yuichi ITAMI,  Takanori YOKOYAMA,  

[Date]2008/3/20
[Paper #]CPSY2007-113,DC2007-117
Time Management Functions for Sophisticated Robot Control

Masao UEYAMA,  Kazutoshi SUITO,  Nobuyuki YAMASAKI,  

[Date]2008/3/20
[Paper #]CPSY2007-114,DC2007-118
A Development of Middleware for Various kinds of Embedded Sensors

Takahiro KAWAHARA,  Satoshi MATSUURA,  Shinichi DOI,  Kazutoshi FUJIKAWA,  Hideki SUNAHARA,  

[Date]2008/3/20
[Paper #]CPSY2007-115,DC2007-119
Inter-OS Communication Mechanism for Multi-OS Mobile Handset using Suspend/Resume Function

Hisatoshi EGUCHI,  Tomohiro NAKAGAWA,  Ken OHTA,  Atsushi TAKESHITA,  

[Date]2008/3/20
[Paper #]CPSY2007-116,DC2007-120
複写される方へ

,  

[Date]2008/3/20
[Paper #]
<<123>> 21-40hit(42hit)