Search results for "RTCSA"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Shourong Lu, Wolfgang A. Halang, Lichen Zhang	A Component-Based UML Profile to Model Embedded Real-Time Systems Designed by the MDA Approach.	RTCSA	2005	DBLP DOI BibTeX RDF
1	Chui Ying Hui, Joseph Kee-Yin Ng, Victor C. S. Lee	On-Demand Broadcast Algorithms with Caching on Improving Response Time for Real-Time Information Dispatch Systems.	RTCSA	2005	DBLP DOI BibTeX RDF
1	Okehee Goh, Yann-Hang Lee, Ziad Kaakani, Elliott Rachlin	A Schedulable Garbage Collection for Embedded Applications in CLI.	RTCSA	2005	DBLP DOI BibTeX RDF
1	Xiao Wu 0001, Victor C. S. Lee, Joseph Kee-Yin Ng	A Preemptive Scheduling Algorithm for Wireless Real-Time On-Demand Data Broadcast.	RTCSA	2005	DBLP DOI BibTeX RDF
1	Min-Sik Jin, Min-Soo Jung	A Study on How to Reduce Time and Space by Redefining New Bytecode for Java Card.	RTCSA	2005	DBLP DOI BibTeX RDF
1	Ricardo de Moraes, Francisco Vasques	Real-Time Traffic Separation in Shared Ethernet Networks: Simulation Analysis of the h-BEB Collision Resolution Algorithm.	RTCSA	2005	DBLP DOI BibTeX RDF
1	Noseong Park, Daeyoung Kim 0001, Yoonmee Doh, Sangsoo Lee, Ji-tae Kim	An Optimal and Lightweight Routing for Minimum Energy Consumption in Wireless Sensor Networks.	RTCSA	2005	DBLP DOI BibTeX RDF
1	Won Hyun Oh, Jung Hee Lee, Hyoung Geun Kwon, Hyoung Jin Yoon	Model-Based Development of Automotive Embedded Systems: A Case of Continuously Variable Transmission (CVT).	RTCSA	2005	DBLP DOI BibTeX RDF
1	Anish Arora, Rajiv Ramnath, Emre Ertin, Prasun Sinha, Sandip Bapat, Vinayak Naik, Vinod Kulathumani, Hongwei Zhang 0001, Hui Cao 0001, Mukundan Sridharan, Santosh Kumar 0001, Nick Seddon, Chris Anderson, Ted Herman, Nishank Trivedi, Chen Zhang, Mikhail Nesterenko, Romil Shah, Sandeep S. Kulkarni, Mahesh Aramugam, Limin Wang, Mohamed G. Gouda, Young-ri Choi, David E. Culler, Prabal Dutta, Cory Sharp, Gilman Tolle, Mike Grimmer, Bill Ferriera, Ken Parker	ExScal: Elements of an Extreme Scale Wireless Sensor Network.	RTCSA	2005	DBLP DOI BibTeX RDF
1	Jakob Axelsson	A Method for Evaluating Uncertainties in the Early Development Phases of Embedded Real-Time Systems.	RTCSA	2005	DBLP DOI BibTeX RDF
1	Chih-wen Hsueh, Tien-Fu Chen, Rong-Guey Chang, Shi-Wu Lo	Development of Architecture and Software Technologies in High-Performance Low-Power SoC Design.	RTCSA	2005	DBLP DOI BibTeX RDF	Tool Chain, Architecture, Compiler, System-on-Chip, Real-Time Operating System
1	Sung-Min Lee 0007, Hojung Cha	A Locating Mechanism for Multiple Mobile Nodes in Wireless Sensor Networks.	RTCSA	2005	DBLP DOI BibTeX RDF
1	Alexander Metzner, Martin Fränzle, Christian Herde, Ingo Stierand	Scheduling Distributed Real-Time Systems by Satisfiability Checking.	RTCSA	2005	DBLP DOI BibTeX RDF
1	Toshihiro Matsui, Hirohisa Hirukawa, Yutaka Ishikawa, Nobuyuki Yamasaki, Satoshi Kagami, Fumio Kanehiro, Hajime Saito, Tetsuya Inamura	Distributed Real-Time Processing for Humanoid Robots.	RTCSA	2005	DBLP DOI BibTeX RDF
1	Shi-Wu Lo, Kam-yiu Lam, Tei-Wei Kuo	Real-Time Task Scheduling for SMT Systems.	RTCSA	2005	DBLP DOI BibTeX RDF
1	Simon Kågström, Håkan Grahn, Lars Lundberg	Experiences from Implementing Multiprocessor Support for an Industrial Operating System Kernel.	RTCSA	2005	DBLP DOI BibTeX RDF
1		Reviewers.	RTCSA	2005	DBLP DOI BibTeX RDF
1	Ching-Wen Chen, Chang-Jung Ku, Chih-Hung Chang	Designing a High Performance and Low Energy-Consuming Embedded System with Considering Code Compressed Environments.	RTCSA	2005	DBLP DOI BibTeX RDF	decompression engine, performance, Embedded system, locality, power consumption, code compress
1	Emna Bouazizi, Claude Duvallet, Bruno Sadeg	Multi-Versions Data for Improvement of QoS in RTDBS.	RTCSA	2005	DBLP DOI BibTeX RDF
1		Foreword.	RTCSA	2005	DBLP DOI BibTeX RDF
1	Hsin-hung Lin, Chih-wen Hsueh	Power-Aware Real-Time Scheduling Using Pinwheel Model and Profiling Technique.	RTCSA	2005	DBLP DOI BibTeX RDF
1	Stefan M. Petters	Deadline Spanning: A Graph Based Approach.	RTCSA	2005	DBLP DOI BibTeX RDF
1	Luis Alejandro Cortés, Petru Eles, Zebo Peng	Quasi-Static Scheduling for Multiprocessor Real-Time Systems with Hard and Soft Tasks.	RTCSA	2005	DBLP DOI BibTeX RDF
1	Wei Li, Lei Wang	Real-Time Solution in Petroleum Industry's Cyber Data Acquisition Simulation System.	RTCSA	2005	DBLP DOI BibTeX RDF
1	Sanjoy K. Baruah, Nathan Fisher	Real-Time Scheduling of Sporadic Task Systems When the Number of Distinct Task Types Is Small.	RTCSA	2005	DBLP DOI BibTeX RDF
1	Iain Bate	Dealing with Emergent Properties in Embedded Systems.	RTCSA	2005	DBLP DOI BibTeX RDF
1	Seongeun Yoo, Daeyoung Kim 0001, Minh-Long Pham, Yoonmee Doh, Eunchang Choi, Jae-Doo Huh	Scheduling Support for Guaranteed Time Services in IEEE 802.15.4 Low Rate WPAN.	RTCSA	2005	DBLP DOI BibTeX RDF
1	Hung Quoc Ngo 0001, Anjum Shehzad, Kim Anh Pham Ngoc, Sungyoung Lee, Manwoo Jeon	Research Issues in the Development of Context-Aware Middleware Architectures.	RTCSA	2005	DBLP DOI BibTeX RDF
1	Dag Nyström, Mikael Nolin, Christer Norström	Snapshots in Real-Time Databases Using Database Pointer Transactions.	RTCSA	2005	DBLP DOI BibTeX RDF
1	Roozbeh Jafari, Foad Dabiri, Majid Sarrafzadeh	An Efficient Placement and Routing Technique for Fault-Tolerant Distributed Embedded Computing.	RTCSA	2005	DBLP DOI BibTeX RDF
1	Jie Sun 0003, Zhaohui Wu 0001	A Comprehensive Context Model for Next Generation Ubiquitous Computing Applications.	RTCSA	2005	DBLP DOI BibTeX RDF	ubiquitous computing, middleware, context aware, context model
1	Traian Pop, Paul Pop, Petru Eles, Zebo Peng	Optimization of Hierarchically Scheduled Heterogeneous Embedded Systems.	RTCSA	2005	DBLP DOI BibTeX RDF
1	Chi-Sheng Shih 0001, Chia-Lin Yang, Mong-Kai Ku, Tei-Wei Kuo, Shao-Yi Chien, Yao-Wen Chang, Liang-Gee Chen	Reconfigurable Platform for Content Science Research.	RTCSA	2005	DBLP DOI BibTeX RDF
1	Usa Sammapun, Insup Lee 0001, Oleg Sokolsky	RT-MaC: Runtime Monitoring and Checking of Quantitative and Probabilistic Properties.	RTCSA	2005	DBLP DOI BibTeX RDF
1	Basem Almadani	RTPS Middleware for Real-Time Distributed Industrial Vision Systems.	RTCSA	2005	DBLP DOI BibTeX RDF
1	Iain Bate, Ralf Dieter Reutemann	Efficient Integration of Bimodal Branch Prediction and Pipeline Analysis.	RTCSA	2005	DBLP DOI BibTeX RDF
1	Stefan Andrei, Wei-Ngan Chin, Albert Mo Kim Cheng, Yongxin Zhu 0001	Runtime-Coordinated Scalable Incremental Checksum Testing of Combinational Circuits.	RTCSA	2005	DBLP DOI BibTeX RDF
1	Maria Riaz, Saad Liaquat Kiani, Sungyoung Lee, Sangman Han, Young-Koo Lee	Service Delivery in Context Aware Environments: Lookup and Access Control Issues.	RTCSA	2005	DBLP DOI BibTeX RDF
1	Tao Wang, Daxin Liu 0001	Scheduling AND/OR Precedence Constraints Jobs to Minimize the Makespan by Mapping from CPM to AND/OR Network.	RTCSA	2005	DBLP DOI BibTeX RDF
1	Dong Yu, Hu Lin, Ruifeng Guo, Jiangang Yang, Pengfei Xiao	The Research on Real-Time Middleware for Open Architecture Controller.	RTCSA	2005	DBLP DOI BibTeX RDF
1	Hiroyuki Yokoyama, Kenji Toda	FPGA-Based Content Protection System for Embedded Consumer Electronics.	RTCSA	2005	DBLP DOI BibTeX RDF
1	Zongkai Yang, Linfeng Yuan, Xu Du, Qifei Zhang	Multipath Load-Balancing Delivery Based on Decisive Energy Ratio in Wireless Sensor Networks.	RTCSA	2005	DBLP DOI BibTeX RDF
1	Junyang Zhou, Kenneth Man-Kin Chu, Joseph Kee-Yin Ng	An Improved Ellipse Propagation Model for Location Estimation in Facilitating Ubiquitous Computing.	RTCSA	2005	DBLP DOI BibTeX RDF
1	Won Eui Hong, Jae Shin Lee, Laxmisha Rai, Soon-Ju Kang	RT-Linux Based Hard Real-Time Software Architecture for Unmanned Autonomous Helicopters.	RTCSA	2005	DBLP DOI BibTeX RDF
1	Yehua Du, Ming Cai, Jinxiang Dong	Adaptive Energy-Aware Design of a Multi-Bank Flash-Memory Storage System.	RTCSA	2005	DBLP DOI BibTeX RDF	embedded system, flash-memory, energy-aware
1	GuangWei Zou, Xiang Liu	An Efficient Approach to Custom Instruction Set Generation.	RTCSA	2005	DBLP DOI BibTeX RDF	Major Block, Profiling, Hardware Acceleration, ASIPs, Custom Instruction
1	Laxmisha Rai, Soon-Ju Kang	Multi-Thread Based Synchronization of Locomotion Control in Snake Robots.	RTCSA	2005	DBLP DOI BibTeX RDF
1	Hailing Ju, Li Cui	EasiPC: A Packet Compression Mechanism for Embedded WSN.	RTCSA	2005	DBLP DOI BibTeX RDF	packet compression, wireless sensor network, power management
1	Young-Jin Kim 0002, Jihong Kim 0001	Exploration of Memory-Aware Dynamic Voltage Scheduling for Soft Real-Time Applications.	RTCSA	2005	DBLP DOI BibTeX RDF
1	Lionel M. Ni, Li Cui, Qiong Luo 0001, Hoilun Ngan, Ze Zhao	Status of the CAS/HKUST Joint Project BLOSSOMS.	RTCSA	2005	DBLP DOI BibTeX RDF
1	Jing Chen, Seongsoo Hong (eds.)	Real-Time and Embedded Computing Systems and Applications, 9th International Conference, RTCSA 2003, Tainan, Taiwan, February 18-20, 2003. Revised Papers	RTCSA	2004	DBLP DOI BibTeX RDF
1	Makoto Kurahashi, Andrej van der Zee, Eiji Tokunaga, Masahiro Nemoto, Tatsuo Nakajima	System Support for Distributed Augmented Reality in Ubiquitous Computing Environments.	RTCSA	2003	DBLP DOI BibTeX RDF
1	Antonio Martí Campoy, Sergio Sáez, Angel Perles, J. V. Busquets	Schedulability Analysis in EDF Scheduler with Cache Memories.	RTCSA	2003	DBLP DOI BibTeX RDF
1	Win-Bin See, Pao-Ann Hsiung, Trong-Yen Lee, Sao-Jie Chen	Software Platform for Embedded Software Development.	RTCSA	2003	DBLP DOI BibTeX RDF
1	Trong-Yen Lee, Pao-Ann Hsiung, I-Mu Wu, Feng-Shi Su	RESS: Real-Time Embedded Software Synthesis and Prototyping Methodology.	RTCSA	2003	DBLP DOI BibTeX RDF
1	Dong-Xiu Ou, Kam-yiu Lam, De-Cun Dong	An Energy-Efficient Route Maintenance Scheme for Ad Hoc Networking Systems.	RTCSA	2003	DBLP DOI BibTeX RDF	energy aware computing, data monitoring, Ad hoc networks, route maintenance
1	Lui Sha	Real-Time Virtual Machines for Avionics Software Porting and Development.	RTCSA	2003	DBLP DOI BibTeX RDF
1	Amare Mengesha Leulseged, Nimal Nissanke	Probabilistic Analysis of Multi-processor Scheduling of Tasks with Uncertain Parameters.	RTCSA	2003	DBLP DOI BibTeX RDF
1	Taehyoun Kim, Heonshik Shin	Scheduling-Aware Real-Time Garbage Collection Using Dual Aperiodic Servers.	RTCSA	2003	DBLP DOI BibTeX RDF
1	Anders Pettersson, Henrik Thane	Testing of Multi-Tasking Real-Time Systems with Critical Sections.	RTCSA	2003	DBLP DOI BibTeX RDF
1	Chin-Hsien Wu, Li-Pin Chang, Tei-Wei Kuo	An Efficient B-Tree Layer for Flash-Memory Storage Systems.	RTCSA	2003	DBLP DOI BibTeX RDF	Embedded Systems, Flash Memory, Storage Systems, Database Systems, B-Tree
1	Sangsoo Park, Heonshik Shin	Rigorous Modeling of Disk Performance for Real-Time Applications.	RTCSA	2003	DBLP DOI BibTeX RDF
1	Chi-Sheng Shih 0001, Jane W.-S. Liu, Infan Kuok Cheong	Scheduling Jobs with Multiple Feasible Intervals.	RTCSA	2003	DBLP DOI BibTeX RDF
1	Farn Wang, Fang Yu 0001	OVL Assertion-Checking of Embedded Software with Dense-Time Semantics.	RTCSA	2003	DBLP DOI BibTeX RDF
1	Minsoo Ryu, Seongsoo Hong	Deterministic and Statistical Deadline Guarantees for a Mixed Set of Periodic and Aperiodic Tasks.	RTCSA	2003	DBLP DOI BibTeX RDF
1	Joseph Kee-Yin Ng, Calvin Kin-Cheung Hui	The Design of a QoS-Aware MPEG-4 Video System.	RTCSA	2003	DBLP DOI BibTeX RDF	MPEG-4 Video System, Quality of Service, QoS Control, QoS-Aware
1	Hui-Ming Su, Jing Chen	Framework-Based Development of Embedded Real-Time Systems Hui-Ming Su and Jing Chen.	RTCSA	2003	DBLP DOI BibTeX RDF
1	Aleksandra Tesanovic, Dag Nyström, Jörgen Hansson, Christer Norström	Towards Aspectual Component-Based Development of Real-Time Systems.	RTCSA	2003	DBLP DOI BibTeX RDF
1	Kenta Matsumiya, Soko Aoki, Masana Murase, Hideyuki Tokuda	Zero-Stop Authentication: Sensor-Based Real-Time Authentication System.	RTCSA	2003	DBLP DOI BibTeX RDF
1	Pao-Ann Hsiung, Cheng-Yi Lin, Trong-Yen Lee	Quasi-Dynamic Scheduling for the Synthesis of Real-Time Embedded Software with Local and Global Deadlines.	RTCSA	2003	DBLP DOI BibTeX RDF	Periodic Time Petri Nets, quasi-dynamic scheduling, local and global deadlines, software synthesis, Real-time embedded software
1	Weirong Wang, Aloysius K. Mok	On the Composition of Real-Time Schedulers.	RTCSA	2003	DBLP DOI BibTeX RDF
1	Masateru Minami, Hiroyuki Morikawa, Tomonori Aoyama	An Interface-Based Naming System for Ubiquitous Internet Applications.	RTCSA	2003	DBLP DOI BibTeX RDF
1	Pangfeng Liu, Da-Wei Wang 0004, Yi-Heng Guo	An Approximation Algorithm for Broadcast Scheduling in Heterogeneous Clusters.	RTCSA	2003	DBLP DOI BibTeX RDF
1	Hsin-hung Lin, Chih-wen Hsueh, Guo-Chiuan Huang	BondingPlus: Real-Time Message Channel in Linux Ethernet Environment Using Regular Switching Hub.	RTCSA	2003	DBLP DOI BibTeX RDF	IEEE Link Aggregation Standard, channel bonding, network scheduling, packet scheduling
1	Jan Lindström, Tiina Niklander, Kimmo E. E. Raatikainen	Impact of Operating System on Real-Time Main-Memory Database System's Performance.	RTCSA	2003	DBLP DOI BibTeX RDF
1	Anders Wall, Johan Andersson, Jonas Neander, Christer Norström, Martin Lembke	Introducing Temporal Analyzability Late in the Lifecycle of Complex Real-Time Systems.	RTCSA	2003	DBLP DOI BibTeX RDF
1	Hsi-Wu Lo, Tei-Wei Kuo, Kam-yiu Lam	Multi-disk Scheduling for High-Performance RAID-0 Devices.	RTCSA	2003	DBLP DOI BibTeX RDF	RAID-0 devices, intelligent I/O, multimedia storage systems, multi-disk scheduling, real-time disk scheduling, I/O subsystems
1	Tai-Yi Huang, Chih-Chieh Chou, Po-Yuan Chen	Bounding the Execution Times of DMA I/O Tasks on Hard-Real-Time Embedded Systems.	RTCSA	2003	DBLP DOI BibTeX RDF
1	Hsung-Pin Chang, Ray-I Chang, Wei-Kuan Shih, Ruei-Chuan Chang	Real-Time Disk Scheduling with On-Disk Cache Conscious.	RTCSA	2003	DBLP DOI BibTeX RDF
1	Min Gyu Cho, Kang G. Shin	On Soft Real-Time Guarantees on Ethernet.	RTCSA	2003	DBLP DOI BibTeX RDF
1	Deming Liu, Yann-Hang Lee	An Efficient Switch Design for Scheduling Real-Time Multicast Traffic.	RTCSA	2003	DBLP DOI BibTeX RDF	Earliest Deadline First Round Robin, Quality of Service, Multicasting, Real-Time Communications, Packet Switching Network
1	Yoonmee Doh, Daeyoung Kim 0001, Yann-Hang Lee, C. Mani Krishna 0001	Constrained Energy Allocation for Mixed Hard and Soft Real-Time Tasks.	RTCSA	2003	DBLP DOI BibTeX RDF
1	Farn Wang, Geng-Dian Huang, Fang Yu 0001	Symbolic Simulation of Real-Time Concurrent Systems.	RTCSA	2003	DBLP DOI BibTeX RDF	state-based, model-checking, verification, specification, Assertions, event-driven
1	Erik Yu-Shing Hu, Andy J. Wellings, Guillem Bernat	XRTJ: An Extensible Distributed High-Integrity Real-Time Java Environment.	RTCSA	2003	DBLP DOI BibTeX RDF	Real-Time Java (RTJ), Distributed RTJ, Static Analysis Environment, Distributed Run-Time Environment, High-Integrity Systems
1	Mehdi Amirijoo, Jörgen Hansson, Sang Hyuk Son	Algorithms for Managing QoS for Real-Time Data Services Using Imprecise Computation.	RTCSA	2003	DBLP DOI BibTeX RDF
1	Chung-You Wei, Jen-Wei Hsieh, Tei-Wei Kuo, I-Hsiang Lee, Yian-Nien Wu, Mei-Chin Tsa	Resource Reservation and Enforcement for Framebuffer-Based Devices.	RTCSA	2003	DBLP DOI BibTeX RDF
1	Andrés Terrasa, Guillem Bernat	Extracting Temporal Properties from Real-Time Systems by Automatic Tracing Analysis.	RTCSA	2003	DBLP DOI BibTeX RDF
1	Dag Nyström, Aleksandra Tesanovic, Christer Norström, Jörgen Hansson	Database Pointers: A Predictable Way of Manipulating Hot Data in Hard Real-Time Systems.	RTCSA	2003	DBLP DOI BibTeX RDF
1	Jin-Ho Kim, Sang-Wook Kim, Dae-Yong Kim, Wan Choi	Implementing real-time scheduling daemon in general purpose operating system Unix.	RTCSA	2000	DBLP DOI BibTeX RDF	real-time scheduling daemon, general purpose operating system Unix, time sharing-based scheduling, real-time systems, processor scheduling, network operating systems, application programmers
1	Vangalur S. Alagar, D. Muthiayen	Towards a mechanical verification of real-time reactive systems modeled in UML.	RTCSA	2000	DBLP DOI BibTeX RDF	Prototype Verification System, real-time systems, UML, Unified Modeling Language, formal specification, object-oriented programming, program verification, specification languages, PVS, notation, safety-critical applications, mechanical verification, real-time reactive systems, design analysis, object-based systems
1	Anders Wall, Kristian Sandström, Jukka Mäki-Turja, Christer Norström, Wang Yi 0001	Verifying temporal constraints on data in multi-rate transactions using timed automata.	RTCSA	2000	DBLP DOI BibTeX RDF	temporal constraint verification, multi-rate transactions, nonpreemptive execution order, scheduling, real-time systems, real-time systems, program verification, transaction processing, computational models, timed automata, data dependencies, schedulability analysis, reachability analysis, reachability analysis, automata theory, end-to-end latency
1	Jin Hyun Son, Myoung-Ho Kim	Finding the critical path in a time-constrained workflow.	RTCSA	2000	DBLP DOI BibTeX RDF	time-constrained workflow, workflow control constructs, workflow control structures, workflow issues, workflow resource management, workflow time management, real-time systems, business processes, queueing theory, directed graphs, directed acyclic graphs, critical path, computer engineering, workflow management software
1	Daeyoung Kim 0001, Yann-Hang Lee	DC2 scheduling for aperiodic tasks in strongly partitioned real-time systems.	RTCSA	2000	DBLP DOI BibTeX RDF	DC/sup 2/ scheduling, aperiodic task scheduling, strongly partitioned real time systems, SP-RTS, integrated real time applications, two-level hierarchical scheduling mechanism, multiple partitions, multiple periodic tasks, fixed priority algorithm, Distance Constraint guaranteed Dynamic Cyclic scheduler, distance-constrained cyclic schedule, distance constraint characteristics, partition cyclic schedule, slack time calculation, dynamic operations, hard aperiodic tasks, DC/sup 2/, soft aperiodic tasks, acceptance rate, scheduling, real-time systems, computational complexity, online scheduling, cyclic scheduling, spatial partitioning, partition scheduling, dynamic applications
1	Jyhjong Lin	Real-time systems development: from structured analysis to object-oriented design.	RTCSA	2000	DBLP DOI BibTeX RDF	real time systems development, enhanced DFD model, system property verification, OO design model, fault tolerance, real-time systems, object-oriented programming, program verification, object oriented design, time constraint, structured analysis, structured programming, structured methods, execution control, object oriented techniques
1	Heejun Han, Seog Park, Chanjung Park	A concurrency control protocol for read-only transactions in real-time secure database systems.	RTCSA	2000	DBLP DOI BibTeX RDF	real-time secure database systems, data conflict resolution, ROT-FREEZE, freezing method, legacy protocols, serializability guarantee, performance evaluations, real-time systems, query processing, concurrency control, database management systems, queries, transaction processing, security of data, software performance evaluation, deadline, access protocols, security requirements, transaction scheduling, read-only transactions, real-time requirements, concurrency control protocol, update transactions
1	Håkan Sundell, Philippas Tsigas	Space efficient wait-free buffer sharing in multiprocessor real-time systems based on timing information.	RTCSA	2000	DBLP DOI BibTeX RDF	space-efficient wait-free algorithm, real-time multiprocessor systems, deadline guarantees, nonblocking algorithms, unbounded time-stamps, time-stamp bounding, concurrent read/write operations, real-time systems, protocol, data structures, data structures, timing, multiprocessing systems, mutual exclusion, blocking, buffer storage, timing information, shared buffer, memory protocols
1	Pao-Ann Hsiung, Farn Wang, Ruey-Cheng Chen	On the verification of Wireless Transaction Protocol using SGM and RED.	RTCSA	2000	DBLP DOI BibTeX RDF	Wireless Transaction Protocol verification, SGM, process concurrency, clock variables, discrete variables, intelligent permutation, explosion factors, scalable verification, State-Graph Manipulators, world standard, large clock constants, large discrete constants, Region Encoding Diagram, state-space size explosions, WTP verification, real time systems, protocols, data structures, data structures, formal verification, formal verification, mobile communication, Wireless Application Protocol, state spaces, RED, state-space methods, reduction techniques
1	Fernando L. Pelayo, Fernando Cuartero, Valentín Valero Ruiz, Diego Cazorla	An example of performance evaluation by using the stochastic process algebra: ROSA.	RTCSA	2000	DBLP DOI BibTeX RDF	ROSA, algebraic language, performance indexes, Reasoning On Stochastic Algebras, average time to send a message, performance evaluation, performance evaluation, fault tolerance, real-time systems, formal methods, temporal logic, case studies, specification languages, process algebra, algebraic specification, stochastic process algebra, real-time requirements, designs specifications, Alternating Bit Protocol, temporal requirements
1	Andrés Terrasa, Ana García-Fornes, Vicente J. Botti	Including user-defined timing exception support in FRTL.	RTCSA	2000	DBLP DOI BibTeX RDF	user-defined timing exception support, FRTL, flexible hard real-time systems, task deadlines, Flexible Real-Time Linux, CPU consumption, real-time systems, Unix, exception handling, worst-case execution time, operating systems (computers), run-time system, feasibility test
1	David Polock, Dieter Zöbel	Conformance testing of priority inheritance protocols.	RTCSA	2000	DBLP DOI BibTeX RDF	priority inheritance protocols, priority inversion problem, protocol interfaces, predictability criteria, scheduling, real-time systems, real time systems, protocols, operating systems, conformance testing, conformance testing, run-time systems, test suites, application programmer

Publications at "RTCSA"( http://dblp.L3S.de/Venues/RTCSA )