default search action
3rd RTCSA 1996: Seoul, Korea
- Third International Workshop on Real-Time Computing Systems Application (RTCSA '96), October 30 - November 01, 1996, Seoul, Korea. IEEE Computer Society 1996, ISBN 0-8186-7626-4
Multimedia
- Kyoung-Sang Yu, Hyuck Yoo:
Elimination of data copying for multimedia communication. 4-9 - Joseph Kee-Yin Ng:
A study on transmitting MPEG-I video over a FDDI network. 10-17 - Yeong-Geon Seo, Moon-Ryul Jung, Hae-Seok Oh:
Sending, receiving and presenting multimedia data over network for tele-medical diagnosis (MediNet). 18-25 - Tatsuo Nakajima, Hiroshi Tezuka:
Continuous media storage system supporting VBR streams. 26-
Communications I
- Hea-Sook Park, Sung-Jin Moon, Mee-Hye Lee, Kwang-Suk Song:
The design and comparison of two IPC control methods in an ATM switching control system. 36-40 - Seungkweon Jeong, Jaehyun Park, Wook Hyun Kwon, Kang G. Shin:
Evaluation of the communication latency over real-time channel in HARTS. 41-48 - Xiaohua Jia, Jiannong Cao, Weijia Jia:
Real-time multicast routing with optimal network cost. 49-
Invited Talk
- Hans Hansson:
Guaranteeing Real-Time Traffic Through an ATM Network. 58
Databases I
- Dong-Kweon Hong, Myung-Joon Kim, Sharma Chakravarthy:
Incorporating load factor into the scheduling of soft real-time transactions for main memory databases. 60-66 - Sang Kyun Cha, Jang Ho Park, S. J. Lee, Byoung Dae Park, J. S. Lee:
An extensible architecture for main-memory real-time storage systems. 67-73 - Chang-Gun Lee, Young-Kuk Kim, Sang Hyuk Son, Sang Lyul Min, Chong-Sang Kim:
Efficiently supporting hard/soft deadline transactions in real-time database systems. 74-80 - Kong-Rim Choi, Kyung-Chang Kim:
T*-tree: a main memory database index structure for real time applications. 81-
Specification and Verification
- Satoshi Yamane:
The verification technique of real-time systems using probabilities. 90-97 - Klaas Brink, Jan van Katwijk, W. J. Toetenel:
Ada 95 as implementation vehicle for formal specifications. 98-105 - Farn Wang:
Scalable compositional verification of high-level real-time concurrent systems from 107 to 1085 states. 106-
Invited Talk
- Jane W.-S. Liu:
Timing Validation and Temporal Quality-of-Service Guarantees. 116
Databases II
- Ming-Chung Liang, Tei-Wei Kuo
, LihChyun Shu:
BAP: a class of abort-oriented protocols based on the notion of compatibility. 118-127 - Kam-yiu Lam, Victor C. S. Lee, Sheung-lun Hung, Ben Kao:
Impact of priority assignment on optimistic concurrency control in distributed real-time databases. 128-135 - Chanjung Park, Seog Park:
A multiversion locking protocol for real-time databases with multilevel security. 136-143 - Kwok-Wa Lam, Sheung-lun Hung:
A pre-emptive transaction scheduling protocol for controlling priority inversion. 144-
Fault Tolerance
- Chung-Sei Rhee, Heok-Jung Kwon, Young-Tak Kwon, Byung-Whan Choi:
On the real time diagnosability of multiprocessor systems by comparison approach. 154-161 - Célio Estevan Morón:
Designing a real-time recoverable action. 162-169 - M. D. Baba, Hsmail Ekiz, A. Kutlu, E. T. Powner:
Toward adaptable distributed real-time computer systems. 170-
Invited Talk
- Farnam Jahanian:
Fault-Tolerance in Distributed Real-Time Systems. 178
Timing Analysis
- Kyeonghoon Koo, Wook Hyun Kwon:
Worst-case timing prediction of relay ladder logic by constraint analysis. 180-186 - Apostolos A. Kountouris:
Safe and efficient elimination of infeasible execution paths in WCET estimation. 187-194 - José V. Busquets-Mataix, Juan José Serrano, Rafael Ors, Pedro J. Gil, Andy J. Wellings:
Using harmonic task-sets to increase the schedulable utilization of cache-based preemptive real-time systems. 195-202 - Tai M. Chung, Henry G. Dietz:
Static scheduling of hard real-time code with instruction-level timing accuracy. 203-
Communications II
- Junghoon Lee, Seungjun Park:
An error control scheme for Ethernet-based real-time communication. 214-219 - M. Li:
The cyclic services in an industrial network. 220-226 - Hirohisa Mori, Hirohisa Mano, Hideyuki Takada, Ken Sakamura:
μITRON bus: a real-time control LAN for open network environment. 227-
Invited Talk
- C. Douglass Locke:
Software Architecture for Real-Time Applications. 236-237 - Jaehong Shim, Kyunghee Choi, Gihyun Jung, Seungkyu Park, HyeonSik Shin, Dongyoon Kim:
Priority inversion handling in microkernel-based Real-Time Mike. 238-245 - Ichiro Mizunuma, Chia Shen, Morikazu Takegaki:
New architecture of industrial systems with real-time ATM middleware. 246-253 - Toshikazu Ohkubo, I. Takenaka, Tetsuo Wasano, M. Omiya:
Quality criteria for realtime microkernel products. 254-260 - Tatsuo Nakajima, Hiroshi Fujita:
Experiences with adaptive QOS mapping scheme. 261-
Software Systems and Programming Environments
- Frédéric Boussinot, Laurent Hazard:
Reactive scripts. 270-277 - B. Noorduin, Jan van Katwijk, Cornelis Pronk:
Gnass: a Gnat-based allocation and scheduling system. 278-285 - Sungjoo Yoo, Jinhwan Jeon, Seongsoo Hong, Kiyoung Choi:
Hardware-Software Codesign of Resource-Constrained Real-Time Systems. 286-
Scheduling
- Ismael Ripoll, Ana García-Fornes
Optimal aperiodic scheduling for dynamic-priority systems. 294-300 - Namyun Kim:
A scheduling technique for real-time systems with end-to-end timing constraints. 301-306 - Kyongok Yun, Kihyun Song, Kyunghee Choi, Gihyun Jung, Seungkyu Park, Manpyo Hong, Dugkyoo Choi:
A Heuristic Scheduling Algorithm of Imprecise Multiprocessor System with O/l Constraint. 307-313 - Hyungill Kim, Sungyoung Lee, Jongwon Lee:
Scheduling of hard-aperiodic requests in dynamic priority systems. 314-319 - Jinho Kim, Kang G. Shin:
On data logging in real-time process control systems. 320-
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-17 20:45 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: