Takip et
Bernard Blackham
Bernard Blackham
Bilinmeyen bağlantı
largestprime.net üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
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
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–10