1629 search results - page 243 / 326 » Infeasible Code Detection |
87
Voted
ICFP
2010
ACM
15 years 22 days ago
2010
ACM
Existing macro systems force programmers to make a choice between clarity of specification and robustness. If they choose clarity, they must forgo validating significant parts of ...
104
click to vote
ENDM
2010
14 years 11 months ago
2010
Verifying that a piece of software has no bugs means proving that it has certain desired properties, such as an array index not taking values outside certain Abstract interpretati...
114
click to vote
AIS
2006
Springer
14 years 11 months ago
2006
Springer
Abstract This article attempts to demystify computer vision for novice programmers through a survey of new applications in the arts, system design considerations, and contemporary ...
98
Voted
CLEIEJ
2006
14 years 11 months ago
2006
The proposed software technique is a very low cost and an effective solution towards designing Byzantine fault tolerant computing application systems that are not so safety critic...
77
Voted
IEICET
2006
14 years 11 months ago
2006
In this paper, we propose the transmit power controlled adaptive downlink frequency symbol spreading OFDM (TPC-AMS/FSS-OFDM) system. In the TPC-AMS/FSSOFDM, each serial to paralle...