| |
In ICST '08: Proceedings of the 2008 International Conference on Software Testing, Verification, and Validation (2008), pp. 521-524.
|
| |
Control Systems Magazine, IEEE In Control Systems Magazine, IEEE, Vol. 23, No. 1. (2003), pp. 50-64.
|
| |
IEEE Softw., Vol. 18, No. 4. (July 2001), pp. 20-28.
|
| |
Software Engineering, 2007. ICSE 2007. 29th International Conference on In Software Engineering, 2007. ICSE 2007. 29th International Conference on (2007), pp. 416-426.
|
| |
In OSDI'04: Proceedings of the 6th conference on Symposium on Opearting Systems Design \& Implementation (2004), pp. 17-17.
|
| |
In SOSP '05: Proceedings of the twentieth ACM symposium on Operating systems principles, Vol. 39, No. 5. (December 2005), pp. 1-16.
|
| |
USENIX 2005 Annual Technical Conference, General Track, pp. 1-15.
|
| |
In USENIX Symposium on Operating Systems Design and Implementation(OSDI) (2004)
|
| |
In SOSP '03: Proceedings of the nineteenth ACM symposium on Operating systems principles (2003), pp. 253-267.
|
| |
Computer Architecture, 2002. Proceedings. 29th Annual International Symposium on In Computer Architecture, 2002. Proceedings. 29th Annual International Symposium on (2002), pp. 99-110.
|
| |
Internet Computing, IEEE, Vol. 5, No. 4. (2001), pp. 46-55.
|
| |
In SOSP '01: Proceedings of the eighteenth ACM symposium on Operating systems principles, Vol. 35, No. 5. (December 2001), pp. 57-72.
|
| |
In OSDI'04: Proceedings of the 6th conference on Symposium on Opearting Systems Design \& Implementation (2004), pp. 3-3.
|
| |
In ESEC/FSE-13: Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering (2005), pp. 263-272.
|
| |
|
| |
|
| |
Micro, IEEE In Micro, IEEE, Vol. 25, No. 6. (2005), pp. 10-16.
|
| |
Neural Networks, IEEE Transactions on In Neural Networks, IEEE Transactions on, Vol. 16, No. 5. (2005), pp. 1027-1041.
|
| |
Computer In Computer, Vol. 40, No. 8. (2007), pp. 63-72.
|
| |
Autonomic Computing, 2004. Proceedings. International Conference on In Autonomic Computing, 2004. Proceedings. International Conference on (2004), pp. 198-205.
|
| |
Softw. Pract. Exper., Vol. 36, No. 11\‐12. (2006), pp. 1331-1354.
by Partha Pal, Paul Rubel, Michael Atighetchi, et al.Franklin Webber, William H. Sanders, Mouna Seri, Harigovind Ramasamy, James Lyons, Tod Courtney, Adnan Agbaria, Michel Cukier, Jeanna Gossett, Idit Keidar
|
| |
Software Engineering, IEEE Transactions on In Software Engineering, IEEE Transactions on, Vol. 28, No. 8. (2002), pp. 735-746.
|
| |
Dependable Systems and Networks, 2005. DSN 2005. Proceedings. International Conference on In Dependable Systems and Networks, 2005. DSN 2005. Proceedings. International Conference on (2005), pp. 12-21.
|
| |
Distributed Computing Systems, 2004. Proceedings. 24th International Conference on In Distributed Computing Systems, 2004. Proceedings. 24th International Conference on (2004), pp. 436-445.
|
| |
Dependable and Secure Computing, IEEE Transactions on, Vol. 1, No. 1. (2004), pp. 11-33.
|
Search
