×

zbMATH — the first resource for mathematics

Real-Time Systems

The International Journal of Time-Critical Computing Systems

Short Title: Real-Time Syst.
Publisher: Springer US, New York, NY
ISSN: 0922-6443; 1573-1383/e
Online: http://link.springer.com/journal/volumesAndIssues/11241
Documents Indexed: 419 Publications (since 1992)
References Indexed: 303 Publications with 10,083 References.
all top 5

Latest Issues

56, No. 1 (2020)
55, No. 4 (2019)
55, No. 3 (2019)
55, No. 2 (2019)
55, No. 1 (2019)
54, No. 4 (2018)
54, No. 3 (2018)
54, No. 2 (2018)
54, No. 1 (2018)
53, No. 6 (2017)
53, No. 5 (2017)
53, No. 4 (2017)
53, No. 3 (2017)
53, No. 2 (2017)
53, No. 1 (2017)
52, No. 6 (2016)
52, No. 5 (2016)
52, No. 4 (2016)
52, No. 3 (2016)
52, No. 2 (2016)
52, No. 1 (2016)
51, No. 6 (2015)
51, No. 5 (2015)
51, No. 4 (2015)
51, No. 3 (2015)
51, No. 2 (2015)
51, No. 1 (2015)
50, No. 5-6 (2014)
50, No. 4 (2014)
50, No. 3 (2014)
50, No. 2 (2014)
50, No. 1 (2014)
49, No. 6 (2013)
49, No. 5 (2013)
49, No. 4 (2013)
49, No. 3 (2013)
49, No. 2 (2013)
49, No. 1 (2013)
48, No. 6 (2012)
48, No. 5 (2012)
48, No. 4 (2012)
48, No. 3 (2012)
48, No. 2 (2012)
48, No. 1 (2012)
47, No. 6 (2011)
47, No. 5 (2011)
47, No. 4 (2011)
47, No. 3 (2011)
47, No. 2 (2011)
47, No. 1 (2011)
46, No. 3 (2010)
46, No. 2 (2010)
46, No. 1 (2010)
45, No. 3 (2010)
45, No. 1-2 (2010)
44, No. 1-3 (2010)
43, No. 3 (2009)
43, No. 2 (2009)
43, No. 1 (2009)
42, No. 1-3 (2009)
41, No. 3 (2009)
41, No. 2 (2009)
41, No. 1 (2009)
40, No. 3 (2008)
40, No. 2 (2008)
40, No. 1 (2008)
39, No. 1-3 (2008)
38, No. 3 (2008)
38, No. 2 (2008)
38, No. 1 (2008)
37, No. 3 (2007)
37, No. 2 (2007)
37, No. 1 (2007)
36, No. 3 (2007)
36, No. 1-2 (2007)
35, No. 2 (2007)
35, No. 1 (2007)
34, No. 3 (2006)
34, No. 2 (2006)
34, No. 1 (2006)
33, No. 1-3 (2006)
32, No. 3 (2006)
32, No. 1-2 (2006)
31, No. 1-3 (2005)
30, No. 3 (2005)
30, No. 1-2 (2005)
29, No. 2-3 (2005)
29, No. 1 (2005)
28, No. 2-3 (2004)
28, No. 1 (2004)
27, No. 3 (2004)
27, No. 2 (2004)
27, No. 1 (2004)
26, No. 3 (2004)
26, No. 2 (2004)
26, No. 1 (2004)
25, No. 2-3 (2003)
25, No. 1 (2003)
24, No. 3 (2003)
24, No. 2 (2003)
...and 10 more Volumes
all top 5

Authors

22 Baruah, Sanjoy K.
20 Burns, Alan D.
19 Davis, Robert I.
16 Anderson, James H.
12 Goossens, Joël
11 Buttazzo, Giorgio C.
9 Bini, Enrico
9 Lu, Chenyang
8 Abdelzaher, Tarek F.
8 Chen, Jian-Jia
8 Fisher, Nathan Wayne
8 Lipari, Giuseppe
8 Thiele, Lothar
7 Altmeyer, Sebastian A.
7 Sha, Lui
6 Bletsas, Konstantinos
6 Pellizzoni, Rodolfo
6 Roychoudhury, Abhik
6 Tovar, Eduardo
5 Andersson, Björn
5 Baker, Theodore P.
5 Bertogna, Marko
5 Caccamo, Marco
5 Easwaran, Arvind
5 George, Laurent
5 Nélis, Vincent
5 Nelissen, Geoffrey
5 Schmidt, Douglas C.
5 Yi, Wang
5 Zeng, Haibo
4 Årzén, Karl-Erik
4 Behnam, Moris
4 Brandt, Scott A.
4 Crespo, Alfons
4 Cucu-Grosjean, Liliana
4 Devi, UmaMaheswari C.
4 Di Natale, Marco
4 Ernst, Rolf
4 Fohler, Gerhard
4 Maiza, Claire
4 Mitra, Tulika
4 Müller, Frank
4 Nolte, Thomas
4 Puschner, Peter
4 Richard, Pascal
4 Shih, Chi-Sheng
4 Son, Sang Hyuk
4 Stankovic, John A.
4 Zhu, Dakai
3 Abeni, Luca
3 Agrawal, Kunal
3 Åkesson, Benny
3 Aydin, Hakan
3 Balbastre, Patricia
3 Bettati, Riccardo
3 Bonifaci, Vincenzo
3 Brandenburg, Björn B.
3 Bril, Reinder J.
3 Cervin, Anton
3 Chakraborty, Samarjit
3 Cucinotta, Tommaso
3 Díaz, José Luis
3 Ekberg, Pontus
3 Eles, Petru
3 García, Daniel Fernando
3 Gaujal, Bruno
3 Goddard, Steve
3 Grolleau, Emmanuel
3 Han, Song
3 Kirner, Raimund
3 Lam, Kam-Yiu
3 Lee, Chang-Gun
3 Lee, Insup
3 Lehoczky, John P.
3 Leontyev, Hennadiy
3 Levin, Greg
3 Li, Jing
3 López, José María
3 Lundberg, Lars-Erik
3 Mok, Aloysius K.-L.
3 Navet, Nicolas
3 Ng, Joseph Kee-Yin
3 Pathan, Risat Mahmud
3 Peng, Zebo
3 Pop, Paul
3 Puffitsch, Wolfgang
3 Punnekkat, Sasikumar
3 Ramamritham, Krithi
3 Raravi, Gurulingesh
3 Reineke, Jan
3 Ripoll, Ismael
3 Ruan, Da
3 Schoeberl, Martin
3 Shin, Insik
3 Wellings, Andy
2 Ashjaei, Mohammad
2 Bernat, Guillem
2 Biondi, Alessandro
2 Brun, Olivier
2 Cerqueira, Felipe
...and 676 more Authors

Publications by Year

Citations contained in zbMATH Open

225 Publications have been cited 752 times in 397 Documents Cited by Year
Measuring the performance of schedulability tests. Zbl 1083.68008
Bini, Enrico; Buttazzo, Giorgio C.
38
2005
On the competitiveness of on-line real-time task scheduling. Zbl 0766.68011
Baruah, S.; Koren, G.; Mao, D.; Mishra, B.; Raghunathan, A.; Rosier, Louis E.; Shasha, D.; Wang, F.
29
1992
Priority-driven scheduling of periodic task systems on multiprocessors. Zbl 1081.68006
Goossens, Joël; Funk, Shelby; Baruah, Sanjoy
27
2003
Real time scheduling theory: A historical perspective. Zbl 1073.68537
Sha, Lui; Abdelzaher, Tarek; Årzén, Karl-Erik; Cervin, Anton; Baker, Theodore; Burns, Alan; Buttazzo, Giorgio; Caccamo, Marco; Lehoczky, John; Mok, Aloysius K.
19
2004
Feedback control real-time scheduling: Framework, modeling, and algorithms. Zbl 1018.68009
Lu, Chenyang; Stankovic, John A.; Son, Sang H.; Tao, Gang
17
2002
Dynamic- and static-priority scheduling of recurring real-time tasks. Zbl 1033.68012
Baruah, Sanjoy K.
17
2003
Improved priority assignment for global fixed priority pre-emptive scheduling in multiprocessor real-time systems. Zbl 1206.68063
Davis, Robert I.; Burns, Alan
17
2011
Feedback–feedforward scheduling of control tasks. Zbl 1018.68008
Cervin, Anton; Eker, Johan; Bernhardsson, Bo; Årzén, Karl-Erik
16
2002
Scheduler modeling based on the controller synthesis paradigm. Zbl 1018.68006
Altisen, K.; Gössler, G.; Sifakis, J.
13
2002
Utilization bounds for EDF scheduling on real-time multiprocessor systems. Zbl 1067.68025
López, J. M.; Díaz, J. L.; García, D. F.
12
2004
Resource reservation in dynamic real-time systems. Zbl 1078.68586
Abeni, Luca; Buttazzo, Giorgio
12
2004
Tardiness bounds under global EDF scheduling on a multiprocessor. Zbl 1141.68021
Devi, UmaMaheswari C.; Anderson, J. H.
11
2008
Improved cache related pre-emption delay aware response time analysis for fixed priority pre-emptive systems. Zbl 1243.68094
Altmeyer, Sebastian; Davis, Robert I.; Maiza, Claire
11
2012
Optimal online multiprocessor scheduling of sporadic real-time tasks is impossible. Zbl 1197.68027
Fisher, Nathan; Goossens, Joël; Baruah, Sanjoy
10
2010
{DP-Fair}: a unifying theory for optimal hard real-time multiprocessor scheduling. Zbl 1243.68106
Funk, Shelby; Levin, Greg; Sadowski, Caitlin; Pye, Ian; Brandt, Scott
10
2011
Schedulability analysis of global EDF. Zbl 1141.68015
Baruah, Sanjoy; Baker, Theodore
9
2008
Multi-core real-time scheduling for generalized parallel task models. Zbl 1291.68096
Saifullah, Abusayeed; Li, Jing; Agrawal, Kunal; Lu, Chenyang; Gill, Christopher
9
2013
Bounding and shaping the demand of generalized mixed-criticality sporadic task systems. Zbl 1291.68075
Ekberg, Pontus; Yi, Wang
9
2014
Assigning real-time tasks on heterogeneous multiprocessors with two unrelated types of processors. Zbl 1291.68093
Raravi, Gurulingesh; Andersson, Björn; Bletsas, Konstantinos
8
2013
Partitioned EDF scheduling on a few types of unrelated multiprocessors. Zbl 1291.68098
Wiese, Andreas; Bonifaci, Vincenzo; Baruah, Sanjoy
8
2013
Preemption-light multiprocessor scheduling of sporadic tasks with high utilisation bound. Zbl 1230.68049
Bletsas, Konstantinos; Andersson, Björn
8
2011
Worst-case response time analysis of real-time tasks under fixed-priority scheduling with deferred preemption. Zbl 1185.68106
Bril, Reinder J.; Lukkien, Johan J.; Verhaegh, Wim F. J.
8
2009
Exact quantification of the sub-optimality of uniprocessor fixed priority pre-emptive scheduling. Zbl 1184.68121
Davis, Robert I.; Rothvoß, Thomas; Baruah, Sanjoy K.; Burns, Alan
7
2009
An analysis of global EDF schedulability for arbitrary-deadline sporadic task systems. Zbl 1186.68056
Baker, Theodore P.; Baruah, Sanjoy K.
7
2009
An analysis of fixed-priority schedulability on a multiprocessor. Zbl 1103.68393
Baker, Theodore P.
6
2006
Sensitivity analysis for fixed-priority real-time systems. Zbl 1141.68020
Bini, Enrico; Di Natale, Marco; Buttazzo, Giorgio
6
2008
Combinatorial abstraction refinement for feasibility analysis of static priorities. Zbl 1343.68037
Stigge, Martin; Yi, Wang
6
2015
QoS management through adaptive reservations. Zbl 1083.68007
Abeni, L.; Cucinotta, T.; Lipari, G.; Marzario, L.; Palopoli, L.
6
2005
Rate monotonic vs. EDF: judgment day. Zbl 1097.68530
Buttazzo, Giorgio C.
6
2005
Real-time supervisory control of a processor for non-preemptive execution of periodic tasks. Zbl 1012.68019
Chen, Peter C. Y.; Wonham, W. M.
6
2002
Generalized tardiness bounds for global multiprocessor scheduling. Zbl 1186.68069
Leontyev, Hennadiy; Anderson, James H.
6
2010
EDZL scheduling analysis. Zbl 1194.68082
Baker, Theodore P.; Cirinei, Michele; Bertogna, Marko
6
2008
Partitioned EDF scheduling for multiprocessors using a \(C=D\) task splitting scheme. Zbl 1243.68101
Burns, A.; Davis, R. I.; Wang, P.; Zhang, F.
6
2012
Optimal virtual cluster-based multiprocessor scheduling. Zbl 1186.68063
Easwaran, Arvind; Shin, Insik; Lee, Insup
6
2009
A hierarchical multiprocessor bandwidth reservation scheme with timing guarantees. Zbl 1185.68115
Leontyev, Hennadiy; Anderson, James H.
6
2009
The non-preemptive scheduling of periodic tasks upon multiprocessors. Zbl 1103.68394
Baruah, Sanjoy K.
5
2006
Integrated QoS-aware resource management and scheduling with multi-resource constraints. Zbl 1152.90442
Ghosh, Sourav; Raj Rajkumar, Ragunathan; Hansen, Jeffery; Lehoczky, John
5
2006
Timing analysis of the flexRay communication protocol. Zbl 1140.68337
Pop, Traian; Pop, Paul; Eles, Petru; Peng, Zebo; Andrei, Alexandru
5
2008
Multiprocessor scheduling by reduction to uniprocessor: an original optimal approach. Zbl 1291.68095
Regnier, Paul; Lima, George; Massa, Ernesto; Levin, Greg; Brandt, Scott
5
2013
Feasibility analysis of real-time periodic tasks with offsets. Zbl 1083.68012
Pellizzoni, Rodolfo; Lipari, Giuseppe
5
2005
Adaptive workload management through elastic scheduling. Zbl 1018.68007
Buttazzo, Giorgio; Abeni, Luca
5
2002
Real-time databases and data services. Zbl 1094.68559
Ramamritham, Krithi; Son, Sang H.; DiPippo, Lisa Cingiser
5
2004
Mode change protocols for real-time systems: a survey and a new proposal. Zbl 1069.68532
Real, Jorge; Crespo, Alfons
5
2004
Formal verification of real-time systems with preemptive scheduling. Zbl 1185.68429
Lime, Didier; Roux, Olivier (H.)
5
2009
A timeband framework for modelling real-time systems. Zbl 1197.68032
Burns, Alan; Hayes, Ian J.
5
2010
Strictly periodic scheduling in IMA-based architectures. Zbl 1243.68126
Sheikh, Ahmad Al; Brun, Olivier; Hladik, Pierre-Emmanuel; Prabhu, Balakrishna J.
5
2012
The partitioned dynamic-priority scheduling of sporadic task systems. Zbl 1118.68378
Baruah, Sanjoy K.; Fisher, Nathan Wayne
4
2007
Timing predictability of cache replacement policies. Zbl 1125.68422
Reineke, Jan; Grund, Daniel; Berg, Christoph; Wilhelm, Reinhard
4
2007
Efficient implementation of tight response-times for tasks with offsets. Zbl 1167.68348
Mäki-Turja, Jukka; Nolin, Mikael
4
2008
Mixed-criticality scheduling on multiprocessors. Zbl 1291.68065
Baruah, Sanjoy; Chattopadhyay, Bipasa; Li, Haohan; Shin, Insik
4
2014
Fixed priority scheduling with pre-emption thresholds and cache-related pre-emption delays: integrated analysis and evaluation. Zbl 1409.68054
Bril, Reinder J.; Altmeyer, Sebastian; van den Heuvel, Martijn M. H. P.; Davis, Robert I.; Behnam, Moris
4
2017
Quantitative characterization of event streams in analysis of hard real-time applications. Zbl 1083.68528
Wandeler, Ernesto; Maxiaguine, Alexander; Thiele, Lothar
4
2005
Implementation of algebraic controllers for non-conventional sampled-data systems. Zbl 1117.93348
Cuenca, Ángel; Salt, Julián; Albertos, Pedro
4
2007
Schedulability-driven communication synthesis for time triggered embedded systems. Zbl 1067.68027
Pop, Paul; Eles, Petru; Peng, Zebo
4
2004
Real-time operating systems. Zbl 1094.68539
Stankovic, John A.; Rajkumar, R.
4
2004
Trade-off analysis of real-time control performance and schedulability. Zbl 1012.68025
Seto, Danbing; Lehoczky, John P.; Sha, Lui; Shin, Kang G.
4
2001
Improved multiprocessor global schedulability analysis. Zbl 1204.68034
Baruah, Sanjoy; Bonifaci, Vincenzo; Marchetti-Spaccamela, Alberto; Stiller, Sebastian
4
2010
Schedulability and sensitivity analysis of multiple criticality tasks with fixed-priorities. Zbl 1213.68145
Dorin, François; Richard, Pascal; Richard, Michaël; Goossens, Joël
4
2010
Group-based Pfair scheduling. Zbl 1105.68010
Holman, Philip; Anderson, James H.
3
2006
Scoped types and aspects for real-time Java memory management. Zbl 1127.68015
Andreae, Chris; Coady, Yvonne; Gibbs, Celina; Noble, James; Vitek, Jan; Zhao, Tian
3
2007
The limited-preemptive feasibility of real-time tasks on uniprocessors. Zbl 1330.68043
Thekkilakattil, Abhilash; Dobrin, Radu; Punnekkat, Sasikumar
3
2015
Scheduling algorithms to reduce the static energy consumption of real-time systems. Zbl 1334.68037
Legout, Vincent; Jan, Mathieu; Pautet, Laurent
3
2015
Graph-based models for real-time workload: a survey. Zbl 1337.68050
Stigge, Martin; Yi, Wang
3
2015
Cache-aware compositional analysis of real-time multicore virtualization platforms. Zbl 1343.68039
Xu, Meng; Phan, Linh Thi Xuan; Sokolsky, Oleg; Xi, Sisu; Lu, Chenyang; Gill, Christopher; Lee, Insup
3
2015
Memory-centric scheduling for multicore hard real-time systems. Zbl 1291.68100
Yao, Gang; Pellizzoni, Rodolfo; Bak, Stanley; Betti, Emiliano; Caccamo, Marco
3
2012
Schedulability analysis for controller area network (CAN) with FIFO queues priority queues and gateways. Zbl 1291.68074
Davis, Robert I.; Kollmann, Steffen; Pollex, Victor; Slomka, Frank
3
2013
Multiprocessor schedulability of arbitrary-deadline sporadic tasks: complexity and antichain algorithm. Zbl 1291.68081
Geeraerts, Gilles; Goossens, Joël; Lindström, Markus
3
2013
Timing analysis of real-time communication under electromagnetic interference. Zbl 1086.68513
Broster, I.; Burns, A.; RodrÍguez-Navas, G.
3
2005
Using control theory to achieve service level objectives in performance management. Zbl 1011.93074
Parekh, S.; Gandhi, N.; Hellerstein, J.; Tilbury, D.; Jayram, T.
3
2002
Probabilistic schedulability analysis of harmonic multi-task systems with dual-modular temporal redundancy. Zbl 1101.68417
Kim, Jae Kwon; Kim, Byung Kook
3
2004
Applying real-time interface and calculus for dynamic power management in hard real-time systems. Zbl 1211.68035
Huang, Daniel Julius Dara Kai; Santinelli, Luca; Chen, Jian-Jia; Thiele, Lothar; Buttazzo, Giorgio C.
3
2011
Compact data structures and state-space reduction for model-checking real-time systems. Zbl 1081.68010
Larsen, Kim G.; Larsson, Fredrik; Pettersson, Paul; Yi, Wang
3
2003
Periodicity of real-time schedules for dependent periodic tasks on identical multiprocessor platforms. Zbl 1392.68121
Goossens, Joël; Grolleau, Emmanuel; Cucu-Grosjean, Liliana
3
2016
Competitive analysis of online real-time scheduling algorithms under hard energy constraint. Zbl 1204.68037
Devadas, Vinay; Li, Fei; Aydin, Hakan
3
2010
Optimal design of virtual links in AFDX networks. Zbl 1317.68019
Al Sheikh, Ahmad; Brun, Olivier; Chéramy, Maxime; Hladik, Pierre-Emmanuel
3
2014
Delay composition in preemptive and non-preemptive real-time pipelines. Zbl 1180.68083
Jayachandran, Praveen; Abdelzaher, Tarek
3
2008
Schedulability analysis and task mapping for real-time on-chip communication. Zbl 1213.68153
Shi, Zheng; Burns, Alan
3
2010
{LRE}-{TL}: An optimal multiprocessor algorithm for sporadic task sets with unconstrained deadlines. Zbl 1213.68147
Funk, Maryline Mikael Shelby
3
2010
A bandwidth allocation scheme for compositional real-time systems with periodic resources. Zbl 1243.68105
Fisher, Nathan; Dewan, Farhana
3
2012
Investigating the usability of real-time scheduling theory with the Cheddar project. Zbl 1184.68139
Singhoff, Frank; Plantec, Alain; Dissaux, Pierre; Legrand, Jérôme
3
2009
Approximation techniques for response-time analysis of static-priority tasks. Zbl 1185.68118
Nguyen, Thi Huyen Chau; Richard, Pascal; Bini, Enrico
3
2009
Exact scheduling analysis of non-accumulatively monotonic multiframe tasks. Zbl 1185.68129
Zuhily, A.; Burns, A.
3
2009
Combination of clock-state and clock-rate correction in fault-tolerant distributed systems. Zbl 1103.68384
Kopetz, Hermann; Ademaj, Astrit; Hanzlik, Alexander
2
2006
Dynamic voltage scaling under EDF revisited. Zbl 1127.68012
Gaujal, Bruno; Navet, Nicolas
2
2007
Real-time scheduling for energy harvesting sensor nodes. Zbl 1125.68016
Moser, Clemens; Brunelli, Davide; Thiele, Lothar; Benini, Luca
2
2007
Reactive speed control in temperature-constrained real-time systems. Zbl 1140.68347
Wang, Shengquan; Bettati, Riccardo
2
2008
Symbolic quality control for multimedia applications. Zbl 1167.68329
Combaz, Jacques; Fernandez, Jean-Claude; Sifakis, Joseph; Strus, Loïc
2
2008
Computing periodic request functions to speed-up the analysis of non-cyclic task models. Zbl 1338.68042
Zeng, Haibo; Di Natale, Marco
2
2015
Exact comparison of fixed priority and EDF scheduling based on speedup factors for both pre-emptive and non-pre-emptive paradigms. Zbl 1337.68047
Davis, Robert I.; Burns, Alan; Baruah, Sanjoy; Rothvoß, Thomas; George, Laurent; Gettings, Oliver
2
2015
Timing analysis of concurrent programs running on shared cache multi-cores. Zbl 1291.68087
Liang, Yun; Ding, Huping; Mitra, Tulika; Roychoudhury, Abhik; Li, Yan; Suhendra, Vivy
2
2012
Analysis and implementation of the multiprocessor bandwidth inheritance protocol. Zbl 1291.68078
Faggioli, Dario; Lipari, Giuseppe; Cucinotta, Tommaso
2
2012
Data cache organization for accurate timing analysis. Zbl 1291.68097
Schoeberl, Martin; Huber, Benedikt; Puffitsch, Wolfgang
2
2013
Fair lateness scheduling: reducing maximum lateness in G-EDF-like scheduling. Zbl 1291.68077
Erickson, Jeremy P.; Anderson, James H.; Ward, Bryan C.
2
2014
Task assignment algorithms for two-type heterogeneous multiprocessors. Zbl 1291.68094
Raravi, Gurulingesh; Andersson, Björn; Nélis, Vincent; Bletsas, Konstantinos
2
2014
Real-time scheduling with resource sharing on heterogeneous multiprocessors. Zbl 1291.68061
Andersson, Björn; Raravi, Gurulingesh
2
2014
Criticality: static profiling for real-time programs. Zbl 1291.68066
Brandner, Florian; Hepp, Stefan; Jordan, Alexander
2
2014
Schedulability analysis of Ethernet audio video bridging networks with scheduled traffic support. Zbl 1409.68051
Ashjaei, Mohammad; Patti, Gaetano; Behnam, Moris; Nolte, Thomas; Alderisi, Giuliana; Lo Bello, Lucia
2
2017
Analysis of window-constrained execution time systems. Zbl 1113.68028
Balbastre, Patricia; Ripoll, Ismael; Crespo, Alfons
2
2007
Modeling control speculation for timing analysis. Zbl 1102.68015
Li, Xianfeng; Mitra, Tulika; Roychoudhury, Abhik
2
2005
Data-flow frameworks for worst-case execution time analysis. Zbl 1014.68049
Blieberger, Johann
2
2002
An extensible framework for multicore response time analysis. Zbl 1398.68068
Davis, Robert I.; Altmeyer, Sebastian; Indrusiak, Leandro S.; Maiza, Claire; Nelis, Vincent; Reineke, Jan
2
2018
Multi-objective design exploration approach for Ravenscar real-time systems. Zbl 06897216
Bouaziz, Rahma; Lemarchand, Laurent; Singhoff, Frank; Zalila, Bechir; Jmaiel, Mohamed
2
2018
On the ineffectiveness of \(1/m\)-based interference bounds in the analysis of global EDF and FIFO scheduling. Zbl 1398.68063
Biondi, Alessandro; Sun, Youcheng
1
2018
Online and offline scheduling with cache-related preemption delays. Zbl 1398.68075
Phavorin, Guillaume; Richard, Pascal; Goossens, Joël; Maiza, Claire; George, Laurent; Chapeaux, Thomas
1
2018
An exact schedulability test for fixed-priority preemptive mixed-criticality real-time systems. Zbl 1425.68043
Asyaban, Sedigheh; Kargahi, Mehdi
1
2018
Response time analysis of digraph real-time tasks scheduled with static priority: generalization, approximation, and improvement. Zbl 1425.68047
Peng, Chao; Zeng, Haibo
1
2018
Energy-efficient real-time scheduling for two-type heterogeneous multiprocessors. Zbl 1425.68048
Thammawichai, Mason; Kerrigan, Eric C.
1
2018
Exact speedup factors and sub-optimality for non-preemptive scheduling. Zbl 1425.68045
Davis, Robert I.; Thekkilakattil, Abhilash; Gettings, Oliver; Dobrin, Radu; Punnekkat, Sasikumar; Chen, Jian-Jia
1
2018
On the analysis of random replacement caches using static probabilistic timing methods for multi-path programs. Zbl 06897214
Lesage, Benjamin; Griffin, David; Altmeyer, Sebastian; Cucu-Grosjean, Liliana; Davis, Robert I.
1
2018
Patmos: a time-predictable microprocessor. Zbl 06897215
Schoeberl, Martin; Puffitsch, Wolfgang; Hepp, Stefan; Huber, Benedikt; Prokesch, Daniel
1
2018
Enhancing timeliness and saving power in real-time databases. Zbl 06897217
Kang, Kyoung-Don
1
2018
Fixed priority scheduling with pre-emption thresholds and cache-related pre-emption delays: integrated analysis and evaluation. Zbl 1409.68054
Bril, Reinder J.; Altmeyer, Sebastian; van den Heuvel, Martijn M. H. P.; Davis, Robert I.; Behnam, Moris
4
2017
Schedulability analysis of Ethernet audio video bridging networks with scheduled traffic support. Zbl 1409.68051
Ashjaei, Mohammad; Patti, Gaetano; Behnam, Moris; Nolte, Thomas; Alderisi, Giuliana; Lo Bello, Lucia
2
2017
Real-time scheduling algorithm for safety-critical systems on faulty multicore environments. Zbl 1409.68061
Pathan, Risat Mahmud
1
2017
Optimizing resource speed for two-stage real-time tasks. Zbl 1409.68060
Melani, Alessandra; Mancuso, Renato; Cullina, Daniel; Caccamo, Marco; Thiele, Lothar
1
2017
Deterministic delay analysis of AVB switched Ethernet networks using an extended trajectory approach. Zbl 1409.68034
Li, Xiaoting; George, Laurent
1
2017
Verification and control of partially observable probabilistic systems. Zbl 1425.68266
Norman, Gethin; Parker, David; Zou, Xueyi
1
2017
Designing end-to-end resource reservations in predictable distributed embedded systems. Zbl 06888524
Ashjaei, Mohammad; Khalilzad, Nima; Mubeen, Saad; Behnam, Moris; Sander, Ingo; Almeida, Luis; Nolte, Thomas
1
2017
Parameter adaptation for generalized multiframe tasks: schedulability analysis, case study, and applications to self-suspending tasks. Zbl 06888525
Peng, Bo; Fisher, Nathan
1
2017
Attacking the one-out-of-\(m\) multicore problem by combining hardware management with mixed-criticality provisioning. Zbl 1423.68083
Kim, Namhoon; Ward, Bryan C.; Chisholm, Micaiah; Anderson, James H.; Smith, F. Donelson
1
2017
Model predictive control under timing constraints induced by controller area networks. Zbl 1406.93123
Shi, Zhenwu; Zhang, Fumin
1
2017
Periodicity of real-time schedules for dependent periodic tasks on identical multiprocessor platforms. Zbl 1392.68121
Goossens, Joël; Grolleau, Emmanuel; Cucu-Grosjean, Liliana
3
2016
Cache related pre-emption delays in hierarchical scheduling. Zbl 1352.68029
Lunniss, Will; Altmeyer, Sebastian; Lipari, Giuseppe; Davis, Robert I.
2
2016
A framework for memory contention analysis in multi-core platforms. Zbl 1357.68020
Dasari, Dakshina; Nelis, Vincent; Akesson, Benny
1
2016
A pre-order relation for exact schedulability test of sporadic tasks on multiprocessor global fixed-priority scheduling. Zbl 1357.68024
Sun, Youcheng; Lipari, Giuseppe
1
2016
Using a lag-balance property to tighten tardiness bounds for global EDF. Zbl 1357.68025
Valente, Paolo
1
2016
Combinatorial abstraction refinement for feasibility analysis of static priorities. Zbl 1343.68037
Stigge, Martin; Yi, Wang
6
2015
The limited-preemptive feasibility of real-time tasks on uniprocessors. Zbl 1330.68043
Thekkilakattil, Abhilash; Dobrin, Radu; Punnekkat, Sasikumar
3
2015
Scheduling algorithms to reduce the static energy consumption of real-time systems. Zbl 1334.68037
Legout, Vincent; Jan, Mathieu; Pautet, Laurent
3
2015
Graph-based models for real-time workload: a survey. Zbl 1337.68050
Stigge, Martin; Yi, Wang
3
2015
Cache-aware compositional analysis of real-time multicore virtualization platforms. Zbl 1343.68039
Xu, Meng; Phan, Linh Thi Xuan; Sokolsky, Oleg; Xi, Sisu; Lu, Chenyang; Gill, Christopher; Lee, Insup
3
2015
Computing periodic request functions to speed-up the analysis of non-cyclic task models. Zbl 1338.68042
Zeng, Haibo; Di Natale, Marco
2
2015
Exact comparison of fixed priority and EDF scheduling based on speedup factors for both pre-emptive and non-pre-emptive paradigms. Zbl 1337.68047
Davis, Robert I.; Burns, Alan; Baruah, Sanjoy; Rothvoß, Thomas; George, Laurent; Gettings, Oliver
2
2015
Static probabilistic timing analysis for real-time systems using random replacement caches. Zbl 1334.68033
Altmeyer, Sebastian; Cucu-Grosjean, Liliana; Davis, Robert
1
2015
Global EDF scheduling for parallel real-time tasks. Zbl 1338.68041
Li, Jing; Luo, Zheng; Ferry, David; Agrawal, Kunal; Gill, Christopher; Lu, Chenyang
1
2015
Multiprocessor real-time scheduling with arbitrary processor affinities: from practice to theory. Zbl 1338.68040
Gujarati, Arpan; Cerqueira, Felipe; Brandenburg, Björn B.
1
2015
Off-line mapping of multi-rate dependent task sets to many-core platforms. Zbl 1337.68049
Puffitsch, Wolfgang; Noulard, Eric; Pagetti, Claire
1
2015
Reliable social sensing with physical constraints: analytic bounds and performance evaluation. Zbl 1343.68038
Wang, Dong; Abdelzaher, Tarek; Kaplan, Lance; Ganti, Raghu; Hu, Shaohan; Liu, Hengchang
1
2015
Bounding and shaping the demand of generalized mixed-criticality sporadic task systems. Zbl 1291.68075
Ekberg, Pontus; Yi, Wang
9
2014
Mixed-criticality scheduling on multiprocessors. Zbl 1291.68065
Baruah, Sanjoy; Chattopadhyay, Bipasa; Li, Haohan; Shin, Insik
4
2014
Optimal design of virtual links in AFDX networks. Zbl 1317.68019
Al Sheikh, Ahmad; Brun, Olivier; Chéramy, Maxime; Hladik, Pierre-Emmanuel
3
2014
Fair lateness scheduling: reducing maximum lateness in G-EDF-like scheduling. Zbl 1291.68077
Erickson, Jeremy P.; Anderson, James H.; Ward, Bryan C.
2
2014
Task assignment algorithms for two-type heterogeneous multiprocessors. Zbl 1291.68094
Raravi, Gurulingesh; Andersson, Björn; Nélis, Vincent; Bletsas, Konstantinos
2
2014
Real-time scheduling with resource sharing on heterogeneous multiprocessors. Zbl 1291.68061
Andersson, Björn; Raravi, Gurulingesh
2
2014
Criticality: static profiling for real-time programs. Zbl 1291.68066
Brandner, Florian; Hepp, Stefan; Jordan, Alexander
2
2014
Clairvoyance and online scheduling in real-time energy harvesting systems. Zbl 1291.68070
Chetto, Maryline; Queudet, Audrey
1
2014
Static analysis of multi-core TDMA resource arbitration delays. Zbl 1291.68085
Kelter, Timon; Falk, Heiko; Marwedel, Peter; Chattopadhyay, Sudipta; Roychoudhury, Abhik
1
2014
Implementing mixed-criticality synchronous reactive programs upon uniprocessor platforms. Zbl 1291.68064
Baruah, Sanjoy
1
2014
Fault-tolerant and real-time scheduling for mixed-criticality systems. Zbl 1291.68091
Pathan, Risat Mahmud
1
2014
Stability of adaptive feedback-based resource managers for systems with execution time variations. Zbl 1317.68025
Rafiliu, Sergiu; Eles, Petru; Peng, Zebo
1
2014
Unified overhead-aware schedulability analysis for slot-based task-splitting. Zbl 1314.68095
Sousa, Paulo Baltarejo; Bletsas, Konstantinos; Tovar, Eduardo; Souto, Pedro; Åkesson, Benny
1
2014
A formal approach to the WCRT analysis of multicore systems with memory contention under phase-structured task sets. Zbl 1314.68090
Lampka, Kai; Giannopoulou, Georgia; Pellizzoni, Rodolfo; Wu, Zheng; Stoimenov, Nikolay
1
2014
Multi-core real-time scheduling for generalized parallel task models. Zbl 1291.68096
Saifullah, Abusayeed; Li, Jing; Agrawal, Kunal; Lu, Chenyang; Gill, Christopher
9
2013
Assigning real-time tasks on heterogeneous multiprocessors with two unrelated types of processors. Zbl 1291.68093
Raravi, Gurulingesh; Andersson, Björn; Bletsas, Konstantinos
8
2013
Partitioned EDF scheduling on a few types of unrelated multiprocessors. Zbl 1291.68098
Wiese, Andreas; Bonifaci, Vincenzo; Baruah, Sanjoy
8
2013
Multiprocessor scheduling by reduction to uniprocessor: an original optimal approach. Zbl 1291.68095
Regnier, Paul; Lima, George; Massa, Ernesto; Levin, Greg; Brandt, Scott
5
2013
Schedulability analysis for controller area network (CAN) with FIFO queues priority queues and gateways. Zbl 1291.68074
Davis, Robert I.; Kollmann, Steffen; Pollex, Victor; Slomka, Frank
3
2013
Multiprocessor schedulability of arbitrary-deadline sporadic tasks: complexity and antichain algorithm. Zbl 1291.68081
Geeraerts, Gilles; Goossens, Joël; Lindström, Markus
3
2013
Data cache organization for accurate timing analysis. Zbl 1291.68097
Schoeberl, Martin; Huber, Benedikt; Puffitsch, Wolfgang
2
2013
Safety-critical Java programs from Circus models. Zbl 1285.68037
Cavalcanti, Ana; Zeyda, Frank; Wellings, Andy; Woodcock, Jim; Wei, Kun
1
2013
Design of a crossbar VOQ real-time switch with clock-driven scheduling for a guaranteed delay bound. Zbl 1291.68084
Kang, Kyungtae; Park, Kyung-Joon; Sha, Lui; Wang, Qixin
1
2013
An optimal \(k\)-exclusion real-time locking protocol motivated by multi-GPU systems. Zbl 1291.68076
Elliott, Glenn A.; Anderson, James H.
1
2013
Scheduling of hard real-time multi-phase multi-thread (MPMT) periodic tasks. Zbl 1291.68072
Courbin, Pierre; Lupu, Irina; Goossens, Joël
1
2013
Resource augmentation for uniprocessor and multiprocessor partitioned scheduling of sporadic real-time tasks. Zbl 1291.68069
Chen, Jian-Jia; Chakraborty, Samarjit
1
2013
Scalable and precise refinement of cache timing analysis via path-sensitive verification. Zbl 1291.68068
Chattopadhyay, Sudipta; Roychoudhury, Abhik
1
2013
Partitioned EDF scheduling: a closer look. Zbl 1291.68063
Baruah, Sanjoy
1
2013
Improved cache related pre-emption delay aware response time analysis for fixed priority pre-emptive systems. Zbl 1243.68094
Altmeyer, Sebastian; Davis, Robert I.; Maiza, Claire
11
2012
Partitioned EDF scheduling for multiprocessors using a \(C=D\) task splitting scheme. Zbl 1243.68101
Burns, A.; Davis, R. I.; Wang, P.; Zhang, F.
6
2012
Strictly periodic scheduling in IMA-based architectures. Zbl 1243.68126
Sheikh, Ahmad Al; Brun, Olivier; Hladik, Pierre-Emmanuel; Prabhu, Balakrishna J.
5
2012
Memory-centric scheduling for multicore hard real-time systems. Zbl 1291.68100
Yao, Gang; Pellizzoni, Rodolfo; Bak, Stanley; Betti, Emiliano; Caccamo, Marco
3
2012
A bandwidth allocation scheme for compositional real-time systems with periodic resources. Zbl 1243.68105
Fisher, Nathan; Dewan, Farhana
3
2012
Timing analysis of concurrent programs running on shared cache multi-cores. Zbl 1291.68087
Liang, Yun; Ding, Huping; Mitra, Tulika; Roychoudhury, Abhik; Li, Yan; Suhendra, Vivy
2
2012
Analysis and implementation of the multiprocessor bandwidth inheritance protocol. Zbl 1291.68078
Faggioli, Dario; Lipari, Giuseppe; Cucinotta, Tommaso
2
2012
Instruction cache locking for multi-task real-time embedded systems. Zbl 1243.68117
Liu, Tiantian; Li, Minming; Xue, Chun Jason
2
2012
Numerical analysis of worst-case end-to-end delay bounds in FIFO tandem networks. Zbl 1243.68100
Bisti, Luca; Lenzini, Luciano; Mingozzi, Enzo; Stea, Giovanni
2
2012
Laxity dynamics and LLF schedulability analysis on multiprocessor platforms. Zbl 1291.68086
Lee, Jinkyu; Easwaran, Arvind; Shin, Insik
1
2012
FPSL, FPCL and FPZL schedulability analysis. Zbl 1291.68073
Davis, Robert I.; Kato, Shinpei
1
2012
Globally scheduled real-time multiprocessor systems with GPUs. Zbl 1243.68104
Elliott, Glenn A.; Anderson, James H.
1
2012
Energy-optimal batching periods for asynchronous multistage data processing on sensor nodes: foundations and an mPlatform case study. Zbl 1243.68034
Wang, Dong; Abdelzaher, Tarek; Priyantha, Bodhi; Liu, Jie; Zhao, Feng
1
2012
Scheduling real-time divisible loads with advance reservations. Zbl 1243.68119
Mamat, Anwar; Lu, Ying; Deogun, Jitender; Goddard, Steve
1
2012
State-based scheduling with tree schedules: analysis and evaluation. Zbl 1243.68095
Anand, Madhukar; Fischmeister, Sebastian; Lee, Insup; Phan, Linh T. X.
1
2012
Improved priority assignment for global fixed priority pre-emptive scheduling in multiprocessor real-time systems. Zbl 1206.68063
Davis, Robert I.; Burns, Alan
17
2011
{DP-Fair}: a unifying theory for optimal hard real-time multiprocessor scheduling. Zbl 1243.68106
Funk, Shelby; Levin, Greg; Sadowski, Caitlin; Pye, Ian; Brandt, Scott
10
2011
Preemption-light multiprocessor scheduling of sporadic tasks with high utilisation bound. Zbl 1230.68049
Bletsas, Konstantinos; Andersson, Björn
8
2011
Applying real-time interface and calculus for dynamic power management in hard real-time systems. Zbl 1211.68035
Huang, Daniel Julius Dara Kai; Santinelli, Luca; Chen, Jian-Jia; Thiele, Lothar; Buttazzo, Giorgio C.
3
2011
Feasibility analysis under fixed priority scheduling with limited preemptions. Zbl 1217.68043
Yao, Gang; Buttazzo, Giorgio; Bertogna, Marko
2
2011
Sticky-ERfair: a task-processor affinity aware proportional fair scheduler. Zbl 1234.68049
Sarkar, Arnab; Ghose, Sujoy; Chakrabarti, P. P.
2
2011
CPU scheduling and memory management for interactive real-time applications. Zbl 1243.68112
Kato, Shinpei; Ishikawa, Yutaka; Rajkumar, Ragunathan (Raj)
2
2011
Cluster scheduling for real-time systems: utilization bounds and run-time overhead. Zbl 1217.68041
Qi, Xuan; Zhu, Dakai; Aydin, Hakan
1
2011
Efficient verification of distributed real-time systems with broadcasting behaviors. Zbl 1230.68155
Wang, Farn; Yao, Li-Wei; Yang, Ya-Lan
1
2011
Efficient computation of response time bounds for preemptive uniprocessor deadline monotonic scheduling. Zbl 1243.68097
Baruah, Sanjoy
1
2011
Optimal online multiprocessor scheduling of sporadic real-time tasks is impossible. Zbl 1197.68027
Fisher, Nathan; Goossens, Joël; Baruah, Sanjoy
10
2010
Generalized tardiness bounds for global multiprocessor scheduling. Zbl 1186.68069
Leontyev, Hennadiy; Anderson, James H.
6
2010
A timeband framework for modelling real-time systems. Zbl 1197.68032
Burns, Alan; Hayes, Ian J.
5
2010
Improved multiprocessor global schedulability analysis. Zbl 1204.68034
Baruah, Sanjoy; Bonifaci, Vincenzo; Marchetti-Spaccamela, Alberto; Stiller, Sebastian
4
2010
Schedulability and sensitivity analysis of multiple criticality tasks with fixed-priorities. Zbl 1213.68145
Dorin, François; Richard, Pascal; Richard, Michaël; Goossens, Joël
4
2010
Competitive analysis of online real-time scheduling algorithms under hard energy constraint. Zbl 1204.68037
Devadas, Vinay; Li, Fei; Aydin, Hakan
3
2010
Schedulability analysis and task mapping for real-time on-chip communication. Zbl 1213.68153
Shi, Zheng; Burns, Alan
3
2010
{LRE}-{TL}: An optimal multiprocessor algorithm for sporadic task sets with unconstrained deadlines. Zbl 1213.68147
Funk, Maryline Mikael Shelby
3
2010
A compiler framework for the reduction of worst-case execution times. Zbl 1205.68119
Falk, Heiko; Lokuciejewski, Paul
1
2010
...and 125 more Documents
all top 5

Cited by 799 Authors

19 Baruah, Sanjoy K.
16 Davis, Robert I.
14 Anderson, James H.
11 Goossens, Joël
9 Burns, Alan D.
9 Fung, Stanley P. Y.
8 Lipari, Giuseppe
7 Bonifaci, Vincenzo
7 Fisher, Nathan Wayne
7 Lu, Chenyang
7 Thiele, Lothar
6 Altmeyer, Sebastian A.
6 Bini, Enrico
6 Bletsas, Konstantinos
6 Lee, Insup
6 Marchetti-Spaccamela, Alberto
6 Nelissen, Geoffrey
6 Pellizzoni, Rodolfo
5 Andersson, Björn
5 Bertogna, Marko
5 Yi, Wang
5 Zeng, Haibo
4 Abdelzaher, Tarek F.
4 Baker, Theodore P.
4 Behnam, Moris
4 Buttazzo, Giorgio C.
4 Caccamo, Marco
4 Chakrabarti, Partha Pratim
4 Chen, Jian-Jia
4 Devi, UmaMaheswari C.
4 Easwaran, Arvind
4 Epstein, Leah
4 Li, Minming
4 Nélis, Vincent
4 Park, Seong-Jin
4 Reineke, Jan
4 Richard, Pascal
4 Schmid, Ulrich
4 Sokolsky, Oleg
3 Agrawal, Kunal
3 Brandenburg, Björn B.
3 Brandt, Scott A.
3 Chakraborty, Samarjit
3 Chin, Francis Y. L.
3 Cho, Hyeonjoong
3 Cho, Kwang-Hyun
3 Cucinotta, Tommaso
3 Cuenca, Ángel
3 Di Natale, Marco
3 Eles, Petru
3 Furfaro, Angelo
3 George, Laurent
3 Ghose, Sujoy
3 Hanzálek, Zdeněk
3 Leontyev, Hennadiy
3 Levin, Asaf
3 Levin, Greg
3 Li, Jing
3 Li, Zhiwu
3 Lime, Didier
3 Maggio, Martina
3 Maiza, Claire
3 Nigro, Libero
3 Nolte, Thomas
3 Pathan, Risat Mahmud
3 Peng, Zebo
3 Poon, Chung Keung
3 Puffitsch, Wolfgang
3 Raravi, Gurulingesh
3 Roux, Olivier H.
3 Roychoudhury, Abhik
3 Salt, Julián
3 Sarkar, Arnab Dey
3 Schmidt, Douglas C.
3 Shin, Insik
3 Tovar, Eduardo
3 Yang, Jung-Min
3 Zheng, Feifeng
3 Zhu, Dakai
2 Åkesson, Benny
2 Amirijoo, Mehdi
2 Ashjaei, Mohammad
2 Aydin, Hakan
2 Azgomi, Mohammad Abdollahi
2 Biondi, Alessandro
2 Blieberger, Johann
2 Bril, Reinder J.
2 Cerqueira, Felipe
2 Chau, Vincent
2 Cheng, Albert Mo Kim
2 Chothia, Tom
2 Cicirelli, Franco
2 Combaz, Jacques
2 Cucu-Grosjean, Liliana
2 de Boer, Frank S.
2 Dobrin, Radu
2 Domanśka, Joanna
2 Domański, Adam
2 Dongol, Brijesh
2 Ekberg, Pontus
...and 699 more Authors
all top 5

Cited in 72 Journals

220 Real-Time Systems
18 Theoretical Computer Science
7 Information Processing Letters
7 Automatica
7 Journal of Computer and System Sciences
7 Algorithmica
6 Formal Methods in System Design
6 Journal of Scheduling
5 Formal Aspects of Computing
5 Journal of Parallel and Distributed Computing
4 International Journal of Control
4 Information Sciences
4 Information and Computation
4 International Journal of Foundations of Computer Science
4 Discrete Event Dynamic Systems
4 International Journal of Applied Mathematics and Computer Science
3 International Journal of Systems Science
3 International Journal of Adaptive Control and Signal Processing
3 European Journal of Operational Research
3 Journal of Computer and Systems Sciences International
3 International Journal of Systems Science. Principles and Applications of Systems and Integration
2 Moscow University Computational Mathematics and Cybernetics
2 International Journal of Parallel Programming
2 MSCS. Mathematical Structures in Computer Science
2 Mathematical Programming. Series A. Series B
2 Mathematical Problems in Engineering
2 Journal of Combinatorial Optimization
2 The Journal of Logic and Algebraic Programming
2 Journal of Discrete Algorithms
2 Advances in Operations Research
1 ACM Computing Surveys
1 Acta Informatica
1 Discrete Applied Mathematics
1 Applied Mathematics and Computation
1 Archiv der Mathematik
1 Software. Practice & Experience
1 Science of Computer Programming
1 Operations Research Letters
1 International Journal of Production Research
1 Optimization
1 Journal of Symbolic Computation
1 Journal of Computer Science and Technology
1 International Journal of Approximate Reasoning
1 Mathematical and Computer Modelling
1 International Journal of Computer Mathematics
1 Distributed Computing
1 International Journal of Robust and Nonlinear Control
1 Advances in Engineering Software
1 Archives of Control Sciences
1 Applied Mathematics. Series B (English Edition)
1 International Transactions in Operational Research
1 ACM Transactions on Modeling and Computer Simulation
1 European Journal of Control
1 Theory of Computing Systems
1 Journal of the ACM
1 Mathematical and Computer Modelling of Dynamical Systems
1 Optimization and Engineering
1 Computer Languages, Systems & Structures
1 Journal of Applied Logic
1 Journal of Control Theory and Applications
1 Discrete Optimization
1 Science in China. Series F
1 Mathematics in Computer Science
1 Optimization Letters
1 Computational & Mathematical Methods in Medicine
1 International Journal of Intelligent Computing and Cybernetics
1 Discrete Mathematics, Algorithms and Applications
1 Algorithms
1 Advances in Fuzzy Systems
1 Asian Journal of Control
1 Computer Science Review
1 Journal of Logical and Algebraic Methods in Programming

Citations by Year