4719 search results - page 195 / 944 » Newtonian program analysis |
155
click to vote
SAC
2010
ACM
15 years 4 months ago
2010
ACM
Each day, security companies see themselves confronted with thousands of new malware programs. To cope with these large quantities, researchers and practitioners alike have develo...
117
click to vote
ALDT
2009
Springer
15 years 9 months ago
2009
Springer
In this article we develop an indirect approach for assessing criteria significance weights from the robustness of the significance that a decision maker acknowledges for his pai...
155
click to vote
PARA
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. In this article we present the results obtained from the execution of a commercial Computational Fluid Dynamics program on a cluster of personal computers. The communicat...
125
click to vote
FMICS
2010
Springer
15 years 4 months ago
2010
Springer
Bitwise instructions, loops and indirect data access pose difficult challenges to the verification of microcontroller programs. In particular, it is necessary to show that an indir...
135
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
Arithmetic constraints on integer intervals are supported in many constraint programming systems. We study here a number of approaches to implement constraint propagation for thes...