Volgen
Martin Stigge
Martin Stigge
Researcher, Uppsala University
Geverifieerd e-mailadres voor it.uu.se - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
New response time bounds for fixed priority multiprocessor scheduling
N Guan, M Stigge, W Yi, G Yu
2009 30th IEEE Real-Time Systems Symposium, 387-397, 2009
2272009
Cache-aware scheduling and analysis for multicores
N Guan, M Stigge, W Yi, G Yu
Proceedings of the seventh ACM international conference on Embedded software …, 2009
1842009
The Digraph Real-Time Task Model
M Stigge, P Ekberg, N Guan, W Yi
Real-Time and Embedded Technology and Applications Symposium (RTAS), 2011 …, 2011
1832011
Effective and efficient scheduling of certifiable mixed-criticality sporadic task systems
N Guan, P Ekberg, M Stigge, W Yi
2011 IEEE 32nd Real-Time Systems Symposium, 13-23, 2011
1362011
Fixed-priority multiprocessor scheduling with liu and layland's utilization bound
N Guan, M Stigge, W Yi, G Yu
2010 16th IEEE Real-Time and Embedded Technology and Applications Symposium …, 2010
1342010
Reversing crc–theory and practice
M Stigge, H Plötz, W Müller, JP Redlich
652006
Graph-based models for real-time workload: a survey
M Stigge, W Yi
Real-time systems 51, 602-636, 2015
622015
Combinatorial abstraction refinement for feasibility analysis
M Stigge, W Yi
2013 IEEE 34th Real-Time Systems Symposium, 340-349, 2013
402013
On the tractability of digraph-based task models
M Stigge, P Ekberg, N Guan, W Yi
2011 23rd Euromicro Conference on Real-Time Systems, 162-171, 2011
402011
Multi-processor schedulability analysis of preemptive real-time tasks with variable execution times
P Krcal, M Stigge, W Yi
Formal Modeling and Analysis of Timed Systems: 5th International Conference …, 2007
342007
Real-Time Workload Models: Expressiveness vs. Analysis Efficiency
M Stigge
Ph.D. thesis, Uppsala University, 2014
332014
Hardness results for static priority real-time scheduling
M Stigge, W Yi
2012 24th Euromicro Conference on Real-Time Systems, 189-198, 2012
282012
Combinatorial abstraction refinement for feasibility analysis of static priorities
M Stigge, W Yi
Real-time systems 51, 639-674, 2015
262015
Improving the scheduling of certifiable mixed-criticality sporadic task systems
N Guan, P Ekberg, M Stigge, W Yi
Technical Report 2013–008, 2013
222013
Parametric utilization bounds for fixed-priority multiprocessor scheduling
N Guan, M Stigge, W Yi, G Yu
2012 IEEE 26th International Parallel and Distributed Processing Symposium …, 2012
222012
Approximate response time analysis of real-time task graphs
N Guan, C Gu, M Stigge, Q Deng, W Yi
2014 IEEE Real-Time Systems Symposium, 304-313, 2014
212014
Refinement-based exact response-time analysis
M Stigge, N Guan, W Yi
2014 26th Euromicro Conference on Real-Time Systems, 143-152, 2014
202014
Resource sharing protocols for real-time task graph systems
N Guan, P Ekberg, M Stigge, W Yi
2011 23rd Euromicro Conference on Real-Time Systems, 272-281, 2011
202011
An optimal resource sharing protocol for generalized multiframe tasks
P Ekberg, N Guan, M Stigge, W Yi
Journal of Logical and Algebraic Methods in Programming 84 (1), 92-105, 2015
192015
State-based mode switching with applications to mixed criticality systems
P Ekberg, M Stigge, N Guan, W Yi
Proc. WMC, RTSS, 61-66, 2013
112013
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20