3282 search results - page 497 / 657 » Rapid Application Development Using Software Factories |
185
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
We develop a method for matching dynamic histories of program executions of two program versions. The matches produced can be useful in many applications including software piracy...
231
click to vote
EUROSYS
2010
ACM
16 years 3 months ago
2010
ACM
Cloud computing offers users the ability to access large pools of computational and storage resources on demand. Multiple commercial clouds already allow businesses to replace, or...
197
click to vote
FPGA
2007
ACM
16 years 17 days ago
2007
ACM
Chip-multiprocessors are quickly gaining momentum in all segments of computing. However, the practical success of CMPs strongly depends on addressing the difficulty of multithread...
156
click to vote
VSTTE
2005
Springer
15 years 12 months ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
143
click to vote
IMC
2009
ACM
16 years 27 days ago
2009
ACM
Since the last in-depth studies of measured TCP traffic some 68 years ago, the Internet has experienced significant changes, including the rapid deployment of backbone links wit...