1356 search results - page 10 / 272 » The ideal of verified software |
107
Voted
ENTCS
2006
14 years 11 months ago
2006
High performance scientific computing software is of critical international importance as it supports scientific explorations and engineering. Software development in this area is...
ICECCS
2008
IEEE
15 years 6 months ago
2008
IEEE
ICECCS
2007
IEEE
15 years 3 months ago
2007
IEEE
100
click to vote
FMOODS
2007
15 years 1 months ago
2007
The success of distributed event-based infrastructures such as SIENA and Elvin is partially due to their ease of use. Even novice users of these infrastructures not versed in distr...
ISSTA
2010
ACM
15 years 3 months ago
2010
ACM
The output of a disassembler is used for many different purposes (e.g., debugging and reverse engineering). Therefore, disassemblers represent the first link of a long chain of s...