2661 search results - page 248 / 533 » Model Checking Performability Properties |
118
click to vote
PLDI
2011
ACM
14 years 4 months ago
2011
ACM
The most intuitive memory consistency model for shared-memory multi-threaded programming is sequential consistency (SC). However, current concurrent programming languages support ...
116
click to vote
DBPL
2007
Springer
15 years 7 months ago
2007
Springer
Macro tree transducers (mtt) are an important model that both covers many useful XML transformations and allows decidable exact typechecking. This paper reports our first step tow...
128
click to vote
CSFW
2009
IEEE
15 years 5 months ago
2009
IEEE
We present the design and implementation of a compiler that, given high-level multiparty session descriptions, generates custom cryptographic protocols. Our sessions specify pre-a...
117
click to vote
GLVLSI
2007
IEEE
15 years 5 months ago
2007
IEEE
This paper describes a formal verification methodology of highnthesis (HLS) process. The abstraction level of the input to HLS is so high compared to that of the output that the v...
120
click to vote
FOSSACS
2011
Springer
14 years 4 months ago
2011
Springer
Dependently typed programs contain an excessive amount of static terms which are necessary to please the type checker but irrelevant for computation. To obtain reasonable performan...