Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Alan Burns 0001, Andy J. Wellings |
A Schedulability Compatible Multiprocessor Resource Sharing Protocol - MrsP. |
ECRTS |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Hoon Sung Chwa, Jinkyu Lee 0001, Kieu-My Phan, Arvind Easwaran, Insik Shin |
Global EDF Schedulability Analysis for Synchronous Parallel Tasks on Multicore Platforms. |
ECRTS |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Arpan Gujarati, Felipe Cerqueira, Björn B. Brandenburg |
Outstanding Paper Award: Schedulability Analysis of the Linux Push and Pull Scheduler with Arbitrary Processor Affinities. |
ECRTS |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Hüseyin Aysan, Radu Dobrin, Sasikumar Punnekkat |
Probabilistic Schedulability Analysis for Fault Tolerant Tasks under Stochastic Error Occurrences. |
CSCS |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Mohammed El-Shambakey, Binoy Ravindran |
FBLT: a real-time contention manager with improved schedulability. |
DATE |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Youcheng Sun, Romain Soulat, Giuseppe Lipari, Étienne André, Laurent Fribourg |
Parametric Schedulability Analysis of Fixed Priority Real-Time Distributed Systems. |
FTSCS |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Ling Yin, Jing Liu 0012, Zuohua Ding, Frédéric Mallet, Robert de Simone |
Schedulability Analysis with CCSL Specifications. |
APSEC (1) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Mohammed El-Shambakey, Binoy Ravindran |
On real-time STM concurrency control for embedded software with improved schedulability. |
ASP-DAC |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Masud Ahmed, Safraz Rampersaud, Nathan Fisher, Daniel Grosu, Loren Schwiebert |
GPU-Based Parallel EDF-Schedulability Analysis of Multi-modal Real-Time Systems. |
HPCC/EUC |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Rajeev Alur, Vojtech Forejt, Salar Moarref, Ashutosh Trivedi 0001 |
Safe schedulability of bounded-rate multi-mode systems. |
HSCC |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Giovanni Agosta, Alessandro Barenghi, Gerardo Pelosi, Michele Scandale |
Enhancing Passive Side-Channel Attack Resilience through Schedulability Analysis of Data-Dependency Graphs. |
NSS |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Eleftherios Matsikoudis, Christos Stergiou 0001, Edward A. Lee |
On the schedulability of real-time discrete-event systems. |
EMSOFT |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Javier Fernández, Pablo Parra, Bogdan Nilas, Ignacio García, Sebastián Sánchez-Prieto, Oscar R. Polo |
Schedulability analysis of on-board satellite software based on model-driven and compositionality techniques. |
SIES |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Jinkyu Lee 0001, Kang G. Shin |
Schedulability Analysis for a Mode Transition in Real-Time Multi-core Systems. |
RTSS |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Vincenzo Bonifaci, Alberto Marchetti-Spaccamela, Nicole Megow, Andreas Wiese |
Polynomial-Time Exact Schedulability Tests for Harmonic Real-Time Tasks. |
RTSS |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Linh T. X. Phan, Insup Lee 0001 |
Improving schedulability of fixed-priority real-time systems using shapers. |
IEEE Real-Time and Embedded Technology and Applications Symposium |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Meng Liu 0001, Moris Behnam, Thomas Nolte |
Schedulability analysis of Multi-Frame messages over Controller Area Networks with mixed-queues. |
ETFA |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Luís Marques, Verónica Vasconcelos, Paulo Pedreiras, Luís Almeida 0001 |
Schedulability analysis of server-based error-recovery mechanisms for time-triggered systems. |
ETFA |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Yunwei Dong, Yao Cheng, Tingting Wu, Hong Ye |
On Schedulability Analysis for Embedded Systems with AADL Model. |
QSIC |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Christos Stergiou 0001 |
Schedulability Analysis and Verification of Real-Time Discrete-Event Systems. |
|
2013 |
RDF |
|
15 | Nasro Min-Allah, Samee Ullah Khan, Nasir Ghani, Juan Li 0004, Lizhe Wang 0001, Pascal Bouvry |
A comparative study of rate monotonic schedulability tests. |
J. Supercomput. |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Rodrigo M. Santos, Giuseppe Lipari, Enrico Bini, Tommaso Cucinotta |
On-line schedulability tests for adaptive reservations in fixed priority scheduling. |
Real Time Syst. |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Jinkyu Lee 0001, Arvind Easwaran, Insik Shin |
Laxity dynamics and LLF schedulability analysis on multiprocessor platforms. |
Real Time Syst. |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Robert I. Davis 0001, Shinpei Kato |
FPSL, FPCL and FPZL schedulability analysis. |
Real Time Syst. |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Héctor Pérez Tijero, J. Javier Gutiérrez |
On the schedulability of a data-centric real-time distribution middleware. |
Comput. Stand. Interfaces |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Jagbeer Singh, Satyendra Prasad Singh |
Schedulability Test for Soft Real-Time Systems under Multiprocessor Environment by using an Earliest Deadline First Scheduling Algorithm. |
CoRR |
2012 |
DBLP BibTeX RDF |
|
15 | Armaghan Darbandi, Myung-Kyun Kim |
Improved Schedulability Analysis of Real-Time Sporadic Tasks with EDF Preemptive Scheduling. |
J. Inform. and Commun. Convergence Engineering |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Naiqi Wu, MengChu Zhou |
Schedulability Analysis and Optimal Scheduling of Dual-Arm Cluster Tools With Residency Time Constraint and Activity Time Variation. |
IEEE Trans Autom. Sci. Eng. |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Yessine Hadj Kacem, Adel Mahfoudhi, Amina Magdich, Chokri Mraidha, Walid Karamti |
Using MDE and priority time petri nets for the schedulability analysis of embedded systems modeled by UML activity diagrams. |
ECBS |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Thomas Bøgholm, Bent Thomsen, Kim G. Larsen, Alan Mycroft |
Schedulability Analysis Abstractions for Safety Critical Java. |
ISORC |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Patrice Bonhomme, Anouch Hovsepian |
Towards a new schedulability technique of real-time systems based on difference of constraints system. |
CCA |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Will Lunniss, Sebastian Altmeyer, Robert I. Davis 0001 |
Optimising task layout to increase schedulability via reduced cache related pre-emption delays. |
RTNS |
2012 |
DBLP DOI BibTeX RDF |
|
15 | José Marinho, Stefan M. Petters, Marko Bertogna |
Extending fixed task-priority schedulability by interference limitation. |
RTNS |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Risat Mahmud Pathan |
Schedulability Analysis of Mixed-Criticality Systems on Multiprocessors. |
ECRTS |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Haibo Zeng 0001, Marco Di Natale |
Schedulability Analysis of Periodic Tasks Implementing Synchronous Finite State Machines. |
ECRTS |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Robert I. Davis 0001, Nicolas Navet |
Controller area network (CAN) schedulability analysis for messages with arbitrary deadlines in FIFO and work-conserving queues. |
WFCS |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis |
Schedulability of Herschel-Planck Revisited Using Statistical Model Checking. |
ISoLA (2) |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Da He, Wolfgang Mueller |
Enhanced Schedulability Analysis of Hard Real-time Systems on Power Manageable Multi-core Platforms. |
HPCC-ICESS |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Ehsan Khamespanah, Zeynab Sabahi-Kaviani, Ramtin Khosravi, Marjan Sirjani, Mohammad-Javad Izadi |
Timed-rebeca schedulability and deadlock-freedom analysis using floating-time transition system. |
AGERE!@SPLASH |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Linwei Niu, Jia Xu |
Improving schedulability and energy performance for weakly hard real-time systems. |
IPCCC |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Stephane Fernandes Medeiros |
The Schedulability of AES as a Countermeasure against Side Channel Attacks. |
SPACE |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Leandro Soares Indrusiak, Imran Rafiq Quadri, Ian Gray, Neil C. Audsley, Andrey Sadovykh |
A MARTE subset to enable application-platform co-simulation and schedulability analysis of NoC-based embedded systems. |
ReCoSoC |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Chaitanya Belwal, Albert M. K. Cheng, Yuanfeng Wen |
Time petri nets for schedulability analysis of the transactional event handlers of P-FRP. |
RACS |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Rodrigo Lange, Rômulo Silva de Oliveira, Eduardo Bonet, Francisco Vasques |
Schedulability Analysis of Sporadic Messages in the FlexRay Dynamic Segment. |
SBESC |
2012 |
DBLP DOI BibTeX RDF |
|
15 | J. Augusto Santos Junior, George Lima 0001 |
Sufficient Schedulability Tests for EDF-Scheduled Real-Time Systems under Interference of a High Priority Task. |
SBESC |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Yong Xie, Gang Zeng, Yang Chen, Ryo Kurachi, Hiroaki Takada, Renfa Li |
Schedulability Analysis for Messages in Gateway-Interconnected Controller Area Network. |
ICCVE |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Shuai Li 0007, Frank Singhoff, Stéphane Rubini, Michel Bourdellès |
Applicability of real-time schedulability analysis on a software radio protocol. |
HILT |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Sjoerd Cranen, Reinder J. Bril |
Global schedulability analysis of a synchronization protocol based on replenishment-bounded overrun for compositional real-time systems. |
SIES |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Alejandro Masrur, Philipp H. Kindt, Martin Becker 0001, Samarjit Chakraborty, Veit Kleeberger, Martin Barke, Ulf Schlichtmann |
Schedulability Analysis for Processors with Aging-Aware Autonomic Frequency Scaling. |
RTCSA |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Hongya Wang, LihChyun Shu, Wei Yin, Jie Jin, Jiao Cao |
The Hyperbolic Schedulability Bound for Multiprocessor RM Scheduling. |
RTCSA |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Farhana Dewan, Nathan Fisher |
Fixed-Priority Schedulability of Arbitrary-Deadline Sporadic Tasks upon Periodic Resources. |
RTCSA |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Masud Ahmed, Nathan Fisher, Daniel Grosu |
A Parallel Algorithm for EDF-Schedulability Analysis of Multi-modal Real-Time Systems. |
RTCSA |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Marisol García-Valls, Pablo Basanta-Val |
A practical solution for functional reconfiguration of real-time service based applications through partial schedulability. |
REACTION |
2012 |
DBLP BibTeX RDF |
|
15 | Hoon Sung Chwa, Hyoungbu Back, Sanjian Chen, Jinkyu Lee 0001, Arvind Easwaran, Insik Shin, Insup Lee 0001 |
Extending Task-level to Job-level Fixed Priority Assignment and Schedulability Analysis Using Pseudo-deadlines. |
RTSS |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Jinhyun Kim, Sungwon Kang |
A Schedulability Analysis Framework for Real-Time Infrastructure Systems Managing Heterogeneous Resources. |
REACTION |
2012 |
DBLP BibTeX RDF |
|
15 | Jinkyu Lee 0001, Kang G. Shin |
Controlling Preemption for Better Schedulability in Multi-Core Systems. |
RTSS |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Klaus Becker 0001, Marc Zeller, Gereon Weiss |
Towards Efficient On-line Schedulability Tests for Adaptive Networked Embedded Real-time Systems. |
PECCS |
2012 |
DBLP BibTeX RDF |
|
15 | Hyoungbu Back, Hoon Sung Chwa, Insik Shin |
Schedulability Analysis and Priority Assignment for Global Job-Level Fixed-Priority Multiprocessor Scheduling. |
IEEE Real-Time and Embedded Technology and Applications Symposium |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Bogdan Tanasa, Unmesh D. Bordoloi, Stefanie Kosuch, Petru Eles, Zebo Peng |
Schedulability Analysis for the Dynamic Segment of FlexRay: A Generalization to Slot Multiplexing. |
IEEE Real-Time and Embedded Technology and Applications Symposium |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Oguzcan Oguz, Jan F. Broenink, Angelika Mader |
Schedulability Analysis of Timed CSP Models Using the PAT Model Checker. |
CPA |
2012 |
DBLP BibTeX RDF |
|
15 | Ekain Azketa, J. Javier Gutiérrez, J. Carlos Palencia, Michael González Harbour, Luís Almeida 0001, Marga Marcos |
Schedulability analysis of multi-packet messages in segmented CAN. |
ETFA |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Mohamed Marouf, Laurent George 0001, Yves Sorel |
Schedulability analysis for a combination of non-preemptive strict periodic tasks and preemptive sporadic tasks. |
ETFA |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Franco Cicirelli, Angelo Furfaro, Libero Nigro, Francesco Pupo |
Development of a Schedulability Analysis Framework Based on pTPN and UPPAAL with Stopwatches. |
DS-RT |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Fatemeh Saremi, Praveen Jayachandran, Forrest N. Iandola, Md. Yusuf Sarwar Uddin, Tarek F. Abdelzaher, Aylin Yener |
On schedulability and time composability of data aggregation networks. |
FUSION |
2012 |
DBLP BibTeX RDF |
|
15 | Theodore P. Baker, Michele Cirinei |
A unified analysis of global EDF and fixed-task-priority schedulability of sporadic task systems on multiprocessors. |
J. Embed. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Moonju Park |
Comments on "Generalized rate monotonic schedulability bounds using relative period ratios". |
Inf. Process. Lett. |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Bo-Chao Cheng, Hsi-Hsun Yeh, Ping-Hai Hsu |
Schedulability Analysis for Hard Network Lifetime Wireless Sensor Networks With High Energy First Clustering. |
IEEE Trans. Reliab. |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Chaitanya Belwal, Albert M. K. Cheng |
Lazy Versus Eager Conflict Detection in Software Transactional Memory: A Real-Time Schedulability Perspective. |
IEEE Embed. Syst. Lett. |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Liqiong Chen, Guisheng Fan, Yunxiang Liu |
Analyzing Schedulability of Energy-oriented Distributed Real-time Embedded Software. |
J. Softw. |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Julio L. Medina, Álvaro Garcia Cuesta |
From composable design models to schedulability analysis with UML and the UML profile for MARTE. |
SIGBED Rev. |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Nicola Serreli, Giuseppe Lipari, Enrico Bini |
A tool for component-based schedulability analysis of distributed real-time pipelines. |
SIGBED Rev. |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Chokri Mraidha, Sara Tucci Piergiovanni, Sebastien Gerard |
Optimum: a MARTE-based methodology for schedulability analysis at early design stages. |
ACM SIGSOFT Softw. Eng. Notes |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Markus Lindström, Gilles Geeraerts, Joël Goossens |
A faster exact multiprocessor schedulability test for sporadic tasks |
CoRR |
2011 |
DBLP BibTeX RDF |
|
15 | Vandy Berten, Joël Goossens |
Sufficient FTP Schedulability Test for the Non-Cyclic Generalized Multiframe Task Model |
CoRR |
2011 |
DBLP BibTeX RDF |
|
15 | Jagbeer Singh |
Precise Schedulability Analysis for unfeasible to notify separately for comprehensive - EDF Scheduling of interrupted Hard Real-Time Tasks on the similar Multiprocessors |
CoRR |
2011 |
DBLP BibTeX RDF |
|
15 | Alix Munier Kordon |
A graph-based analysis of the cyclic scheduling problem with time constraints: schedulability and periodicity of the earliest schedule. |
J. Sched. |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Naiqi Wu, Chengbin Chu, Feng Chu 0001, MengChu Zhou |
Schedulability Analysis of Short-Term Scheduling for Crude Oil Operations in Refinery With Oil Residency Time and Charging-Tank-Switch-Overlap Constraints. |
IEEE Trans Autom. Sci. Eng. |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Liliana Cucu-Grosjean, Joël Goossens |
Exact schedulability tests for real-time scheduling of periodic tasks on unrelated multiprocessor platforms. |
J. Syst. Archit. |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Nan Guan, Wang Yi 0001, Qingxu Deng, Zonghua Gu 0001, Ge Yu 0001 |
Schedulability analysis for non-preemptive fixed-priority multiprocessor scheduling. |
J. Syst. Archit. |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Marko Bertogna, Sanjoy K. Baruah |
Tests for global EDF schedulability analysis. |
J. Syst. Archit. |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Markus Lindström, Gilles Geeraerts, Joël Goossens |
A faster exact multiprocessor schedulability test for sporadic tasks. |
RTNS |
2011 |
DBLP BibTeX RDF |
|
15 | Yang Chen, Ryo Kurachi, Hiroaki Takada, Gang Zeng |
Schedulability Comparison for CAN Message with Offset: Priority Queue Versus FIFO Queue. |
RTNS |
2011 |
DBLP BibTeX RDF |
|
15 | Robert I. Davis 0001, Steffen Kollmann, Victor Pollex, Frank Slomka |
Controller Area Network (CAN) Schedulability Analysis with FIFO Queues. |
ECRTS |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Risat Mahmud Pathan, Jan Jonsson |
Improved Schedulability Tests for Global Fixed-Priority Scheduling. |
ECRTS |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Juan Maria Rivas, J. Javier Gutiérrez, J. Carlos Palencia, Michael González Harbour |
Schedulability Analysis and Optimization of Heterogeneous EDF and FP Distributed Real-Time Systems. |
ECRTS |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Florian Many, David Doose |
Fault tolerance evaluation and schedulability analysis. |
SAC |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Mikel Cordovilla, Frédéric Boniol, Eric Noulard, Claire Pagetti |
Multiprocessor schedulability analyser. |
SAC |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Ming Wan, Song Tian |
Research on Schedulability of Partition Scheduling for IMA. |
ISCID (2) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Patrice Bonhomme |
A symbolic schedulability technique of real-time systems modeled by P-Time Petri nets. |
CASE |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Mohammad Mahdi Jaghoori |
Composing Real-Time Concurrent Objects Refinement, Compatibility and Schedulability. |
FSEN |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Samarjit Chakraborty, Marco Di Natale, Heiko Falk, Martin Lukasiewycz, Frank Slomka |
Timing and schedulability analysis for distributed automotive control applications. |
EMSOFT |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Taeju Park, Soontae Kim |
Dynamic scheduling algorithm and its schedulability analysis for certifiable dual-criticality systems. |
EMSOFT |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Alejandro Masrur, Dip Goswami, Reinhard Schneider 0001, Harald Voit, Anuradha Annaswamy, Samarjit Chakraborty |
Schedulability analysis of distributed cyber-physical applications on mixed time-/event-triggered bus architectures with retransmissions. |
SIES |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Martin Korsgaard, Sverre Hendseth |
Schedulability Analysis of Malleable Tasks with Arbitrary Parallel Structure. |
RTCSA (1) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Paulo Baltarejo Sousa, Konstantinos Bletsas, Björn Andersson, Eduardo Tovar |
Practical Aspects of Slot-Based Task-Splitting Dispatching in Its Schedulability Analysis. |
RTCSA (1) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Fei Teng 0001, Lei Yu 0009, Frédéric Magoulès |
Reliability Comparison of Schedulability Test in Ubiquitous Computing. |
UIC |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Nathan Fisher, Masud Ahmed |
Tractable real-time schedulability analysis for mode changes under temporal isolation. |
ESTIMedia |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Hüseyin Aysan, Radu Dobrin, Sasikumar Punnekkat, Rolf Johansson 0002 |
Probabilistic Schedulability Guarantees for Dependable Real-Time Systems under Error Bursts. |
TrustCom |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Chaitanya Belwal, Albert M. K. Cheng |
Schedulability Analysis of Transactions in Software Transactional Memory Using Timed Automata. |
TrustCom |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Chaitanya Belwal, Albert M. K. Cheng |
A Sufficient Schedulability Test for Real-Time Software Transactional Memory. |
TrustCom |
2011 |
DBLP DOI BibTeX RDF |
|