4211 search results - page 546 / 843 » A formal approach to MASQ |
148
click to vote
HPCC
2005
Springer
16 years 7 days ago
2005
Springer
Tuning parallel code can be a time-consuming and difficult task. We present our approach to automate the performance analysis of OpenMP applications that is based on the notion of ...
170
click to vote
ICALP
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. We describe a cryptographically sound formal logic for proving protocol security properties without explicitly reasoning about probability, asymptotic complexity, or the ...
189
click to vote
ICCS
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. This paper has two foci that are intended to be complementary. First, it describes Conzilla as an incarnation of a concept browser. More specifically, as a technical sol...
180
click to vote
IFL
2005
Springer
16 years 7 days ago
2005
Springer
Performance of generic array programs crucially relies on program specialization wrt. shape information. Traditionally, this is done in a rather adhoc fashion by propagating all sh...
186
click to vote
LACL
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. This paper introduces a novel approach to language processing, in which linguistic facts are represented as predicates over ranges of the intput text, usually, but not li...