Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Yi, Wang - Department of Information Technology, Uppsala Universitet
New Response Time Bounds for Fixed Priority Multiprocessor Scheduling , Martin Stigge1
= 1 5 = 0
Combining Abstract Interpretation with Model Checking for Timing Analysis of Multicore Software
Cyclic Dependencies in Modular Performance Analysis Bengt Jonsson
Personalavdelningen Handl: Helen Tholander
Cache-Aware Scheduling and Analysis for Multicores Nan Guan1,2
New Schedulability Test Conditions for Non-preemptive Scheduling on Multiprocessor Platforms
Timed Automata: Semantics, Algorithms and Tools Johan Bengtsson and Wang Yi
Task Automata: Schedulability, Decidability and Undecidability
Fixed-Priority Multiprocessor Scheduling with Liu & Layland's Utilization Bound Nan Guan, Martin Stigge, Wang Yi and Ge Yu
Model-Based Validation of QoS Properties of Biomedical Sensor Networks
