Search results for "RTCSA"

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

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