|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 144 occurrences of 89 keywords
|
|
|
|
|
Results
Found 83 publication records. Showing 83 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 3 | Reinder J. Bril, Johan J. Lukkien, Wim F. J. Verhaegh |
Worst-case response time analysis of real-time tasks under fixed-priority scheduling with deferred preemption.  |
Real-Time Systems  |
2009 |
DBLP DOI BibTeX RDF |
Level-i active period, Level-i busy period, Worst-case occupied time, Deferred preemption, Real-time systems, Fixed-priority scheduling, Periodic tasks, Worst-case response time |
| 3 | Tullio Vardanega |
Tool support for the construction of statically analysable hard real-time Ada systems. (PDF / PS)  |
IEEE Real-Time Systems Symposium  |
1996 |
DBLP DOI BibTeX RDF |
artificial satellites, statically analysable hard real time Ada systems, fixed priority process based preemptive scheduling, new generation software intensive satellite control systems, preemptive priority based scheduling, mature static analysis techniques, worst case response time analysis models, Ada programming model, worst case response time analysis tools, on-board control systems, cyclic scheduling |
| 2 | Thi Huyen Chau Nguyen, Pascal Richard, Enrico Bini |
Approximation techniques for response-time analysis of static-priority tasks.  |
Real-Time Systems  |
2009 |
DBLP DOI BibTeX RDF |
Uniprocessor real-time scheduling, Static-priority tasks, Approximation scheme, Worst-case response time |
| 2 | Soheil Samii, Sergiu Rafiliu, Petru Eles, Zebo Peng |
A Simulation Methodology for Worst-Case Response Time Estimation of Distributed Real-Time Systems.  |
DATE  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Reinder J. Bril, Johan J. Lukkien, Wim F. J. Verhaegh |
Worst-Case Response Time Analysis of Real-Time Tasks under Fixed-Priority Scheduling with Deferred Preemption Revisited.  |
ECRTS  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Yudong Tan, Vincent John Mooney III |
Timing analysis for preemptive multitasking real-time systems with caches.  |
ACM Trans. Embedded Comput. Syst.  |
2007 |
DBLP DOI BibTeX RDF |
Real-time, worst-case response time |
| 2 | Young-Ho Lee, Hoyoung Hwang, Kanghee Kim, Sung-Soo Lim |
Bounding Demand Paging Costs in Fixed Priority Real-Time Systems.  |
International Conference on Computational Science  |
2007 |
DBLP DOI BibTeX RDF |
WCRT analysis, flash memory, WCET analysis, demand paging, worst case response time |
| 2 | Hui Xue Zhao, Laurent George, Serge Midonnet |
Worst Case Response Time Analysis of Sporadic Graph Tasks with EDF Scheduling on a Uniprocessor.  |
RTCSA  |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Lei Wang 0023, Mingde Zhao, Zengwei Zheng, Zhaohui Wu |
End-To-End Worst-Case Response Time Analysis for Hard Real-Time Distributed Systems.  |
SAFECOMP  |
2005 |
DBLP DOI BibTeX RDF |
|
| 2 | Hui Xue Zhao, Serge Midonnet, Laurent George |
Worst Case Response Time Analysis of Sporadic Graph Tasks with Fixed Priority Scheduling on a Uniprocessor.  |
RTCSA  |
2005 |
DBLP DOI BibTeX RDF |
non preemptive/preemptive, precedence constraint real time, fixed priority scheduling, feasibility analysis, worst case response time |
| 2 | Lei Wang 0023, Zhaohui Wu, Mingde Zhao |
Worst-Case Response Time Analysis for OSEK/VDX Compliant Real-Time Distributed Control Systems.  |
COMPSAC  |
2004 |
DBLP DOI BibTeX RDF |
|
| 2 | Thomas Nolte, Hans Hansson, Christer Norström |
Probabilistic Worst-Case Response-Time Analysis for the Controller Area Network.  |
IEEE Real Time Technology and Applications Symposium  |
2003 |
DBLP DOI BibTeX RDF |
|
| 2 | Guillem Bernat |
Response Time Analysis of Asynchronous Real-Time Systems.  |
Real-Time Systems  |
2003 |
DBLP DOI BibTeX RDF |
worst-case response time analysis, weakly-hard, real-time systems, schedulability analysis, asynchronous systems, idle time |
| 2 | 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 |
| 2 | 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 |
| 2 | Chang-Gun Lee, Joosun Hahn, Yang-Min Seo, Sang Lyul Min, Rhan Ha, Seongsoo Hong, Chang Yun Park, Minsuk Lee, Chong-Sang Kim |
Enhanced analysis of cache-related preemption delay in fixed-priority preemptive scheduling. (PDF / PS)  |
IEEE Real-Time Systems Symposium  |
1997 |
DBLP DOI BibTeX RDF |
cache related preemption delay, preempted task, infeasible task interactions, linear programming problem, guaranteed upper bound, real-time systems, instruction caching, real time computing system, worst case response time, fixed priority preemptive scheduling |
| 2 | Chang-Gun Lee, Joosun Hahn, Sang Lyul Min, Rhan Ha, Seongsoo Hong, Chang Yun Park, Minsuk Lee, Chong-Sang Kim |
Analysis of cache-related preemption delay in fixed-priority preemptive scheduling. (PDF / PS)  |
IEEE Real-Time Systems Symposium  |
1996 |
DBLP DOI BibTeX RDF |
cache-related preemption delay, unpredictable variation, task execution time, per-task analysis, preemption cost, execution point, linear programming technique, experimental results, cache storage, worst case response time, fixed-priority preemptive scheduling |
| 1 | Andreas Schranzhofer, Rodolfo Pellizzoni, Jian-Jia Chen, Lothar Thiele, Marco Caccamo |
Worst-case response time analysis of resource access models in multi-core systems.  |
DAC  |
2010 |
DBLP DOI BibTeX RDF |
scheduling, TDMA, shared resources |
| 1 | Thomas A. Henzinger |
From Boolean to quantitative notions of correctness.  |
POPL  |
2010 |
DBLP DOI BibTeX RDF |
quantitative specification, quantitative synthesis, quantitative analysis |
| 1 | Victor Pollex, Steffen Kollmann, Karsten Albers, Frank Slomka |
Improved worst-case response-time calculations by upper-bound conditions.  |
DATE  |
2009 |
DBLP BibTeX RDF |
|
| 1 | Moonju Park, Hong Jin Yoo, Jinseok Chae |
Analysis on quantum-based fixed priority scheduling of real-time tasks.  |
ICUIMC  |
2009 |
DBLP DOI BibTeX RDF |
quantum-based scheduling, real-time, real-time scheduling, fixed priority scheduling |
| 1 | Enrico Bini, Thi Huyen Chau Nguyen, Pascal Richard, Sanjoy K. Baruah |
A Response-Time Bound in Fixed-Priority Scheduling with Arbitrary Deadlines.  |
IEEE Trans. Computers  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
| 1 | Harini Ramaprasad, Frank Mueller |
Bounding Worst-Case Response Time for Tasks with Non-Preemptive Regions.  |
IEEE Real-Time and Embedded Technology and Applications Symposium  |
2008 |
DBLP DOI BibTeX RDF |
real-time, timing analysis, data cache |
| 1 | Vivy Suhendra, Abhik Roychoudhury, Tulika Mitra |
Scratchpad allocation for concurrent embedded software.  |
CODES+ISSS  |
2008 |
DBLP DOI BibTeX RDF |
WCET, message sequence chart, scratchpad memory |
| 1 | Areej Zuhily, Alan Burns |
Exact scheduling analysis of accumulatively monotonic multiframe tasks subjected to release jitter and arbitrary deadlines.  |
ETFA  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | James H. Hill, Aniruddha S. Gokhale |
Model-driven specification of component-based distributed real-time and embedded systems for verification of systemic QoS properties.  |
IPDPS  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Lei Ju, Abhik Roychoudhury, Samarjit Chakraborty |
Schedulability Analysis of MSC-based System Models.  |
IEEE Real-Time and Embedded Technology and Applications Symposium  |
2008 |
DBLP DOI BibTeX RDF |
Message Sequence Charts / Graphs, Schedulability analysis |
| 1 | Johan Kraft, Yue Lu, Christer Norström, Anders Wall |
A Metaheuristic Approach for Best Effort Timing Analysis Targeting Complex Legacy Real-Time Systems.  |
IEEE Real-Time and Embedded Technology and Applications Symposium  |
2008 |
DBLP DOI BibTeX RDF |
Legacy real-time systems, Probabilistic simulation, Metaheuristic search, Response-time analysis |
| 1 | Areej Zuhily, Alan Burns |
Exact Response Time Scheduling Analysis of Accumulatively Monotonic Multiframe Real Time Tasks.  |
ICTAC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Libor Waszniowski, Zdenek Hanzálek |
Formal verification of multitasking applications based on timed automata model.  |
Real-Time Systems  |
2008 |
DBLP DOI BibTeX RDF |
OSEK/VDX, Model-checking, Verification, Formal methods, Timed automata, Multitasking |
| 1 | Razvan Racu, Li Li, Rafik Henia, Arne Hamann, Rolf Ernst |
Improved response time analysis of tasks scheduled under preemptive Round-Robin.  |
CODES+ISSS  |
2007 |
DBLP DOI BibTeX RDF |
Round-Robin, response time analysis |
| 1 | Murali Rangarajan, Darren D. Cofer |
Computing Worst-Case Response Times in Real-Time Avionics Applications.  |
FMICS  |
2007 |
DBLP DOI BibTeX RDF |
Model checking, real-time, software verification, flight control |
| 1 | João Rodrigues, João Ventura, A. M. de Campos, Luís Rodrigues |
Implementation and analysis of real-time communication protocol compositions.  |
Real-Time Systems  |
2007 |
DBLP DOI BibTeX RDF |
Protocol composition and execution framework, Real-time, Schedulability analysis, Allocation, Priority assignment |
| 1 | Rafik Henia, Rolf Ernst |
Improved offset-analysis using multiple timing-references.  |
DATE  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Wan-Chen Lu, Jen-Wei Hsieh, Wei Kuan Shih |
A precise schedulability test algorithm for scheduling periodic tasks in real-time systems.  |
SAC  |
2006 |
DBLP DOI BibTeX RDF |
real-time systems, periodic tasks, schedulability test, fixed priority preemptive scheduling, rate monotonic analysis |
| 1 | Karim Traore, Emmanuel Grolleau, Ahmed Rahni, Michaël Richard |
Response-Time Analysis of tasks with offsets.  |
ETFA  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Franck Bimbard, Laurent George |
On the conception of an autonomous and modular robot based on an Event Driven OSEK System with deterministic real-time behavior.  |
ICAS  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Antoine Mercier, Pascale Minet, Laurent George |
Worst case response times for 1-RR/FIFO and 1-RR/EDF in a Bluetooth piconet.  |
ICN/ICONS/MCL  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Franck Bimbard, Laurent George |
FP/FIFO Feasibility Conditions with Kernel Overheads for Periodic Tasks on an Event Driven OSEK System.  |
ISORC  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Karim Traore, Emmanuel Grolleau, Francis Cottet |
Characterization and Analysis of Tasks with Offsets: Monotonic Transactions.  |
RTCSA  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Antoine Mercier, Pascale Minet, Laurent George |
Worst case response times in a Bluetooth piconet: scheduling combining 1-RR or E-RR with FIFO or EDF.  |
Telecommunication Systems  |
2006 |
DBLP DOI BibTeX RDF |
1-RR, E-RR, QoS, Bluetooth, EDF, FIFO, Deterministic guarantee, Worst case end-to-end response time |
| 1 | Yudong Tan, Vincent John Mooney III |
WCRT analysis for a uniprocessor with a unified prioritized cache.  |
LCTES  |
2005 |
DBLP DOI BibTeX RDF |
real-time system, timing analysis, cache design |
| 1 | Yuqiang Xian, Guangze Xiong |
Minimizing memory requirement of real-time systems with concurrent garbage collector.  |
SIGPLAN Notices  |
2005 |
DBLP DOI BibTeX RDF |
deferrable server, scheduling, real-time, concurrent, garbage collector |
| 1 | Rafik Henia, Rolf Ernst |
Context-Aware Scheduling Analysis of Distributed Systems with Tree-Shaped Task-Dependencies.  |
DATE  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Li, Fumin Yang, Yansheng Lu |
A Feasible Schedulability Analysis for Fault-Tolerant Hard Real-Time Systems.  |
ICECCS  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Konstantinos Bletsas, Neil C. Audsley |
Extended Analysis with Reduced Pessimism for Systems with Limited Parallelism.  |
RTCSA  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Kayhan Erciyes, Zehra Soysert |
Multilevel Static Real-Time Scheduling Algorithms Using Graph Partitioning.  |
International Conference on Computational Science  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Zonghua Gu |
Solving Real-Time Scheduling Problems with Model-Checking.  |
ICESS  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Serge Midonnet |
The Design of Real-Time Fault Detectors.  |
OTM Conferences  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Yudong Tan, Vincent John Mooney III |
Timing Analysis for Preemptive Multi-Tasking Real-Time Systems with Caches.  |
DATE  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ola Redell |
Analysis of Tree-Shaped Transactions in Distributed Real-Time Systems.  |
ECRTS  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Shan Lei, Ananth Grama |
Extended Consistent Hashing: An Efficient Framework for Object Location.  |
ICDCS  |
2004 |
DBLP DOI BibTeX RDF |
Consistent Hashing, Load balancing, Distributed Hash Tables, Service Location |
| 1 | Gautam H. Thaker, Patrick J. Lardieri, Donald K. Krecker, Michael Price |
Empirical Quantification of Pessimism in State-of-the-Art Scheduling Theory Techniques for Periodic and Sporadic DRE Tasks.  |
IEEE Real-Time and Embedded Technology and Applications Symposium  |
2004 |
DBLP DOI BibTeX RDF |
scheduability analysis, distributed task scheduling, end-to-end task scheduling, real-time scheduling, periodic tasks |
| 1 | Philippe Gerner, Thao Dang |
Computing Schedules for Multithreaded Real-Time Programs Using Geometry.  |
FORMATS/FTRTFT  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Yudong Tan, Vincent John Mooney |
Integrated Intra- and Inter-task Cache Analysis for Preemptive Multi-tasking Real-Time Systems.  |
SCOPES  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrique Domínguez, José M. Jerez, Luis Llopis, Arturo Morante |
RealNet: a neural network architecture for real-time systems scheduling.  |
Neural Computing and Applications  |
2004 |
DBLP DOI BibTeX RDF |
Scheduling, Real-time systems, Neural network architecture |
| 1 | Reinder J. Bril, Elisabeth F. M. Steffens, Wim F. J. Verhaegh |
Best-Case Response Times and Jitter Analysis of Real-Time Tasks.  |
J. Scheduling  |
2004 |
DBLP DOI BibTeX RDF |
best case, critical instant, optimal instant, real-time systems, response time, jitter, periodic tasks, preemptive scheduling, fixed priority |
| 1 | Reinder J. Bril, Wim F. J. Verhaegh, Evert-Jan D. Pol |
Initial Values for On-line Response Time Calculations.  |
ECRTS  |
2003 |
DBLP DOI BibTeX RDF |
best-case response times, initial value, real-time systems, periodic tasks, worst-case response times, fixed priority preemptive scheduling, iterative procedure |
| 1 | Anton Cervin, Johan Eker |
The Control Server: A Computational Model for Real-Time Control Tasks.  |
ECRTS  |
2003 |
DBLP DOI BibTeX RDF |
best-case response times, initial value, real-time systems, periodic tasks, worst-case response times, fixed priority preemptive scheduling, iterative procedure |
| 1 | Jan Romberg, Oscar Slotosch, Gabor Hahn |
MoDe: A Method for System-Level Architecture Evaluation. (PDF / PS)  |
MEMOCODE  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian Broster, Alan Burns |
An Analysable Bus-Guardian for Event-Triggered Communication.  |
RTSS  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Chung-Min Chen, Randeep Bhatia, Rakesh K. Sinha |
Multidimensional Declustering Schemes Using Golden Ratio and Kronecker Sequences.  |
IEEE Trans. Knowl. Data Eng.  |
2003 |
DBLP DOI BibTeX RDF |
disk allocation, parallel databases, Declustering |
| 1 | Axel Siebenborn, Oliver Bringmann, Wolfgang Rosenstiel |
Worst-case performance analysis of parallel, communicating software processes.  |
CODES  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian Broster, Guillem Bernat, Alan Burns |
Weakly Hard Real-time Constraints on Controller Area Network.  |
ECRTS  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Angel M. Groba, Alejandro Alonso, José A. Rodríguez 0002, Marisol García-Valls |
Response Time of Streaming Chains: Analysis and Results.  |
ECRTS  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Ola Redell, Martin Törngren |
Calculating Exact Worst Case Response Times for Static Priority Scheduled Tasks with Offsets and Jitter. (PDF / PS)  |
IEEE Real Time Technology and Applications Symposium  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Anupam Datta, Sidharth Choudhury, Anupam Basu |
Using Randomized Rounding to Satisfy Timing Constraints of Real-Time Preemptive Tasks.  |
VLSI Design  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascal Richard |
A Tool for Controlling Response Time in Real-Time Systems.  |
Computer Performance Evaluation / TOOLS  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark de Berg, João Comba, Leonidas J. Guibas |
A segment-tree based kinetic BSP.  |
Symposium on Computational Geometry  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | George M. de A. Lima, Alan Burns |
An Effective Schedulability Analysis for Fault-Tolerant Hard Real-Time Systems.  |
ECRTS  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Anupam Datta, Sidharth Choudhury, Anupam Basu, Hiroyuki Tomiyama, Nikil Dutt |
Satisfying Timing Constraints of Preemptive Real-Time Tasks through Task Layout Technique.  |
VLSI Design  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Chang-Gun Lee, Kwangpo Lee, Joosun Hahn, Yang-Min Seo, Sang Lyul Min, Rhan Ha, Seongsoo Hong, Chang Yun Park, Minsuk Lee, Chong-Sang Kim |
Bounding Cache-Related Preemption Delay for Real-Time Systems.  |
IEEE Trans. Software Eng.  |
2001 |
DBLP DOI BibTeX RDF |
Real-time system, cache memory, schedulability analysis, fixed-priority scheduling, preemption |
| 1 | Randeep Bhatia, Rakesh K. Sinha, Chung-Min Chen |
Declustering Using Golden Ratio Sequences.  |
ICDE  |
2000 |
DBLP DOI BibTeX RDF |
Golden Ratio Sequences, Range Query, Parallel Databases, Declustering |
| 1 | Taehyoun Kim, Naehyuck Chang, Namyun Kim, Heonshik Shin |
Scheduling Garbage Collector for Embedded Real-Time Systems.  |
Workshop on Languages, Compilers, and Tools for Embedded Systems  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Edwin Erpenbach, Peter Altenbernd |
Worst-case execution times and schedulability analysis of statecharts models.  |
ECRTS  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurent George, Pascale Minet |
A Uniform Reliable Multicast Protocol with Guaranteed Response Times.  |
LCTES  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Jo C. Ebergen, Robert Berks |
Response Time Properties of Some Asynchronous Circuits.  |
ASYNC  |
1997 |
DBLP DOI BibTeX RDF |
variable-delay model, performance analysis, Asynchronous circuits, response time, micropipeline |
| 1 | Seungkweon Jeong, Young Shin Kim, Wook Hyun Kwon |
Scheduling algorithm for programmable logic controllers with remote I/Os.  |
RTCSA  |
1997 |
DBLP DOI BibTeX RDF |
remote I/O, remote input output, sequence programs, application processor, bounded response time, scheduling algorithm, network processor, computer simulation, multitasking, data transmission, programmable logic controllers, PLC, programmable controllers |
| 1 | Guillem Bernat, Alan Burns, Albert Llamosí |
Efficient Transient Overload Tests for Real-Time Systems.  |
Computer Performance Evaluation  |
1997 |
DBLP DOI BibTeX RDF |
Real-time systems, schedulability analysis, transient overload |
| 1 | Ling Tony Chen, Doron Rotem |
Optimal Response Time Retrieval of Replicated Data.  |
PODS  |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Hagit Attiya, Jennifer L. Welch |
Sequential Consistency versus Linearizability.  |
ACM Trans. Comput. Syst.  |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Hagit Attiya |
Implementing FIFO Queus and Stacks (Extended Abstract).  |
WDAG  |
1991 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #83 of 83 (100 per page; Change: )
|
|