546 search results - page 20 / 110 » Extended Null-Move Reductions |
61
Voted
TLCA
1997
Springer
15 years 1 months ago
1997
Springer
We present a game model for classical PCF, a nite version of PCF extended by a catch/throw mechanism. This model is build from E-dialogues, a kind of two-players game de ned by Lor...
71
Voted
ASPDAC
2005
ACM
14 years 11 months ago
2005
ACM
We extend an existing probabilistic congestion model to consider shielding for crosstalk reduction. We then develop a multilevel router to study the impact of various congestion m...
ERLANG
2007
ACM
15 years 1 months ago
2007
ACM
The built-in process registry has proven to be an extremely useful feature of the Erlang language. It makes it easy to provide named services, which can be reached without knowing...
DAGSTUHL
2008
14 years 11 months ago
2008
We present some examples of extensions for C-XSC that have been developed lately. Among these are extensions that give access to further hardware and software environments as well ...
108
click to vote
CSFW
2012
IEEE
13 years 2 days ago
2012
IEEE
—In this paper, we propose a formal analysis of domain extenders for hash functions in the indifferentiability framework. We define a general model for domain extenders and prov...