1448 search results - page 74 / 290 » From Requirements to Code Revisited |
133
Voted
VEE
2005
ACM
15 years 9 months ago
2005
ACM
Virtual execution environments have become increasingly useful in system implementation, with dynamic translation techniques being an important component for performance-critical ...
240
Voted
AADEBUG
2005
Springer
15 years 9 months ago
2005
Springer
Code coverage analysis, the process of finding code exercised by a particular set of test inputs, is an important component of software development and verification. Most tradit...
143
Voted
GECCO
2006
Springer
15 years 7 months ago
2006
Springer
This research examines the behavior of inoperative code (introns) in the evolution of genetically robust solutions. Genetically robust solutions are solutions that are less likely...
115
Voted
TON
2010
14 years 10 months ago
2010
In this paper, we develop a distributed rate-control algorithm for networks with multiple unicast sessions when network coding is allowed across different sessions. Building on rec...
144
Voted
SOSP
2003
ACM
16 years 15 days ago
2003
ACM
In this paper, we present STP, a system in which communicating end hosts use untrusted mobile code to remotely upgrade each other with the transport protocols that they use to com...