| IEICE Technical Committee Submission System Conference Schedule |
Online Proceedings [Sign in] Tech. Rep. Archives |
Technical Committee on Dependable Computing (DC) (Searched in: 2007)
Search Results: Keywords 'from:2008-03-27 to:2008-03-27'
| Committee | Date Time | Place | Paper Title / Authors | Abstract | Paper # | |
| DC, CPSY, IPSJ-SLDM, IPSJ-EMB | 2008-03-28 08:45 |
Kagoshima | A Hardware Acceleration for Semi-Formal Model Checking Satoshi Morishita, Hiroaki Yoshida, Masahiro Fujita (Univ of Tokyo)  DC2007-103 CPSY2007-99 |
The verification becomes important now as the design becomes complex and large-scale.Model checking which is one of the ... [more] | DC2007-103 CPSY2007-99 pp.115-120 |
|
| DC, CPSY, IPSJ-SLDM, IPSJ-EMB | 2008-03-28 09:05 |
Kagoshima | Model-Based Design Technology for Automotive Control Systems Akihiko Hyodo, Naoki Kato, Shigeru Oho (Hitachi, Ltd.) |
[more] | ||
| DC, CPSY, IPSJ-SLDM, IPSJ-EMB | 2008-03-28 09:30 |
Kagoshima | On Evaluation Methods of nMOS Level Shifter Circuits Makoto Otsu, Shingo Takahashi, Shuji Tsukiyama (Chuo Univ.), Masanori Hashimoto (Osaka Univ.), Isao Shirakawa (Univ. of Hyogo) DC2007-104 CPSY2007-100 |
When the process technology or required specification is changed, we face a problem of finding the optimum circuit among... [more] | DC2007-104 CPSY2007-100 pp.121-126 |
|
| DC, CPSY, IPSJ-SLDM, IPSJ-EMB | 2008-03-28 09:50 |
Kagoshima | An Asynchronous IEEE754-standard Single-precision Floating-point Divider for FPGA Masayuki Hiromoto, Hiroyuki Ochi (Kyoto Univ.), Yukihiro Nakamura (Ritsumeikan Univ.) DC2007-105 CPSY2007-101 |
Synchronous design methodology is widely used for today's digital circuits. However, it is difficult to reuse a highly-... [more] | DC2007-105 CPSY2007-101 pp.127-132 |
|
| DC, CPSY, IPSJ-SLDM, IPSJ-EMB | 2008-03-28 10:30 |
Kagoshima | A technique of automatic input pattern generation for system-level design descriptions by concrete and symbolic simulations Yoshihisa Kojima, Tasuku Nishihara, Takeshi Matsumoto (Univ. of Tokyo), Masahiro Fujita (VDEC, Univ of Tokyo) DC2007-106 CPSY2007-102 |
As the VLSI systems grow larger and more complicated, it becomes more difficult to manually prepare the input patterns o... [more] | DC2007-106 CPSY2007-102 pp.133-138 |
|
| DC, CPSY, IPSJ-SLDM, IPSJ-EMB | 2008-03-28 10:50 |
Kagoshima | On Distribution Functions of Delays and Slews for Statistical Timing Analysis Shingo Takahashi, Shuji Tsukiyama (Chuo Univ.) DC2007-107 CPSY2007-103 |
In order to improve the performance of the current statistical timing analysis, slew distributions must take into accoun... [more] | DC2007-107 CPSY2007-103 pp.139-144 |
|
| DC, CPSY, IPSJ-SLDM, IPSJ-EMB | 2008-03-28 11:15 |
Kagoshima | Code Quality Analysis Toolset for Embedded Systems on Eclipse Yuichi Nakamura, Kohei Nadehara (NEC) DC2007-108 CPSY2007-104 |
[more] | DC2007-108 CPSY2007-104 pp.145-148 |
|
| DC, CPSY, IPSJ-SLDM, IPSJ-EMB | 2008-03-28 11:35 |
Kagoshima | Design of a Programmable Debug Support Mechanism for Efficient Analysis in Multi-core SoC Noriaki Suzuki, Junji Sakai, Sunao Torii (NEC) DC2007-109 CPSY2007-105 |
To improve the bug observability in the embedded systems, we have developed a Debug Support Mechanism that helps Multi-c... [more] | DC2007-109 CPSY2007-105 pp.149-154 |
|
| DC, CPSY, IPSJ-SLDM, IPSJ-EMB | 2008-03-28 13:00 |
Kagoshima | Automatically Generating Testcases with the NuSMV Model Checker Masaya Kadono, Tatsuhiro Tsuchiya, Tohru Kikuno (Osaka Univ.) DC2007-110 CPSY2007-106 |
There are various testing methods of improving the reliability of software.In this study, we consider state transition t... [more] | DC2007-110 CPSY2007-106 pp.155-160 |
|
| DC, CPSY, IPSJ-SLDM, IPSJ-EMB | 2008-03-28 13:25 |
Kagoshima | Synthesis for Detection of Transient Faults Goerschwin Fey (Univ of Bremen/Univ of Tokyo), Rolf Drechsler (Univ of Bremen) DC2007-111 CPSY2007-107 |
[more] | DC2007-111 CPSY2007-107 pp.161-166 |
|
| DC, CPSY, IPSJ-SLDM, IPSJ-EMB | 2008-03-28 13:50 |
Kagoshima | A Functional Unit with Small Variety of Highly Reliable Cells and Its Evaluation Kazunori Suzuki, Takashi Nakada, Masaki Nakanishi, Shigeru Yamashita, Yasuhiko Nakashima (NAIST) DC2007-112 CPSY2007-108 |
Recently, the shrinking process causes growth of error rate. We have proposed new standard cells in which transistors ar... [more] | DC2007-112 CPSY2007-108 pp.167-172 |
|
| DC, CPSY, IPSJ-SLDM, IPSJ-EMB | 2008-03-28 14:20 |
Kagoshima | An Efficient Real-Time Scheduling Algorithm for Temporal Protection with Task's Priority Yutaka Matsubara, Shinya Honda, Hiroyuki Tomiyama, Hiroaki Takada (Nagoya Univ.) DC2007-113 CPSY2007-109 |
In this paper, we propose an efficient scheduling algorithm for integration of real-time applications in a single proc... [more] |
DC2007-113 CPSY2007-109 pp.173-178 |
|
| DC, CPSY, IPSJ-SLDM, IPSJ-EMB | 2008-03-28 14:45 |
Kagoshima | A Context Assignment Algorithm for Real-time Tasks on Dynamically Reconfigurable Processor with Reconfigurable Overhead Keisuke Nishi (Osaka Univ.), Tomoya Kitani (NAIST), Akio Nakata (Hiroshima City Univ.), Teruo Higashino (Osaka Univ.) DC2007-114 CPSY2007-110 |
(To be available after the conference date) [more] | DC2007-114 CPSY2007-110 pp.179-184 |
|
| DC, CPSY, IPSJ-SLDM, IPSJ-EMB | 2008-03-28 15:10 |
Kagoshima | Prioritized Object Management for RT-Middleware Hiroyuki Chishiro, Akira Takeda, Masao Ueyama, Shinpei Kato, Nobuyuki Yamasaki (Keio Univ.) DC2007-115 CPSY2007-111 |
Distributed control robots, object-oriented network applications for parallel distributed processing, require distribu... [more] |
DC2007-115 CPSY2007-111 pp.185-190 |
|
| DC, CPSY, IPSJ-SLDM, IPSJ-EMB | 2008-03-28 15:35 |
Kagoshima | Global-RM based Real-Time Scheduling Algorithm on Multiprocessors Akira Takeda, Kenji Funaoka, Shinpei Kato, Nobuyuki Yamasaki (Keio Univ.) DC2007-116 CPSY2007-112 |
In recent embedded systems multiprocessor platforms are commonly used. Due to this background, optimal real–time s... [more] | DC2007-116 CPSY2007-112 pp.191-196 |
|
| DC, CPSY, IPSJ-SLDM, IPSJ-EMB | 2008-03-28 16:15 |
Kagoshima | A Distributed Computing Environment for Embedded Control Systems withTime-Triggered and Event-Triggered Processing Tasuku Ishigooka, Yuichi Itami, Takanori Yokoyama (MI-TECH) DC2007-117 CPSY2007-113 |
The paper presents a distributed computing environment for embedded control systems that consists of time-triggered dist... [more] | DC2007-117 CPSY2007-113 pp.197-202 |
|
| DC, CPSY, IPSJ-SLDM, IPSJ-EMB | 2008-03-28 16:35 |
Kagoshima | Time Management Functions for Sophisticated Robot Control Masao Ueyama, Kazutoshi Suito, Nobuyuki Yamasaki (Keio Univ.) DC2007-118 CPSY2007-114 |
This paper describes the time management functions of a real-time operating system (RTOS) for sophisticated robot contr... [more] |
DC2007-118 CPSY2007-114 pp.203-208 |
|
| DC, CPSY, IPSJ-SLDM, IPSJ-EMB | 2008-03-28 17:00 |
Kagoshima | A Development of Middleware for Various kinds of Embedded Sensors Takahiro Kawahara, Satoshi Matsuura, Shinichi Doi, Kazutoshi Fujikawa, Hideki Sunahara (NAIST) DC2007-119 CPSY2007-115 |
In these days, large-scale information infrastructures sharing sensing data are constructed and operated. These infrastr... [more] | DC2007-119 CPSY2007-115 pp.209-214 |
|
| DC, CPSY, IPSJ-SLDM, IPSJ-EMB | 2008-03-28 17:20 |
Kagoshima | Inter-OS Communication Mechanism for Multi-OS Mobile Handset using Suspend/Resume Function Hisatoshi Eguchi, Tomohiro Nakagawa, Ken Ohta, Atsushi Takeshita (NTT DoCoMo, Inc.) DC2007-120 CPSY2007-116 |
Cellular equipment gets high-performance, and smartphone gets attention in customizations to add-on native code applicat... [more] | DC2007-120 CPSY2007-116 pp.215-220 |
|
[Return to Top Page]