119 search results - page 15 / 24 » Predicate Control for Active Debugging of Distributed Progra... |
MSR
2009
ACM
14 years 2 days ago
2009
ACM
Researchers continue to demonstrate the benefits of Mining Software Repositories (MSR) for supporting software development and research activities. However, as the mining process...
SIGCOMM
2010
ACM
13 years 7 months ago
2010
ACM
We revisit the device-driver architecture supported by the majority of operating systems, where a driver is a passive object that does not have its own thread of control and is on...
APSEC
2009
IEEE
14 years 2 months ago
2009
IEEE
— This paper describes a controlled experiment of student programmers performing maintenance tasks on a C++ program. The goal of the study is to assess the maintenance size, effo...
IPPS
1999
IEEE
13 years 11 months ago
1999
IEEE
Executing subordinate activities by pushing return addresses on the stack is the most e cient working mode for sequential programs. It is supported by all current processors, yet i...
TCC
2004
Springer
14 years 23 days ago
2004
Springer
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...