1356 search results - page 40 / 272 » The ideal of verified software |
126
click to vote
FCCM
2009
IEEE
14 years 9 months ago
2009
IEEE
Adaptive systems are set to become more mainstream, as numerous practical applications in the communications domain emerge. FPGAs offer an ideal implementation platform, combining...
ICSE
2007
IEEE-ACM
15 years 12 months ago
2007
IEEE-ACM
Large networks, such as the Internet, pose an ideal medium for solving computationally intensive problems, such as NP-complete problems, yet no well-scaling architecture for Inter...
HCI
2007
15 years 1 months ago
2007
Within the eEurope2010 initiative “An Information Society for All”, development methods which enable the inclusion of the end-user become essential in order to ensure the parad...
109
click to vote
VSTTE
2010
Springer
14 years 9 months ago
2010
Springer
A suite of verification benchmarks for software verification tools and techniques, presented at VSTTE 2008 [11], provides an initial catalogue of benchmark challenges for the Verif...
IWPC
2003
IEEE
15 years 5 months ago
2003
IEEE
Legacy code can often be made more understandable and maintainable by extracting out selected sets of statements to form procedures and replacing the extracted code with procedure...