IEICE Trans

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 system, schedulability analysis, real-time systems, formal methods, UPPAAL,
	Summary \| Full Text:PDF

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 services, real-time systems, service-oriented architecture, medical systems,
	Summary \| Full Text:PDF

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 systems, EDF scheduling, multiversion task model, optimization,
	Summary \| Full Text:PDF

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: microprocessor, low-power design, embedded systems, real-time systems,
	Summary \| Full Text:PDF

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 scheduling, dynamic voltage scaling, low power, real-time systems,
	Summary \| Full Text:PDF

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 systems, distributed embedded systems, FlexRay, genetic algorithm,
	Summary \| Full Text:PDF

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 systems, elastic task model, resource allocation, fair sharing control, QoS,
	Summary \| Full Text:PDF

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 delay, real-time systems, embedded software, program path analysis,
	Summary \| Full Text:PDF

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 systems, imprecise computation model, operating systems, scheduling algorithms,
	Summary \| Full Text:PDF

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 systems, requirements specification, requirements analysis, specification execution, statechart, validation, verification, incremental development,
	Summary \| Full Text:PDF

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 systems, fault-tolerant computing, responsive systems, responsive scheduling, responsiveness, earliest deadline first,
	Summary \| Full Text:PDF

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 computing, paralel processor, real-time systems,
	Summary \| Full Text:PDF

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 systems, scheduling, neural network applications, Hopfield-Tank models,
	Summary \| Full Text:PDF