10870 search results - page 1848 / 2174 » Model Checking Programs |
226
click to vote
ANOR
2010
15 years 5 months ago
2010
Operations Research is probably one of the most successful fields of applied mathematics used in Economics, Physics, Chemistry, almost everywhere onehastoanalyzehugeamountsofdata.L...
176
click to vote
CLOUDCOM
2010
Springer
15 years 4 months ago
2010
Springer
Many scientific applications suffer from the lack of a unified approach to support the management and efficient processing of large-scale data. The Twister MapReduce Framework, whi...
298
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
Craig interpolation has become a key ingredient in many symbolic model checkers, serving as an approximative replacement for expensive quantifier elimination. In this paper, we foc...
168
click to vote
UTP
2010
15 years 4 months ago
2010
Abstract. This paper presents a framework for reasoning about the security of confidential data within software systems. A novelty is that we use Hoare and He's Unifying Theor...
189
click to vote
ERSA
2009
15 years 4 months ago
2009
An increasing number of embedded system solutions in space, military, and consumer electronics applications rely on processor cores inside reconfigurable logic devices. Ensuring da...