1356 search results - page 101 / 272 » The ideal of verified software |
KBSE
2006
IEEE
15 years 6 months ago
2006
IEEE
Traditional techniques of traceability detection and management are not equipped to handle evolution. This is a problem for the field of software architecture, where it is critica...
SIGSOFT
2000
ACM
15 years 4 months ago
2000
ACM
It is essential to manage versions of software products created during software development. There are various versioning tools actually used in these days, although most of them ...
ELPUB
2007
ACM
15 years 3 months ago
2007
ACM
There are now a large number of repositories in the world, contributing a significant amount of content to the world's scholars and scientists. The landscape has changed sinc...
CONCURRENCY
2004
2004
User transparency: a fully sequential programming model for efficient data parallel image processing
14 years 11 months ago
Although many image processing applications are ideally suited for parallel implementation, most researchers in imaging do not benefit from high performance computing on a daily b...
136
click to vote
SIGMETRICS
2010
ACM
15 years 4 months ago
2010
ACM
A new generation of content delivery networks for live streaming, video on demand, and software updates takes advantage of a peer-to-peer architecture to reduce their operating co...