Optimization of Ada '95 tasking constructs
Proceedings of the conference on TRI-Ada '97
Implementing robot controllers under real-time POSIX and Ada
IRTAW '97 Proceedings of the eighth international workshop on Real-Time Ada
The Exception Handling Effectiveness of POSIX Operating Systems
IEEE Transactions on Software Engineering
Robustness Testing and Hardening of CORBA ORB Implementations
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
Robustness Testing of A Distributed Simulation Backplane
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
Grid resource management
Building distributed process management on an object-oriented framework
ATEC '97 Proceedings of the annual conference on USENIX Annual Technical Conference
Programming execution-time servers in Ada 2005
IRTAW '07 Proceedings of the 13th international workshop on Real-time Ada
Blocking time monitoring in the real-time specification for Java
JTRES '08 Proceedings of the 6th international workshop on Java technologies for real-time and embedded systems
Mining API Error-Handling Specifications from Source Code
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
A spatial learning algorithm for IEEE 802.11 networks
ICC'09 Proceedings of the 2009 IEEE international conference on Communications
A case study on state-based robustness testing of an operating system for the avionic domain
SAFECOMP'11 Proceedings of the 30th international conference on Computer safety, reliability, and security
Preliminary multiprocessor support of ada 2012 in GNU/Linux systems
Ada-Europe'10 Proceedings of the 15th Ada-Europe international conference on Reliable Software Technologies
JMB: scaling wireless capacity with user demands
ACM SIGCOMM Computer Communication Review - Special october issue SIGCOMM '12
Hi-index | 0.00 |