171 search results - page 24 / 35 » CoSP: a general framework for computational soundness proofs |
104
click to vote
CAV
2012
Springer
13 years 2 months ago
2012
Springer
Abstract. We propose a trace-based concurrent program analysis to soundly remove redundant synchronizations such as locks while preserving the behaviors of the concurrent computati...
128
click to vote
CORR
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. We apply Uppaal Tiga to automatically compute adaptive scheduling strategies for an industrial case study dealing with a state-of-the-art image processing pipeline of a p...
JCDL
2006
ACM
15 years 5 months ago
2006
ACM
The Walden’s Paths project is developing tools for leveraging student learning with the incredible amount of educational material on the Web. Specialized templates based on esta...
ICFP
2008
ACM
15 years 11 months ago
2008
ACM
This paper presents AURA, a programming language for access control that treats ordinary programming constructs (e.g., integers and recursive functions) and authorization logic co...
ACMDIS
2006
ACM
15 years 5 months ago
2006
ACM
Studies which I carried out recently of users of digital music players revealed that the element of randomness plays a role in influencing the user experience (UX). Apart from bei...