546 search results - page 20 / 110 » Extended Null-Move Reductions |
TLCA
1997
Springer
14 years 19 days 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...
ASPDAC
2005
ACM
13 years 10 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
14 years 11 days 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
13 years 10 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 ...
CSFW
2012
IEEE
11 years 11 months 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...