|
|
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 | Jan Lindström, Kimmo E. E. Raatikainen |
Using importance of transactions and optimistic concurrency control in firm real-time databases. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
optimistic concurrency control protocol, transaction importance, hard real-time databases, database consistency requirements, heterogeneous transactions, OCC-PDATI, serialization order dynamic adjustment, prototype database system, performance, real-time systems, concurrency control, timing, database management systems, transaction processing, timing constraints, conflict resolution, access protocols |
1 | Yves Meylan, Aneema Bajpai, Riccardo Bettati |
ProtEx: a toolkit for the analysis of distributed real-time systems. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
ProtEx toolkit, distributed real-time systems analysis, Rate Monotonic Analysis framework, queuing policies, RMA approach, flexible resource modeling, scheduling, scheduling, real-time systems, prototyping, distributed processing, software tools, systems analysis, workload, software prototyping |
1 | Masayuki Iwai, Jin Nakazawa, Hideyuki Tokuda |
Dragon: soft real-time event delivering architecture for networked sensors and appliances. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
Dragon, soft real-time event delivering architecture, networked sensors, flexible event-driven systems, distributed networked devices, distributed services visualization, system updating, behavioural predictability, Java, Java, real-time systems, software architecture, distributed processing, Jini, modification, networked appliances, distributed sensors, computerised instrumentation |
1 | Pedro Mejía-Alvarez, Hakan Aydin, Daniel Mossé, Rami G. Melhem |
Scheduling optional computations in fault-tolerant real-time systems. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
optional computation scheduling, fault-tolerant real-time systems, failure hypothesis, combinatorial space, synthetic task sets, simulation, scheduling, real-time systems, computational complexity, heuristic algorithms, schedulability analysis, software fault tolerance, deadlines, run-time |
1 | Baek-Young Choi, Sejun Song, Nigel Birch, Jim Huang |
Probabilistic approach to switched Ethernet for real-time control applications. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
periodic control, switched Ethernet, real time control applications, ATM switching technology, probability based admission control algorithm, real time capability, control applications, queuing possibilities, periodic control system application, switched Ethernet admission control, real-time systems, asynchronous transfer mode, probability, local area networks, queueing theory, telecommunication congestion control, probabilistic approach, queuing delays, computerised control |
1 | Tatsuo Nakajima |
Explicit binding interface for supporting native ATM networks in a CORBA system. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
explicit binding interface, native ATM networks, network bandwidth reservation, GIOP, asynchronous transfer mode, CORBA, transport protocols, transport protocols, client-server systems, client server system, distributed object management, network bandwidth, IIOP |
1 | Li-Hsing Yen |
Probabilistic analysis of causal message ordering. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
causal message ordering, potential causality, unpredictable message delays, unbounded message delays, bounded message delays, deferred sending, delays, message passing, causality, probabilistic analysis, uniform distribution, exponential distribution, exponential distribution, modular decomposition |
1 | Björn Andersson, Jan Jonsson |
Fixed-priority preemptive multiprocessor scheduling: to partition or not to partition. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
fixed-priority preemptive multiprocessor scheduling, multiprocessor real-time scheduling, task set partitioning, uniprocessor scheduling, periodically arriving tasks, preemption costs, migration costs, real-time systems, processor scheduling, software performance evaluation, algorithm performance |
1 | Jörgen Hansson, Marcus Thuresson, Sang Hyuk Son |
Imprecise task scheduling and overload management using OR-ULD. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
imprecise task scheduling, OR-ULD, Utility Loss Density, overload resolution algorithm, Mandatory First algorithm, scheduling, real-time systems, real time system, computational complexity, error, performance studies, imprecise computation, overload management, value functions, transient overloads |
1 | Victor C. S. Lee, Kwok-Wa Lam, Sang Hyuk Son |
Real-time transaction processing with partial validation at mobile clients. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
real-time transaction processing, partial validation, conflicting mobile transactions, data conflict detection, two-stage validation mechanism, processing resources, communication resources, transaction execution schedules, unnecessary transaction aborts, avoidable delay removal, asymmetric communication, schedule, real-time systems, mobile computing, data integrity, delays, concurrency control, wireless communication, transaction processing, client-server systems, deadlines, access protocols, mobile computing environments, mobile clients, concurrency control protocols |
1 | Abdeslam En-Nouaary, Ferhat Khendek, Rachida Dssouli |
Testing embedded real-time systems. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
embedded real-time system testing, system correctness, implementation testing, real-time components, communicating timed input-output automata, testing in context, testing in isolation, timed Wp-method, embedded systems, formal specification, formal verification, program testing, conformance testing, conformance testing, timing constraints, safety-critical systems, test case generation, safety-critical software, automata theory, concurrent processes, communicating processes, system quality, partial product |
1 | Aloysius K. Mok |
Tracking Real-Time Systems Requirements. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Iain Bate, Guillem Bernat, G. Murphy, Peter P. Puschner |
Low-level analysis of a portable Java byte code WCET analysis framework. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
low-level analysis, portable Java byte code, machine-independent program flow analysis, machine-dependent timing analysis, worst-case execution frequencies, platform-dependent information, processor pipeline, platform-independent approach, Java, timing, software performance evaluation, pipeline processing, software portability, program diagnostics, worst-case execution time analysis, program constructs |
1 | Vangalur S. Alagar, L. Zhang |
Automatic code generation for real-time reactive systems in TROMLAB environment. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
TROMLAB environment, rigorous framework, railroad crossing problem, benchmark example, generic real time Java libraries, Java code, Java, real-time systems, program compilers, automatic programming, software libraries, automatic code generation, real time reactive systems, implementation model |
1 | Yukikazu Nakamoto, Yoshihiro Tsujino, Nobuki Tokura |
Real-time task scheduling algorithms for maximum utilization of secondary batteries in portable devices. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
secondary cells, power generation scheduling, power engineering computing, real time task scheduling algorithms, maximum utilization, secondary batteries, low power energy techniques, dynamic real time scheduling algorithms, secondary battery consumption, CPU frequency, real time scheduling algorithm, discrete frequency control, arbitrary frequency, real-time systems, computational complexity, computational complexity, NP-complete, portable devices, decision problem, portable computers, scheduling problem, task switching, real time tasks, amortized analysis, optimal scheduling algorithm, frequency control, frequency control |
1 | D. Muthiayen, Vangalur S. Alagar, Ferhat Khendek, Azimeh Sefidcon |
An approach to a synthesis of formal and visual description techniques for the development of real-time reactive systems. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
visual description techniques, real time reactive systems development, unified notation, user level modeling, implementation level, object oriented notation, Timed Reactive Object Model, TROM, semantic basis, mechanical translations, real-time systems, UML, object-oriented programming, program verification, specification languages, SDL, formal description techniques, program interpreters, abstraction levels, real time reactive systems, large scale applications, design analysis, object based systems |
1 | Hyung-Taek Lim, Seung-Min Yang |
A framework to model dependable real-time systems based on real-time object model. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
dependable real-time systems, real-time object model, fault-tolerant real-time systems, RobustRTO, robust real-time objects, RMO, region monitor real-time objects, object regions, abnormal behavior detection, system reconfiguration, real-time systems, embedded systems, fault tolerant computing, reconfigurable architectures, object-oriented methods, system recovery, system recovery, system monitoring, recovery blocks, N-version programming |
1 | Markus Lindgren, Hans Hansson, Henrik Thane |
Using measurements to derive the worst-case execution time. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
execution time analysis, program flow analysis, low level timing information, low level timing analysis, program execution times, timing measurements, instrumented version, program fragments, non-exhaustive measurements, program paths, realistic processor model, scheduling, real-time systems, real time systems, embedded systems, worst-case execution time, pipeline processing, schedulability analysis, program diagnostics, architectural modeling, pipeline architectures, flow graphs, timing estimates, target architecture, system of linear equations |
1 | Minseok Song 0001, Naehyuck Chang, Heonshik Shin |
A new queue discipline for various delay and jitter requirements in real-time packet-switched networks. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
fairness requirements, real-time packet-switched networks, data packet scheduling, service priority, jitter bound, Rate-controlled Frame-based Weighted Round Robin, frame-based WRR server, constant buffer space, scheduling, asynchronous transfer mode, delays, queueing theory, packet switching, bandwidth, ATM networks, rate controller, jitter, telecommunication traffic, end-to-end delays, delay bound |
1 | Byung-Kyu Choi, Riccardo Bettati |
Efficient resource management for hard real-time communication over differentiated services architectures. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
hard real-time communication, differentiated services architectures, sink trees, admission probability, link resource utilization, resource allocation, resource management, heuristic algorithm, NP-complete problem, resource reservation, computer network management, telecommunication services, simulation experiments |
1 | Yu-Sheng Huang, Chih-wen Hsueh |
Minimizing the maximum end-to-end delay on tree structure using the distributed pinwheel model. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
maximum end-to-end delay minimisation, distributed pinwheel model, end-to-end timing requirements, tight maximum delay bound, quality of service, Internet, computational complexity, timing, computer networks, heuristic algorithm, processor scheduling, timing constraints, simulation result, distributed real-time systems, tree structure, heuristic programming, NP-hard problems, linear-time algorithm, pipeline structure |
1 | Naijun Zhan |
Another formal proof for Deadline Driven Scheduler. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
Deadline Driven Scheduler, DDS correctness, random preemption, induction rules, induction propositions, intuitive facts, scheduling, real-time systems, theorem proving, process algebra, duration calculus, formal proof, DC |
1 | Patricia Balbastre, Ismael Ripoll, Alfons Crespo |
Control tasks delay reduction under static and dynamic scheduling policies. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
control task delay reduction, dynamic scheduling policy, static scheduling policy, control action delays, dynamic scheduling policies, data acquisition interval, control action interval, DAI, control design phase, scheduling, delays, control systems, industrial application, data acquisition, data acquisition, scheduling policies, static scheduling, control algorithms, EDF scheduling, industrial control, CAI, worst case response time, task decomposition, control performances, digital control |
1 | Joseph Kee-Yin Ng, Calvin Kin-Cheung Hui, Wai Wong |
A multi-server design for a distributed MPEG video system with streaming support and QoS control. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
multi-server design, distributed MPEG video system, streaming support, quality of service, video coding, network servers, QoS control |
1 | Hans Toetenel, Ronald F. Lutje Spelberg, G. Bandini |
Parametric verification of the IEEE 1394a Root Contention protocol using LPMC. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
IEEE 1394a standard, Root Contention protocol, LPMC, PMC model checker, parameter relations, real-time model checking, parameter timing intervals, real-time systems, protocols, formal verification, randomization, telecommunication standards, linear constraints, IEEE standards, parametric verification |
1 | James H. Anderson, Philip Holman |
Efficient pure-buffer algorithms for real-time systems. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
efficient pure-buffer algorithms, multiprocessor real-time systems, multi-writer read/write pure-buffers, overwritten data, client processes, handshaking mechanisms, concurrent read/write operations safety, quantum-scheduled systems, priority-scheduled systems, buffer word length, real-time systems, computational complexity, distributed algorithms, safety, multiprocessing systems, time complexity, processor scheduling, optimized algorithms, buffer storage, space complexity, wait-free algorithms, shared buffers, processor number |
1 | Joël Goossens, Sanjoy K. Baruah |
Multiprocessor algorithms for uniprocessor feasibility analysis. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
multiprocessor algorithms, uniprocessor feasibility analysis, uniprocessor real-time systems, asynchronous periodic tasks, preemptive earliest deadline first scheduling, scheduling, real-time systems, parallel algorithms, parallel algorithm, multiprocessing systems, parallel machines, parallel machines, task models, scheduling algorithms, deadlines, hard real-time system |
1 | Allalaghatta Pavan, Vipin Gopal, Sejun Song, Nigel Birch, Raja Harinath, David Castanon |
Admission control and resource allocation in a strictly priority based network. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
military communication, strict priority based network, dynamic information environments, DARPA AICE, Agile Information Control Environment, Adaptive Information Control, AIC framework, bottleneck priority, quality of service, real-time systems, real time system, middleware, resource allocation, resource allocation, admission control, client-server systems, communication channels, end-to-end quality of service, telecommunication channels, military applications |
1 | Libin Dong, Rami G. Melhem, Daniel Mossé |
Effect of scheduling jitter on end-to-end delay in TDMA protocols. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
scheduling jitter, TDMA protocols, time slot allocation algorithm, transmission rate, ETE delay bound, simulations, scheduling, distributed system, real-time systems, delays, time division multiple access, time division multiple access, jitter, real time communication, end-to-end delay, packet delay, destination node |
1 | Ahmed Khoumsi |
A new method for testing real time systems. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
real-time systems testing, test sequence executability, test sequence execution, real-time systems, constraints, automatic test pattern generation, program testing, timed automata, conformance testing, conformance testing, sequences, test case generation, automata theory, state explosion, test architecture, test sequence generation, continuous-time systems |
1 | Hyungill Kim, Sungyoung Lee, Byeong-Soo Jeong |
An improved feasible shortest path real-time fault-tolerant scheduling algorithm. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
feasible shortest path real time fault tolerant scheduling algorithm, real time single processor environment, queue based scheduling techniques, feasible shortest path algorithm, linear time heuristics, FSP algorithm, optimal fault tolerant schedules, LTH algorithm, real time scheduling performance, backup scheduling, minimum inter-fault time, primary tasks, fault tolerant schedule, backup schedules, scheduling, fault tolerance, real-time systems, computational complexity, fault tolerant computing, queueing theory, time complexity, timing constraints, system performance, greedy heuristics, time interval, real time computer systems |
1 | Alexander Münnich |
PRED-DF - a data flow based semantic concurrency control protocol for real-time main-memory database systems. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
PRED-DF semantic concurrency control protocol, predeclaration, real-time main-memory database systems, locking-based protocol, serializable schedule generation, blocking time minimization, predictable behaviour, real-time requirements verification, scheduling, real-time systems, predictability, concurrency control, database management systems, task scheduling, data flow analysis, data flow analysis, deadlines, access protocols, hard real-time systems, safety-critical software, safety-critical applications, verification methods |
1 | Jochen Kreuzinger, A. Schulz, Matthias Pfeffer, Theo Ungerer, Uwe Brinkschulte, C. Krakowski |
Real-time scheduling on multithreaded processors. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
core processor, real-time events, interrupt service threads, interrupt service routines, zero-cycle context switching, fixed priority preemptive, least laxity first, embedded systems, real-time scheduling, processor scheduling, system-on-a-chip, multi-threading, earliest deadline first, multithreaded processors |
1 | Luca Abeni, Giorgio C. Buttazzo |
Support for dynamic QoS in the HARTIK kernel. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
dynamic QoS support, HARTIK, hard real-time kernel, control applications, soft real-time applications, service mechanism, temporal protection abstraction, service quality manager, reserved resource adaptation, task requirements, quality of service, real-time systems, stability, multimedia applications, multimedia computing, operating system kernels, computerised control, robot applications |
1 | Seungwoo Son, Chaedeok Lim, Heung-Nam Kim |
Debugging protocol for remote cross development environment. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
debugging protocol, remote cross development environment, Internet appliances, embedded software development tools, host tools, binary utilities, remote debugger, interactive shell, real time resource monitors, heavy host-target communication overhead, target monitor programs, host-resident tools, target agent, Esto, Embedded Systems Toolset, Internet based embedded applications, Internet, embedded systems, protocols, program debugging, operating systems (computers), RTOS, UDP/IP, cross compilers |
1 | Hakan Aydin, Rami G. Melhem, Daniel Mossé |
Optimal scheduling of imprecise computation tasks in the presence of multiple faults. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
imprecise computation tasks, real-time computing models, nondecreasing reward function, FT Optimal framework, transient fault tolerance, scheduling, real-time systems, image processing, multimedia, software fault tolerance, multiple faults, speech processing, optimal scheduling |
1 | |
7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 12-14 December 2000, Cheju Island, South Korea |
RTCSA |
2000 |
DBLP BibTeX RDF |
|
1 | Mats Lindgren, Hans Hansson, Christer Norström, Sasikumar Punnekkat |
Deriving reliability estimates of distributed real-time systems by simulation. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
timing guarantees, simulation based methodology, scheduling paradigms, schedulability, real-time systems, formal verification, virtual machines, software reliability, network topologies, task models, distributed programming, processor scheduling, distributed real-time systems, reliability analysis, reliability estimates |
1 | Stefan M. Petters |
Bounding the execution time of real-time tasks on modern processors. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
task execution time, modern processors, embedded hard real time systems, up-to-date processors, fast core frequency, systematic information, real-time systems, computer architecture, complex systems, control flow graph, main memory, flow graphs, optimising compilers, real time tasks, acceleration techniques |
1 | Miseon Choi, Hye-Sook Yoon, Eun-Mi Song, Young-Keol Kim, Young-Kuk Kim, Seong-Il Jin, Mi-kyong Han, Wan Choi |
Two-step backup mechanism for real-time main memory database recovery. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
back-up procedures, two-step backup mechanism, real-time main-memory database recovery, system recovery time, undo/redo logs, backup processing, shadow memory area, stable memory, backup buffer, backup disk, worst-case performance analysis, real-time systems, predictability, database management systems, checkpointing, transaction processing, transaction processing, response time, system recovery, buffer storage, logging, disk I/O |
1 | Chris C. H. Ngan, Kam-yiu Lam |
Real-time multiple video player systems. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
real-time multiple video player systems, priority assignment mechanism, feedback capture video mechanism, optimum configuration factors, priority group mapping, performance evaluation, real-time scheduling, multimedia systems, processor scheduling, performance improvement, distributed multimedia system, Windows NT |
1 | In Ryu |
Current Issues and Challenges in Embedded Software Development. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | James H. Anderson, Anand Srinivasan |
Pfair scheduling: beyond periodic task systems. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
Pfair scheduling, periodic task systems, ER-fair scheduling, intra-sporadic tasks, scheduling, real-time systems, real time systems, computational complexity, polynomial-time algorithm |
1 | Sergio Sáez, Joan Vila i Carbó, Alfons Crespo |
Task attribute assignment of fixed priority scheduled tasks to reenact off-line schedules. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
aperiodic transactions, hard aperiodic tasks, earliest deadline first algorithm, deadline modifications, dynamically-calculated response times, dynamic slack stealing algorithm, minimal response times, release time constraints, hard aperiodic distributed processes, distributed systems, distributed processing, processor scheduling, release time, precedence relations, periodic tasks scheduling |
1 | Radu Dobrin, Yusuf Özdemir, Gerhard Fohler |
Task attribute assignment of fixed priority scheduled tasks to reenact off-line schedules. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
task attribute assignment, fixed priority scheduled tasks, offline schedules, time triggered approaches, end-to-end deadlines, processor scheduling, jitter, jitter |
1 | Hacène Fouchal, Eric Petitjean, Sébastien Salva |
Testing timed systems with timed purposes. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
timed systems testing, timed purposes, timed counterpart, timed input/output automaton, canonical tester, protocols, conformance testing, time constraints, labeled transition system, automata theory |
1 | Giorgio C. Buttazzo |
From Hard to Soft Real-Time Systems: Predictability vs. Efficiency. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Elisabeth Uhlemann, Per-Arne Wiberg, Tor Aulin, Lars K. Rasmussen |
Deadline dependent coding-a framework for wireless real-time communication. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
deadline dependent coding, wireless real-time communication, DDC protocol, quality of service, real-time systems, encoding, decoding, real-time communication, automatic repeat request, automatic repeat request, wireless channel, block codes, block codes, soft decision decoding, quality of service parameters |
1 | Dong-Hwan Park, Soon-Ju Kang |
IEEE1394 OHCI device driver architecture for guarantee real-time requirement. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
IEEE1394 OHCI device driver architecture, guaranteed real time requirement, priority based packet queueing, interrupt latency time, ISR, Interrupt Service Routine, device driver level support, real time characteristics, high priority applications, digital multimedia services, hard real time instrumentation, control applications, real-time systems, queueing theory, packet switching, interrupts, client-server systems, home networks, device drivers, QoS guarantees, real time requirements, real time middleware |
1 | Saehwa Kim, Sukjae Cho, Seongsoo Hong |
Schedulability-aware mapping of real-time object-oriented models to multi-threaded implementations. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
schedulability-aware mapping, multithreaded implementations, real time software developers, object oriented CASE tools, non-trivial optimization problem, task identification, schedulability-aware approach, mutually exclusive transactions, schedulability analysis algorithm, executable code, task derivation problem, scheduling, real-time systems, object-oriented programming, case study, real time schedulability, task model, multi-threading, computer aided software engineering, CASE tools, run-time system, design model, automated synthesis, object oriented design methods, real time object oriented models |
1 | Chi-Min Lin, Tien-Fu Chen |
Dynamic memory management for real-time embedded Java chips. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
storage management chips, dynamic runtime memory management, real-time embedded Java chips, CPU design, hardware-assisted scheme, dynamic garbage collection mechanism, predictable memory allocation time, data transition events, circular heap, simulation, Java, embedded systems, response time, memory architecture, memory architecture, storage allocation, coprocessors, resource constraints, real-time constraints, co-processor |
1 | Kevin Jeffay, Gerardo Lamastra |
A comparative study of the realization of rate-based computing services in general purpose operating systems. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
architectures scheduling, rate-based computing services, late-based scheduling schemes, FreeBSD operating system, server-based scheme, application level tasks, scheduling system calls, rate-based scheduling, Layland scheduling, device processing, resource allocation, processor scheduling, network interfaces, general purpose operating systems |
1 | Seong Woo Kwak, Byung-Jae Choi, Byung Kook Kim |
Checkpointing strategy for multiple real-time tasks. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
multiple real time tasks, checkpointing strategy, task deadlines, checkpoint placement, approximated failure probability, real-time systems, probability, system recovery, error bound |
1 | Kristian Sandström, Christer Norström, Magnus Ahlmark |
Frame packing in real-time communication. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
frame packing, common computational model, signal exchange, physical device, signal size, deadline requirement, broadcast bus, variable sized frames, resource perspective, periodic frames, network bandwidth requirement, simple heuristics, signal sets, CAN based system, Local Interconnect Network, cost sensitive embedded systems, car control systems, real-time systems, computational complexity, distributed processing, NP-hard, communication networks, bandwidth allocation, real time communication, microcontrollers, microcontrollers, controller area networks, distributed embedded systems, objective function, automobiles, automotive applications, production cost |
1 | Song Wang, Yu-Chung Wang, Kwei-Jay Lin |
Integrating the fixed priority scheduling and the total bandwidth server for aperiodic tasks. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
total bandwidth server, aperiodic job scheduling, priority-based weighted fair queueing schedule, session delay, leaky bucket model, scheduling, real-time systems, delays, computer networks, queueing theory, bandwidth, response time, bandwidth allocation, sliding window, fixed priority scheduling, real-time networks |
1 | Daeyoung Kim 0001, Yann-Hang Lee, Mohamed F. Younis |
SPIRIT-μKernel for strongly partitioned real-time systems. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
SPIRIT-/spl mu/Kernel, strongly partitioned real-time systems, integrated application modules, integrated real-time systems, two-level hierarchical scheduling methodology, real-time constraint guarantees, address management, interrupt dispatching, exception dispatching, inter-application communication, application-level real-time operating systems, WindRiver VxWorks, Cygnus eCos, dependable integration, real-time systems, reliability, software architecture, software architecture, software reliability, software reusability, reusability, software portability, subroutines, operating system kernels, overheads, microkernel, cost reduction, integrated software, application scheduling |
1 | Jan Gustafsson |
Eliminating annotations by automatic flow analysis of real-time programs. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
automatic flow analysis, path information, safe approximation, calculation cost, exact information, intractable problem, nontrivial programs, real-time systems, annotations, abstract interpretation, worst case execution time, WCET, automatic programming, program diagnostics, real time programs, infeasible paths |
1 | Pascal Chevochot, Isabelle Puaut |
Holistic schedulability analysis of a fault-tolerant real-time distributed run-time support. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
holistic schedulability analysis, fault-tolerant real time distributed run-time support, application tasks, distributed dependable hard real time applications, tick scheduler, unreliable communication protocol, multiple tasks, real-time systems, fault tolerant computing, processor scheduling, schedulability analysis, multiprogramming, hard real time system, run-time support, run-time supports, fault tolerance capabilities, temporal behavior, real time kernel, feasibility test |
1 | Jan Lindström |
Extensions to optimistic concurrency control with time intervals. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
optimistic approach, RTDBS, restart overhead, unnecessary restart problem, OCC-TI, Optimistic Concurrency Control with Time Intervals, basic dynamic adjustment, serialization order conflict resolution method, real-time systems, protocols, concurrency control, optimisation, transaction processing, real time database systems, real time database system, optimistic concurrency control, time intervals, locking protocols |
1 | LihChyun Shu, Michal Young |
Chopping and versioning real-time transactions to avoid remote blocking. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
real time transaction versioning, remote blocking, versioning protocols, chopping analysis, pure locking protocols, 1-version serializability, design time information, simple data structures, small bounded overheads, worst case access times, scheduling, real-time systems, protocols, concurrency control, multiprocessors, multiprocessing systems, transaction processing, configuration management, schedulability analysis, hard real time systems, critical sections, locking protocols, database concurrency control |
1 | Henrik Theiling |
Extracting safe and precise control flow from binaries. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
safe precise control flow extraction, binary executables, instruction sequence clustering, branch targets, block boundaries, safety-critical real-time systems, graph approximation, entry points, instruction blocks, instruction routines, real-time systems, uncertainties, sequences, safety-critical software, program diagnostics, control flow graph, program control structures, static program analysis, flow graphs, bottom-up approach |
1 | Stefan M. Petters, Georg Färber |
Making Worst Case Execution Time Analysis for Hard Real-Time Tasks on State of the Art Processors Feasible. |
RTCSA |
1999 |
DBLP DOI BibTeX RDF |
WCET analyses, caches, hard real-time, control flow analysis, automated measurement |
1 | Jan Lindström, Kimmo E. E. Raatikainen |
Dynamic Adjustment of Serialization Order Using Timestamp Intervals in Real-Time Databases. |
RTCSA |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Abdeslam En-Nouaary, Ferhat Khendek, Rachida Dssouli |
Fault Coverage in Testing Real-Time Systems. |
RTCSA |
1999 |
DBLP DOI BibTeX RDF |
Real-Time Systems, Testing, Specification, Implementation, Timed Automata, Fault Coverage |
1 | Hakan Aydin, Rami G. Melhem, Daniel Mossé |
Incorporating Error Recovery into the Imprecise Computation Model. |
RTCSA |
1999 |
DBLP DOI BibTeX RDF |
Fault-Tolerant Scheduling, Aperiodic Scheduling, Real-Time Scheduling, Error Recovery, Imprecise Computation |
1 | Henrik Thane, Hans Hansson |
Handling Interrupts in Testing of Distributed Real-Time Systems. |
RTCSA |
1999 |
DBLP DOI BibTeX RDF |
scheduling, Testing, interrupts, testability, determinism, distributed real-time systems, reproducibility, response-time analysis, sporadic tasks, probe-effect |
1 | Shibin Song, Joseph Kee-Yin Ng, Bihai Tang |
Statistical Delay Analysis with Self-Similar Input Traffic in ATM Networks. |
RTCSA |
1999 |
DBLP DOI BibTeX RDF |
Real-Time ATM Networks, Statistical Delay Analysis, Efficient Delay Computation, Performance Evaluation, Self-similar Traffic |
1 | Jakob Engblom, Andreas Ermedahl |
Pipeline Timing Analysis Using a Trace-Driven Simulator. |
RTCSA |
1999 |
DBLP DOI BibTeX RDF |
pipeline analysis, embedded systems, WCET, hard real-time |
1 | Ansgar Fehnker |
Scheduling a Steel Plant with Timed Automata. |
RTCSA |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Yun Wang, Manas Saksena |
Scheduling Fixed-Priority Tasks with Preemption Threshold. |
RTCSA |
1999 |
DBLP DOI BibTeX RDF |
Preemption Threshold, Worst-Case Response Time, Schedulability, Fixed-Priority Scheduling |
1 | Jarno Knuutila |
System Specification of Wireless Multimedia Engines: A Data Fusion Approach. |
RTCSA |
1999 |
DBLP DOI BibTeX RDF |
Multimedia Application Platforms, Specification of Embedded Systems, Wireless Multimedia |
1 | Daniel Simon, Roger Pissard-Gibollet, Konstantinos Kapellos, Bernard Espiau |
Synchronous Composition of Discretized Control Actions: Design, Verification and Implementation with ORCCAD . |
RTCSA |
1999 |
DBLP DOI BibTeX RDF |
continuous/discrete time, control oriented applications, formal verification, programming environment, synchronous programming |
1 | Joël Goossens, Raymond R. Devillers |
Feasibility Intervals for the Deadline Driven Scheduler with Arbitrary Deadlines. |
RTCSA |
1999 |
DBLP DOI BibTeX RDF |
hard real-time scheduling, periodic task set, feasibility interval, Deadline driven scheduler, arbitrary deadline |
1 | Byung-Kyu Choi, Riccardo Bettati |
Bandwidth Reservation for Real Time Traffic in Wireless Mobile Environment. |
RTCSA |
1999 |
DBLP DOI BibTeX RDF |
Wireless Bandwidth Reservation, Handoff Dropping, New Call Blocking, Call Admission Control |
1 | Rui-An Lou, Chen-Khong Tham |
Real-Time Data Transfer Using a Real-Time SNMP MIB. |
RTCSA |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Eun-Mi Song, Chanho Ryu, Mi-Sun Choi, Young-Kuk Kim, Seong-Il Jin, Young-Keol Kim, Mi-kyong Han, Wan Choi |
No-Log Recovery Mechanism Using Stable Memory For Real-Time Main Memory Database Systems. |
RTCSA |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Li Li 0024, Jifeng He 0001 |
A Denotational Semantics of Timed RSL Using Duration Calculus. |
RTCSA |
1999 |
DBLP DOI BibTeX RDF |
software engineering, formal methods, Real-time requirements, design specification |
1 | Yann-Hang Lee, C. Mani Krishna 0001 |
Voltage-Clock Scaling for Low Energy Consumption in Real-Time Embedded Systems. |
RTCSA |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Y. Tachi, Satoshi Yamane |
Real-Time Symbolic Model Checking for Hard Real-Time Systems. |
RTCSA |
1999 |
DBLP DOI BibTeX RDF |
real-time symbolic model checking, real-time systems, timed automaton, real-time temporal logic |
1 | Karsten Strehl |
Interval Diagrams: Increasing Efficiency of Symbolic Real-Time Verification. |
RTCSA |
1999 |
DBLP DOI BibTeX RDF |
timed reachability analysis, real-time symbolic model checking, Formal verification, timed automata, binary decision diagrams |
1 | Byung-Sun Lee, Seung-Sun Lee, Mi-kyong Han, Wan Choi, Kyung Pyo Jun |
Development of a Host DBMS for Testing Switching System Software. |
RTCSA |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Krithi Ramamritham |
Can Real-Time Systems Be Built from Off-the-shelf Components? |
RTCSA |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Lundqvist, Per Stenström |
A Method to Improve the Estimated Worst-Case Performance of Data Caching. |
RTCSA |
1999 |
DBLP DOI BibTeX RDF |
predictable data structure, Real-time systems, timing analysis, worst-case execution time, cache analysis |
1 | Jörgen Hansson, Sten F. Andler, Sang Hyuk Son |
Value-Driven Multi-Class Overload Management. |
RTCSA |
1999 |
DBLP DOI BibTeX RDF |
statistical skip scheduling, scheduling, overload management |
1 | Iain Bate, Alan Burns 0001 |
A Framework for Scheduling in Safety-Critical Embedded Control Systems. |
RTCSA |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Shigero Sasaki, Takashi Matsumoto 0002, Kei Hiraki |
On the Schedulability Conditions on Partial Time Slots . |
RTCSA |
1999 |
DBLP DOI BibTeX RDF |
Scheduling, Formal methods, Real-time requirements |
1 | José G. Neves, Lilian N. de Faria, Célio Estevan Morón |
Integration of Tools for Parallel Real-Time Systems. |
RTCSA |
1999 |
DBLP DOI BibTeX RDF |
scheduling, real-time, tools |
1 | Ruud C. M. de Rooij, Jan van Katwijk |
An Approach Towards Formal Verification of Object Oriented Real-Time Systems. |
RTCSA |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Ihn-Han Bae |
A Quorum-Based Dynamic Location Management Method for Mobile Computings. |
RTCSA |
1999 |
DBLP DOI BibTeX RDF |
location management, quorum, mobile computing systems |
1 | Johan Eker, Anton Cervin |
A Matlab Toolbox for Real-Time and Control Systems Co-Design. |
RTCSA |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Sijing Zhang, E. Stewart Lee |
Efficient Global Allocation of Synchronous Bandwidths for Hard Real-Time Communication with the Timed Token MAC Protocol. |
RTCSA |
1999 |
DBLP DOI BibTeX RDF |
Hard real-time communication, timed token medium access control protocol, synchronous bandwidth allocation (SBA), global/local SBA schemes, FDDI networks, synchronous messages |
1 | Pascal Chevochot, Isabelle Puaut |
Scheduling Fault-Tolerant Distributed Hard Real-Time Tasks Independently of the Replication Strategies. |
RTCSA |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Andrés Terrasa, Ana García-Fornes |
Real-Time Synchronization Between Hard and Soft Tasks in RT-Linux. |
RTCSA |
1999 |
DBLP DOI BibTeX RDF |
real-time synchronization, real-time operating systems, priority inheritance |
1 | Martin Naedele |
Fault-Tolerant Real-Time Scheduling under Execution Time Constraints. |
RTCSA |
1999 |
DBLP DOI BibTeX RDF |
primary/backup, simulation, fault-tolerance, heuristics, real-time scheduling, multiprocessor scheduling, online scheduling |
1 | Neil C. Audsley, I. J. Bate, Alan Grigg |
Portable Code for Complex Critical Systems . |
RTCSA |
1999 |
DBLP DOI BibTeX RDF |
|
1 | LihChyun Shu, Chang-Ming Tsai |
State Restoration in Real-Time Systems. |
RTCSA |
1999 |
DBLP DOI BibTeX RDF |
state restoration, domino effect, Fault tolerance, concurrency control, failure recovery, backward error recovery |
1 | Luca Abeni, Giorgio C. Buttazzo |
Adaptive Bandwidth Reservation for Multimedia Computing. |
RTCSA |
1999 |
DBLP DOI BibTeX RDF |
Multimedia, Resource Management, Soft Real-Time |
1 | Philippas Tsigas, Yi Zhang 0004 |
Non-Blocking Data Sharing in Multiprocessor Real-Time Systems. |
RTCSA |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Song Wang, Yu-Chung Wang, Kwei-Jay Lin |
A Priority-Based Weighted Fair Queuing Scheduler for Real-Time Network. |
RTCSA |
1999 |
DBLP DOI BibTeX RDF |
PWFQ, bandwidth guarantee, sliding window, delay bound, Real-Time Network, Weighted Fair Queuing |
1 | Sun-Mi Jun, Dong-Hui Yu, Young-Ho Kim, Soon-Yong Seong |
A Time Synchronization Method for NTP. |
RTCSA |
1999 |
DBLP DOI BibTeX RDF |
clock modeling, time synchronization, embedded system design, time management, NTP |
Displaying result #901 - #1000 of 1199 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|