Keyword : real-time systems


Hierarchical System Schedulability Analysis Framework Using UPPAAL
So Jin AHN Dae Yon HWANG Miyoung KANG Jin-Young CHOI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2016/08/01
Vol. E99-D  No. 8 ; pp. 2172-2176
Type of Manuscript:  LETTER
Category: Software System
Keyword: 
hierarchical systemschedulability analysisreal-time systemsformal methodsUPPAAL
 Summary | Full Text:PDF(455.9KB)

Interoperable Real-Time Medical Systems for Assured Healthcare Services
Eunjeong PARK Hyo Suk NAM 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 2012/10/01
Vol. E95-B  No. 10 ; pp. 3100-3102
Type of Manuscript:  Special Section LETTER (Special Section on Medical Information Communication Technology for Disaster Recovery and Human Health Care Support)
Category: 
Keyword: 
healthcare servicesreal-time systemsservice-oriented architecturemedical systems
 Summary | Full Text:PDF(894.2KB)

Optimal Configuration for Multiversion Real-Time Systems Using Slack Based Schedulability
Sayuri TERADA Toshimitsu USHIO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2010/12/01
Vol. E93-A  No. 12 ; pp. 2709-2716
Type of Manuscript:  Special Section PAPER (Special Section on Theory of Concurrent Systems and its Applications)
Category: 
Keyword: 
real-time systemsEDF schedulingmultiversion task modeloptimization
 Summary | Full Text:PDF(340.2KB)

A Multi-Performance Processor for Reducing the Energy Consumption of Real-Time Embedded Systems
Tohru ISHIHARA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2010/12/01
Vol. E93-A  No. 12 ; pp. 2533-2541
Type of Manuscript:  Special Section PAPER (Special Section on VLSI Design and CAD Algorithms)
Category: High-Level Synthesis and System-Level Design
Keyword: 
microprocessorlow-power designembedded systemsreal-time systems
 Summary | Full Text:PDF(741.9KB)

Static Task Scheduling Algorithms Based on Greedy Heuristics for Battery-Powered DVS Systems
Tetsuo YOKOYAMA Gang ZENG Hiroyuki TOMIYAMA Hiroaki TAKADA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2010/10/01
Vol. E93-D  No. 10 ; pp. 2737-2746
Type of Manuscript:  PAPER
Category: Software System
Keyword: 
battery-aware voltage schedulingdynamic voltage scalinglow powerreal-time systems
 Summary | Full Text:PDF(666.6KB)

An Effective GA-Based Scheduling Algorithm for FlexRay Systems
Shan DING Hiroyuki TOMIYAMA Hiroaki TAKADA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2008/08/01
Vol. E91-D  No. 8 ; pp. 2115-2123
Type of Manuscript:  PAPER
Category: System Programs
Keyword: 
real-time systemsdistributed embedded systemsFlexRaygenetic algorithm
 Summary | Full Text:PDF(647.8KB)

Adaptive Fair Sharing Control in Real-Time Systems Using Nonlinear Elastic Task Models
Toshimitsu USHIO Haruo KOHTAKI Masakazu ADACHI Fumiko HARADA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2007/06/01
Vol. E90-A  No. 6 ; pp. 1154-1161
Type of Manuscript:  PAPER
Category: Nonlinear Problems
Keyword: 
real-time systemselastic task modelresource allocationfair sharing controlQoS
 Summary | Full Text:PDF(405.2KB)

ILP-Based Program Path Analysis for Bounding Worst-Case Inter-Task Cache Conflicts
Hiroyuki TOMIYAMA Nikil DUTT 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2004/06/01
Vol. E87-D  No. 6 ; pp. 1582-1587
Type of Manuscript:  LETTER
Category: System Programs
Keyword: 
cache-related preemption delayreal-time systemsembedded softwareprogram path analysis
 Summary | Full Text:PDF(173.5KB)

An Integrated Approach for Implementing Imprecise Computations
Hidenori KOBAYASHI Nobuyuki YAMASAKI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2003/10/01
Vol. E86-D  No. 10 ; pp. 2040-2048
Type of Manuscript:  Special Section PAPER (Special Issue on Development of Advanced Computer Systems)
Category: 
Keyword: 
real-time systemsimprecise computation modeloperating systemsscheduling algorithms
 Summary | Full Text:PDF(964.9KB)

Refinement and Validation of Software Requirements Using Incremental Simulation
Kyo-Chul KANG Kwan W. LEE Ji-young LEE Jounghyun (Gerard) KIM Hye-jung KIM 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1998/02/25
Vol. E81-D  No. 2 ; pp. 171-182
Type of Manuscript:  PAPER
Category: Sofware System
Keyword: 
real-time systemsrequirements specificationrequirements analysisspecification executionstatechartvalidationverificationincremental development
 Summary | Full Text:PDF(1.2MB)

A New Scheduling Scheme in Responsive Systems
Seongbae EUN Seung Ryoul MAENG Jung Wan CHO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1995/10/25
Vol. E78-D  No. 10 ; pp. 1282-1287
Type of Manuscript:  PAPER
Category: Fault Tolerant Computing
Keyword: 
real-time systemsfault-tolerant computingresponsive systemsresponsive schedulingresponsivenessearliest deadline first
 Summary | Full Text:PDF(524KB)

A Reconfigurable Parallel Processor Based on a TDLCA Model
Masahiro TSUNOYAMA Masataka KAWANAKA Sachio NAITO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1993/11/25
Vol. E76-D  No. 11 ; pp. 1358-1364
Type of Manuscript:  Special Section PAPER (Special Issue on Responsive Computer Systems)
Category: 
Keyword: 
fault tolerant computingparalel processorreal-time systems
 Summary | Full Text:PDF(558.1KB)

A Real-Time Scheduler Using Neural Networks for Scheduling Independent and Nonpreemptable Tasks with Deadlines and Resource Requirements
Ruck THAWONMAS Norio SHIRATORI Shoichi NOGUCHI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1993/08/25
Vol. E76-D  No. 8 ; pp. 947-955
Type of Manuscript:  PAPER
Category: Bio-Cybernetics
Keyword: 
real-time systemsschedulingneural network applicationsHopfield-Tank models
 Summary | Full Text:PDF(749.9KB)