|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1968 occurrences of 928 keywords
|
|
|
|
|
Results
Found 1360 publication records. Showing 1360 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 4 | Fang Feng, Sanjay Kamat, Wei Zhao |
Guaranteeing application-to-application deadlines in distributed real-time systems. (PDF / PS)  |
LCN  |
1995 |
DBLP DOI BibTeX RDF |
application-to-application deadlines, message deadlines, independent method, conservative estimates, host utilization, performance evaluation, real-time systems, distributed real-time systems, message delays |
| 4 | David W. Craig, C. Murray Woodside |
The Rejection Rate for Tasks with Random Arrivals, Deadlines, and Preemptive Scheduling.  |
IEEE Trans. Software Eng.  |
1990 |
DBLP DOI BibTeX RDF |
rejection rate for tasks, random arrivals, random-arrivals-with-deadlines, rejection probabilities, scheduling, performance evaluation, real-time systems, queueing theory, deadlines, preemptive scheduling, RAD |
| 3 | Rodolfo Gómez |
A Compositional Translation of Timed Automata with Deadlines to Uppaal Timed Automata.  |
FORMATS  |
2009 |
DBLP DOI BibTeX RDF |
Urgent actions, Timed Automata with Deadlines, Uppaal |
| 3 | Areej Zuhily, Alan Burns |
Exact scheduling analysis of non-accumulatively monotonic multiframe tasks.  |
Real-Time Systems  |
2009 |
DBLP DOI BibTeX RDF |
Multiframe, Frame specific deadlines, Scheduling, Arbitrary deadlines |
| 3 | 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 |
| 3 | Marco Caccamo, Giuseppe Lipari, Giorgio C. Buttazzo |
Sharing Resources among Periodic and Aperiodic Tasks with Dynamic Deadlines. (PDF / PS)  |
IEEE Real-Time Systems Symposium  |
1999 |
DBLP DOI BibTeX RDF |
hybrid task sets, dynamic deadlines, Real-time scheduling, resource constraints |
| 3 | Jinsung Cho, Heonshik Shin |
Heuristic scheduling for multimedia streams with firm deadlines.  |
RTCSA  |
1997 |
DBLP DOI BibTeX RDF |
heuristic scheduling, firm deadlines, real-time manipulation, admission control criteria, multimedia task sets, simulation, multimedia streams, heuristic programming, graceful degradation, QoS parameters, scheduling scheme, heuristic functions, heuristic function |
| 3 | Guillem Bernat, Alan Burns |
Combining (/sub m//sup n/)-hard deadlines and dual priority scheduling. (PDF / PS)  |
IEEE Real-Time Systems Symposium  |
1997 |
DBLP DOI BibTeX RDF |
(/sub m//sup n/)-hard deadlines, dual priority scheduling, soft tasks, dual priority mechanism, dynamic priority, real-time system, processor scheduling, temporal constraint, fixed priority scheduling, average response time |
| 3 | Wei Kuan Shih, Jane W.-S. Liu, C. L. Liu |
Modified Rate-Monotonic Algorithm for Scheduling Periodic Jobs with Deferred Deadlines.  |
IEEE Trans. Software Eng.  |
1993 |
DBLP DOI BibTeX RDF |
modified rate-monotonic algorithm, periodic jobs, deferred deadlines, semi-static priority-driven algorithm, time instant, old requests, current request, independent jobs, request deadline, deterministic scheduling theory, scheduling, real-time systems, real-time systems, computational complexity, embedded systems, operating system, scheduling algorithms, job scheduling, operating systems (computers), multiprogramming, feasibly scheduled |
| 3 | Krithi Ramamritham, John A. Stankovic, Perng-Fei Shiah |
Efficient Scheduling Algorithms for Real-Time Multiprocessor Systems.  |
IEEE Trans. Parallel Distrib. Syst.  |
1990 |
DBLP DOI BibTeX RDF |
real-time multiprocessor systems, worst-case computation times, partial schedule, scheduling, real-time systems, multiprocessing systems, scheduling algorithms, dynamic scheduling, deadlines, deadlines, resources requirements, feasible schedule, heuristic functions |
| 2 | Enrico Bini, Giorgio C. Buttazzo |
The space of EDF deadlines: the exact region and a convex approximation.  |
Real-Time Systems  |
2009 |
DBLP DOI BibTeX RDF |
Deadline assignment, Performance optimization, Earliest deadline first |
| 2 | Gul N. Khan, Anika Awwal |
Codesign of Embedded Systems with Process/Module Level Real-Time Deadlines.  |
CSE  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Yossi Azar, Uriel Feige, Iftah Gamzu, Thomas Moscibroda, Prasad Raghavendra |
Buffer management for colored packets with deadlines.  |
SPAA  |
2009 |
DBLP DOI BibTeX RDF |
dram scheduling, online algorithms, buffer management, packets scheduling, earliest deadline first |
| 2 | Tim Nonner, Alexander Souza |
A 5/3-Approximation Algorithm for Joint Replenishment with Deadlines.  |
COCOA  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Henrique Lopes Cardoso, Eugénio C. Oliveira |
Flexible deadlines for directed obligations in agent-based business contracts.  |
AAMAS  |
2009 |
DBLP DOI BibTeX RDF |
normative behavior, contract, norms, deadline |
| 2 | Luís Fernando Orleans, Geraldo Zimbrão |
MIDAS: A Middleware for Information Systems with QoS Concerns.  |
ICEIS  |
2009 |
DBLP DOI BibTeX RDF |
QoS for Databases, Transactions with deadlines, Database Performance, Midas |
| 2 | Theodore P. Baker, Sanjoy K. Baruah |
An analysis of global edf schedulability for arbitrary-deadline sporadic task systems.  |
Real-Time Systems  |
2009 |
DBLP DOI BibTeX RDF |
Sporadic task systems, Schedulability analysis, Multiprocessor scheduling, EDF, Earliest deadline first, Global scheduling, Arbitrary deadlines |
| 2 | Stanley P. Y. Fung, Feifeng Zheng, Wun-Tat Chan, Francis Y. L. Chin, Chung Keung Poon, Prudence W. H. Wong |
Improved on-line broadcast scheduling with deadlines.  |
J. Scheduling  |
2008 |
DBLP DOI BibTeX RDF |
Online algorithms, Competitive analysis, Broadcast scheduling |
| 2 | Egon Balas, Neil Simonetti, Alkis Vazacopoulos |
Job shop scheduling with setup times, deadlines and precedence constraints.  |
J. Scheduling  |
2008 |
DBLP DOI BibTeX RDF |
Traveling salesman problem with time windows shifting bottleneck, Dynamic programming, Sequence-dependent setup times |
| 2 | Cong Liu, Sanjeev Baskiyar |
Scheduling Mixed Tasks with Deadlines in Grids Using Bin Packing.  |
ICPADS  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Guillaume Piolle, Yves Demazeau |
Obligations with Deadlines and Maintained Interdictions in Privacy Regulation Frameworks.  |
IAT  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Guido Boella, Jan Broersen, Leendert van der Torre |
Reasoning about Constitutive Norms, Counts-As Conditionals, Institutions, Deadlines and Violations.  |
PRIMA  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Arezou Mohammadi, Selim G. Akl, Firouz Behnamfar |
QoS-based optimal logarithmic-time uplink scheduling algorithm for packets with hard or soft deadlines in WiMAX.  |
PIMRC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | T. A. Guldemond, Johann Hurink, Jacob Jan Paulus, J. M. J. Schutten |
Time-constrained project scheduling.  |
J. Scheduling  |
2008 |
DBLP DOI BibTeX RDF |
Strict deadlines, Project scheduling |
| 2 | Hans-Joachim Böckenhauer, Juraj Hromkovic, Joachim Kneis, Joachim Kupke |
The Parameterized Approximability of TSP with Deadlines.  |
Theory Comput. Syst.  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Praveen Kumar Gopala, Young-Han Nam, Hesham El Gamal |
On the Error Exponents of ARQ Channels With Deadlines.  |
IEEE Transactions on Information Theory  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez |
Formal Testing of Systems Presenting Soft and Hard Deadlines.  |
FSEN  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Guido Governatori, Joris Hulstijn, Régis Riveret, Antonino Rotolo |
Characterising Deadlines in Temporal Modal Defeasible Logic.  |
Australian Conference on Artificial Intelligence  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Enrico Bini, Giorgio C. Buttazzo |
The Space of EDF Feasible Deadlines.  |
ECRTS  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Marek Chrobak, Mathilde Hurand, Jiri Sgall |
Fast Algorithms for Testing Fault-Tolerance of Sequenced Jobs with Deadlines.  |
RTSS  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Eelke Folmer |
Component Based Game Development - A Solution to Escalating Costs and Expanding Deadlines?  |
CBSE  |
2007 |
DBLP DOI BibTeX RDF |
Games, COTS, Game architectures |
| 2 | Sivakumar Viswanathan, Bharadwaj Veeravalli, Thomas G. Robertazzi |
Resource-Aware Distributed Scheduling Strategies for Large-Scale Computational Cluster/Grid Systems.  |
IEEE Trans. Parallel Distrib. Syst.  |
2007 |
DBLP DOI BibTeX RDF |
Grid computing, Cluster computing, deadlines, Divisible loads, processing time, buffer constraints |
| 2 | Luís Fernando Orleans, Carlo Emmanoel Tolla de Oliveira, Pedro Furtado |
Task Assignment on Parallel QoS Systems.  |
WISE  |
2007 |
DBLP DOI BibTeX RDF |
QoS, load-balancing, parallel systems, deadlines |
| 2 | Premysl Sucha, Zdenek Hanzálek |
Scheduling of tasks with precedence delays and relative deadlines framework for time-optimal dynamic reconfiguration of FPGAs.  |
IPDPS  |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Premysl Sucha, Zdenek Hanzálek |
Scheduling of Tasks with Precedence Delays and Relative Deadlines - Framework for Time-optimal Dynamic Reconfiguration of FPGAs.  |
IPDPS  |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Hui Wu, Joxan Jaffar, Jingling Xue |
Instruction Scheduling with Release Times and Deadlines on ILP Processors.  |
RTCSA  |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Yossi Azar, Nir Levy |
Multiplexing Packets with Arbitrary Deadlines in Bounded Buffers.  |
SWAT  |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Feifeng Zheng, Stanley P. Y. Fung, Wun-Tat Chan, Francis Y. L. Chin, Chung Keung Poon, Prudence W. H. Wong |
Improved On-Line Broadcast Scheduling with Deadlines.  |
COCOON  |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Pedro R. D'Argenio, Biniam Gebremichael |
The Coarsest Congruence for Timed Automata with Deadlines Contained in Bisimulation.  |
CONCUR  |
2005 |
DBLP DOI BibTeX RDF |
|
| 2 | Fei Li, Jay Sethuraman, Clifford Stein |
An optimal online algorithm for packet scheduling with agreeable deadlines.  |
SODA  |
2005 |
DBLP DOI BibTeX RDF |
|
| 2 | Jaswinder Ahluwalia, Ingolf H. Krüger, Walter Phillips, Michael Meisinger |
Model-based run-time monitoring of end-to-end deadlines.  |
EMSOFT  |
2005 |
DBLP DOI BibTeX RDF |
RT CORBA, quality of service, components, code generation, services, runtime monitoring, service engineering |
| 2 | Ugo Buy, Mihai Lehene, Houshang Darabi |
Latency-Based Supervisors for Enforcing Deadlines in Time Petri Nets.  |
SEW  |
2005 |
DBLP DOI BibTeX RDF |
|
| 2 | Nathan Fisher, Sanjoy K. Baruah |
The Partitioned, Static-Priority Scheduling of Sporadic Real-Time Tasks with Constrained Deadlines on Multiprocessor Platforms.  |
OPODIS  |
2005 |
DBLP DOI BibTeX RDF |
|
| 2 | Nathan Fisher, Sanjoy K. Baruah |
A Fully Polynomial-Time Approximation Scheme for Feasibility Analysis in Static-Priority Systems with Arbitrary Relative Deadlines.  |
ECRTS  |
2005 |
DBLP DOI BibTeX RDF |
|
| 2 | Frédéric Cuppens, Nora Cuppens-Boulahia, Thierry Sans |
Nomad: A Security Model with Non Atomic Actions and Deadlines.  |
CSFW  |
2005 |
DBLP DOI BibTeX RDF |
|
| 2 | Andreas Willig |
Scheduling multiple streams with (m, k)-firm deadlines having different importance over Markovian channels.  |
ETFA  |
2005 |
DBLP DOI BibTeX RDF |
|
| 2 | Zeynep Özyurt, Deniz Aksen, Necati Aras |
Open Vehicle Routing Problem with Time Deadlines: Solution Methods and an Application.  |
OR  |
2005 |
DBLP DOI BibTeX RDF |
|
| 2 | Jungkeun Park, Minsoo Ryu, Seongsoo Hong |
An Efficient On-line Job Admission Control Scheme to Guarantee Deadlines for QoS-Demanding Applications.  |
ISCIS  |
2005 |
DBLP DOI BibTeX RDF |
|
| 2 | John Aycock, Jim Uhl |
Choice in the classroom.  |
SIGCSE Bulletin  |
2005 |
DBLP DOI BibTeX RDF |
contract grading, due dates, deadlines, assignments |
| 2 | Ming Xiong, Krithi Ramamritham |
Deriving Deadlines and Periods for Real-Time Update Transactions.  |
IEEE Trans. Computers  |
2004 |
DBLP DOI BibTeX RDF |
temporal validity, deadline monotonic scheduling, real-time transaction processing, fixed priority scheduling, Real-time database systems |
| 2 | Tarek F. Abdelzaher, Gautam H. Thaker, Patrick J. Lardieri |
A Feasible Region for Meeting Aperiodic End-to-End Deadlines in Resource Pipelines.  |
ICDCS  |
2004 |
DBLP DOI BibTeX RDF |
total ship computing environment, Real-time scheduling, schedulability analysis, utilization bounds, aperiodic tasks |
| 2 | Kavitha S. Golconda, Atakan Dogan, Füsun Özgüner |
Static Mapping Heuristics for Tasks with Hard Deadlines in Real-Time Heterogeneous Systems.  |
ISCIS  |
2004 |
DBLP DOI BibTeX RDF |
|
| 2 | Yin-Fu Huang, Jiing-Maw Huang |
Disk Scheduling onMultimedia Storage Servers.  |
IEEE Trans. Computers  |
2004 |
DBLP DOI BibTeX RDF |
seek overheads, deadlines, disk scheduling, Multimedia storage servers |
| 2 | Tao Zheng, C. Murray Woodside |
Heuristic Optimization of Scheduling and Allocation for Distributed Systems with Soft Deadlines.  |
Computer Performance Evaluation / TOOLS  |
2003 |
DBLP DOI BibTeX RDF |
|
| 2 | Sibylle Peuker, Ian J. Hayes |
Reasoning about Deadlines in Concurrent Real-Time Programs.  |
IPDPS  |
2003 |
DBLP DOI BibTeX RDF |
|
| 2 | Jong-Kook Kim, Sameer Shivle, Howard Jay Siegel, Anthony A. Maciejewski, Tracy D. Braun, Myron Schneider, Sonja Tideman, Ramakrishna Chitta, Raheleh B. Dilmaghani, Rohit Joshi, Aditya Kaul, Ashish Sharma, Siddhartha Sripada, Praveen Vangari, Siva Sankar Yellampalli |
Dynamic Mapping in a Heterogeneous Environment with Tasks Having Priorities and Multiple Deadlines.  |
IPDPS  |
2003 |
DBLP DOI BibTeX RDF |
distributed computing, resource management, dynamic scheduling, heterogeneous computing |
| 2 | Pao-Ann Hsiung, Cheng-Yi Lin |
Synthesis of real-time embedded software with local and global deadlines.  |
CODES+ISSS  |
2003 |
DBLP DOI BibTeX RDF |
quasi-dynamic scheduling, real-time petri nets, code generation, software synthesis, real-time embedded software |
| 2 | Mohammad Islam, Pavan Balaji, P. Sadayappan, Dhabaleswar K. Panda |
QoPS: A QoS Based Scheme for Parallel Job Scheduling.  |
JSSPP  |
2003 |
DBLP DOI BibTeX RDF |
QoS, Job Scheduling, Deadlines, Parallel Job Scheduling |
| 2 | Tracy D. Braun, Howard Jay Siegel, Anthony A. Maciejewski |
Static Mapping Heuristics for Tasks with Dependencies, Priorities, Deadlines, and Multiple Versions in Heterogeneous Environments. (PDF / PS)  |
IPDPS  |
2002 |
DBLP DOI BibTeX RDF |
GENITOR, Min-min and scheduling, genetic algorithms, distributed computing, mapping, heterogeneous computing |
| 2 | Hui Wu, Joxan Jaffar |
Two processor scheduling with real release times and deadlines.  |
SPAA  |
2002 |
DBLP DOI BibTeX RDF |
release time and deadline, successor-tree-consistency, task scheduling, feasible schedule |
| 2 | Srikanth Ramamurthy |
Scheduling Periodic Hard Real-Time Tasks with Arbitrary Deadlines on Multiprocessors. (PDF / PS)  |
IEEE Real-Time Systems Symposium  |
2002 |
DBLP DOI BibTeX RDF |
|
| 2 | Vishnu Swaminathan, Charles B. Schweizer, Krishnendu Chakrabarty, Amil A. Patel |
Experiences in Implementing an Energy-Driven Task Scheduler in RT-Linux. (PDF / PS)  |
IEEE Real Time Technology and Applications Symposium  |
2002 |
DBLP DOI BibTeX RDF |
low energy earliest-deadline-first (LEDF) scheduling, RT-Linux, variable-speed task scheduling, dynamic voltage scaling, Deadlines |
| 2 | Chiu-Yuen Koo, Tak Wah Lam, Tsuen-Wan Ngan, Kar-Keung To |
On-Line Scheduling with Tight Deadlines.  |
MFCS  |
2001 |
DBLP DOI BibTeX RDF |
|
| 2 | Luis A. García, Francisco Toledo |
An Agent for Providing the Optimum Cycle Length Value in Urban Traffic Areas Constrained by Soft Temporal Deadlines.  |
IEA/AIE  |
2001 |
DBLP DOI BibTeX RDF |
|
| 2 | Chi-Sheng Shih, Lui Sha, Jane W.-S. Liu |
Scheduling Tasks With Variable Deadlines. (PDF / PS)  |
IEEE Real Time Technology and Applications Symposium  |
2001 |
DBLP DOI BibTeX RDF |
|
| 2 | Thierry Benoist, Eric Bourreau, Yves Caseau, Benoît Rottembourg |
Towards Stochastic Constraint Programming: A Study of Online Multi-choice Knapsack with Deadlines.  |
CP  |
2001 |
DBLP DOI BibTeX RDF |
|
| 2 | T. C. Edwin Cheng, Qing Ding |
Single Machine Scheduling with Deadlines and Increasing Rates of Processing Times.  |
Acta Inf.  |
2000 |
DBLP DOI BibTeX RDF |
|
| 2 | Sven Koenig |
Planning-Task Transformations for Soft Deadlines.  |
ATAL  |
2000 |
DBLP DOI BibTeX RDF |
|
| 2 | Bhaskar DasGupta, Michael A. Palis |
Online real-time preemptive scheduling of jobs with deadlines.  |
APPROX  |
2000 |
DBLP DOI BibTeX RDF |
|
| 2 | Fuminori Nakanishi, Shinnya Hiraike, Shinji Inoue, Yoshiaki Kakuda, Kenji Toda |
A Flexible Scheduling for Automobile Control Using Imprecise Computation and Its Fundamental Evaluation.  |
ICECCS  |
2000 |
DBLP DOI BibTeX RDF |
automobile control, task deadlines, expressway, automobile collision, scheduling, real time systems, intelligent transportation system, imprecise computation, flexible scheduling |
| 2 | Biswaroop Mukherjee, Tim Brecht |
Time-Lined TCP for the TCP-Friendly Delivery of Streaming Media. (PDF / PS)  |
ICNP  |
2000 |
DBLP DOI BibTeX RDF |
time-lined TCP, TCP-friendly streaming data delivery, time-sensitive data, loss-tolerant applications, streaming media players, unicast delivery, transport level, TLTCP, streaming media applications, time-lined data delivery, simulations, Internet, Internet, protocol, congestion control, transport protocols, encoding, encoding, application program interfaces, API, deadlines, telecommunication traffic, data communication, UDP, telecommunication congestion control, bandwidth sharing, user level, MPEG-1 |
| 2 | 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 |
| 2 | 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 |
| 2 | 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 |
| 2 | 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 |
| 2 | 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 |
| 2 | 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, safety-critical software, hard real-time systems, safety-critical applications, verification methods |
| 2 | 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 |
| 2 | 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 |
| 2 | Ming Xiong, Krithi Ramamritham |
Deriving Deadlines and Periods for Real-Time Update Transactions. (PDF / PS)  |
IEEE Real-Time Systems Symposium  |
1999 |
DBLP DOI BibTeX RDF |
deadline monotonic algorithm, temporal validity, schedulability, fixed priority scheduling |
| 2 | Giorgio C. Buttazzo, Marco Caccamo |
Minimizing Aperiodic Response Times in a Firm Real-Time Environment.  |
IEEE Trans. Software Eng.  |
1999 |
DBLP DOI BibTeX RDF |
aperiodic service, firm deadlines, quality of service, Real-time scheduling, skip |
| 2 | Steven P. Ketchpel, Hector Garcia-Molina |
A Sound and Complete Algorithm for Distributed Commerce Transactions.  |
Distributed Computing  |
1999 |
DBLP DOI BibTeX RDF |
Distributed commerce transactions, Trusted intermediaries, Trust, Deadlines, Commit protocols |
| 2 | Frank Dignum, Ruurd Kuiper |
Obligations and Dense Time for Specifying Deadlines. (PDF / PS)  |
HICSS  |
1998 |
DBLP DOI BibTeX RDF |
|
| 2 | Marco Di Natale, Antonio Meschi |
Guaranteeing end-to-end deadlines in distributed client-server applications.  |
ECRTS  |
1998 |
DBLP DOI BibTeX RDF |
|
| 2 | Eduardo Tovar, Francisco Vasques |
Guaranteeing real-time message deadlines in PROFIBUS networks.  |
ECRTS  |
1998 |
DBLP DOI BibTeX RDF |
|
| 2 | Frank Dignum, Ruurd Kuiper |
Combining Dynamic Deontic Logic and Temporal Logic for the Specification of Deadlines.  |
HICSS  |
1997 |
DBLP DOI BibTeX RDF |
|
| 2 | Carl K. Chang, Yi-Te Tseng, Ugo Buy |
Compiling process algebraic specifications into timed automata. (PDF / PS)  |
COMPSAC  |
1997 |
DBLP DOI BibTeX RDF |
Language of Timed Processes, process algebraic specification compilation, process-algebra-based specification language, process descriptions, periodic constraints, sporadic constraints, periodic behavior modelling, finite representation, delays, computations, timed automata, translation, algebraic specification, real-time applications, deadlines, execution time, automatic verification, timeouts, timing requirement, LTP, timed transition systems |
| 2 | Sonia Mettali Gammar, Farouk Kamoun |
A comparison of scheduling algorithms for real time distributed transactional systems.  |
FTDCS  |
1997 |
DBLP DOI BibTeX RDF |
real time distributed transactional systems, distributed database update, globally consistent orderings, nonpreemptive earliest deadline first, simulation, distributed databases, concurrency control, consensus, scheduling algorithms, deadlines, serializability, client server, tokens, timeliness, system parameters, database consistency |
| 2 | Marco Caccamo, Giorgio C. Buttazzo |
Exploiting skips in periodic tasks for enhancing aperiodic responsiveness. (PDF / PS)  |
IEEE Real-Time Systems Symposium  |
1997 |
DBLP DOI BibTeX RDF |
periodic task skips, aperiodic responsiveness, video reception, aperiodic requests, offline analysis, multimedia systems, timing constraints, software performance evaluation, real-time applications, deadlines, scheduling theory, earliest deadline first scheduling, average response time, telecommunication systems |
| 2 | Ramesh Gupta, Jayant R. Haritsa, Krithi Ramamritham |
More optimism about real-time distributed commit processing. (PDF / PS)  |
IEEE Real-Time Systems Symposium  |
1997 |
DBLP DOI BibTeX RDF |
real-time distributed commit processing, OPT, firm-deadline real-time database systems, data inaccessibility, missed transaction deadlines, sequential transactions, parallel distributed transactions, Shadow-OPT, healthy lenders heuristic, alternative priority, inheritance-based approach, performance, distributed databases, transaction processing, real-time performance, system configurations, commit protocol, priority inversion |
| 2 | John P. Lehoczky |
Real-time queueing network theory. (PDF / PS)  |
IEEE Real-Time Systems Symposium  |
1997 |
DBLP DOI BibTeX RDF |
real-time queueing network theory, Jackson queueing networks, end-to-end deadlines, instantaneous multidimensional profiles, multivariate Brownian motion, deterministic profile, queue control policies, queueing theory, traffic intensity |
| 2 | Jacques Verriet |
Scheduling Interval Ordered Tasks with Non-Uniform Deadlines.  |
ISAAC  |
1996 |
DBLP DOI BibTeX RDF |
|
| 2 | Jyhjong Lin, David Chenho Kung, Pei Hsia |
Top-down development of real-time software specification. (PDF / PS)  |
HASE  |
1996 |
DBLP DOI BibTeX RDF |
fault tolerance specification, system dependability, system repair, input output automata, fire control system, combat vehicle, software fault tolerance, deadlines, temporal properties, I/O automata, mission critical systems |
| 2 | Tolety Siva Perraju, Satyendra Pal Rana, Susanta P. Sarkar |
Specifying fault tolerance in mission critical systems. (PDF / PS)  |
HASE  |
1996 |
DBLP DOI BibTeX RDF |
fault tolerance specification, system dependability, system repair, input output automata, fire control system, combat vehicle, software fault tolerance, deadlines, temporal properties, I/O automata, mission critical systems |
| 2 | Chang-Gun Lee, Young-Kuk Kim, Sang Hyuk Son, Sang Lyul Min, Chong-Sang Kim |
Efficiently supporting hard/soft deadline transactions in real-time database systems.  |
RTCSA  |
1996 |
DBLP DOI BibTeX RDF |
hard/soft deadline transactions, temporally valid data objects, soft-deadlines, real-time systems, timing constraints, temporal consistency, real-time database systems, database operations, implementation complexity |
| 2 | Ching-Chih Han, Kang G. Shin |
Message transmission with timing constraints in ring networks . (PDF / PS)  |
IEEE Real-Time Systems Symposium  |
1996 |
DBLP DOI BibTeX RDF |
message transmission problem, unidirectional slotted ring networks, evacuation mode, continuation mode, system initialization, message scheduling policies, message deadlines, maximum delay, least-slack-time-first scheduling policy, optimal scheduling policy, farthest-destination-first policy, message passing, performance measures, timing constraints, average delay, operation modes |
| 2 | Ben Kao, Hector Garcia-Molina |
Scheduling Soft Real-Time Jobs Over Dual Non-Real-Time Servers.  |
IEEE Trans. Parallel Distrib. Syst.  |
1996 |
DBLP DOI BibTeX RDF |
dual servers, soft deadlines, scheduling, distributed systems, Real-time systems |
| 2 | Moncef Hamdaoui, Parameswaran Ramanathan |
A Dynamic Priority Assignement Technique for Streams with (m, k)-Firm Deadlines.  |
IEEE Trans. Computers  |
1995 |
DBLP DOI BibTeX RDF |
deadline-constrained scheduling, soft deadlines, Real-time systems, priority queues, dynamic failure |
| 2 | Amitava Raha, Sanjay Kamat, Wei Zhao |
Using traffic regulation to meet end-to-end deadlines in ATM LANs.  |
ICNP  |
1995 |
DBLP DOI BibTeX RDF |
|
| 2 | Oh-Heum Kwon, Kyung-Yong Chwa |
Scheduling Parallel Tasks with Individual Deadlines.  |
ISAAC  |
1995 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 1360 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|