|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1599 occurrences of 804 keywords
|
|
|
Results
Found 1199 publication records. Showing 1199 according to the selection in the facets
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 |
Displaying result #801 - #900 of 1199 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|