2841 search results - page 493 / 569 » A Call to Order |
159
click to vote
RTA
2007
Springer
16 years 17 days ago
2007
Springer
The third Termination Competition took place in June 2006. We present the background, results and conclusions of this competition. 1 Motivation and history In the past decades seve...
179
click to vote
SACRYPT
2007
Springer
16 years 17 days ago
2007
Springer
Cache attacks on implementations of cryptographic algorithms have turned out to be very powerful. Progress in processor design, e.g., like hyperthreading, requires to adapt models ...
175
click to vote
TAMC
2007
Springer
16 years 17 days ago
2007
Springer
In previous work we have introduced an average-case measure for the time complexity of Boolean circuits – that is the delay between feeding the input bits into a circuit and the ...
174
click to vote
WOLLIC
2007
Springer
16 years 17 days ago
2007
Springer
In this paper, we explore the Lambek-Grishin calculus LG: a symmetric version of categorial grammar based on the generalizations of Lambek calculus studied in Grishin [1]. The voca...
196
click to vote
BROADNETS
2006
IEEE
16 years 16 days ago
2006
IEEE
— Advance reservation is a mechanism to guarantee the availability of resources when they are needed. In the context of LambdaGrid, this mechanism is used to provide data-intensi...