Folgen
Bernard Blackham
Bernard Blackham
Zugehörigkeit unbekannt
Bestätigte E-Mail-Adresse bei largestprime.net - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Timing analysis of a protected operating system kernel
B Blackham, Y Shi, S Chattopadhyay, A Roychoudhury, G Heiser
Proceedings of the 32nd IEEE Real-Time Systems Symposium, 2011
1042011
Improving interrupt response time in a verifiable protected microkernel
B Blackham, Y Shi, G Heiser
Proceedings of the 7th ACM European Conference on Computer Systems, 2012
362012
Trickle: automated infeasible path detection using all minimal unsatisfiable subsets
B Blackham, M Liffiton, G Heiser
2014 IEEE 19th Real-Time and Embedded Technology and Applications Symposium …, 2014
332014
Sequoll: a framework for model checking binaries
B Blackham, G Heiser
2013 IEEE 19th Real-Time and Embedded Technology and Applications Symposium …, 2013
202013
Correct, fast, maintainable–choose any three!
B Blackham, G Heiser
Proceedings of the 3rd Asia-Pacific Workshop on Systems, 13, 2012
182012
Protected hard real-time: The next frontier
B Blackham, Y Shi, G Heiser
Proceedings of the 2nd Asia-Pacific Workshop on Systems, 2011
72011
To preempt or not to preempt, that is the question
B Blackham, V Tang, G Heiser
Proceedings of the 3rd Asia-Pacific Workshop on Systems, 2012
62012
Code optimizations using formally verified properties
Y Shi, B Blackham, G Heiser
ACM SIGPLAN Notices 48 (10), 427-442, 2013
42013
Towards verified microkernels for real-time mixed-criticality systems
B Blackham
UNSW Sydney, 2013
42013
e4meter: Power management for the people
E Le Sueur, B Blackham
linux.conf.au 2011, 2011
2011
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–10