10870 search results - page 117 / 2174 » Model Checking Programs |
115
click to vote
IH
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We introduce software integrity checking expressions (SoftICEs), which are program predicates that can be used in software tamper detection. We present two candidates, pr...
190
click to vote
PLDI
2003
ACM
15 years 6 months ago
2003
ACM
In prior work [15] we studied a language construct restrict that allows programmers to specify that certain pointers are not aliased to other pointers used within a lexical scope....
152
click to vote
GEOINFORMATICA
2011
14 years 8 months ago
2011
Discovery of suitable web services is a crucial task in Spatial Data Infrastructures (SDI). In this work, we develop a novel approach to the discovery of geoprocessing services (WP...
107
click to vote
FSTTCS
2006
Springer
15 years 5 months ago
2006
Springer
Abstract Decision procedures underlie many program analysis problems. Traditional program analysis algorithms attempt to prove some property about a single, statically-defined prog...
105
click to vote
CGO
2009
IEEE
15 years 8 months ago
2009
IEEE
—Fast track is a software speculation system that enables unsafe optimization of sequential code. It speculatively runs optimized code to improve performance and then checks the ...