1559 search results - page 199 / 312 » The Semantics of Future and Its Use in Program Optimizations |
174
Voted
JCS
2010
15 years 4 months ago
2010
A model of resource access control is presented in which the access control to resources can employ user interaction to obtain the necessary permissions. This model is inspired by...
273
click to vote
POPL
2009
ACM
16 years 6 months ago
2009
ACM
The call-by-need lambda calculus provides an equational framework for reasoning syntactically about lazy evaluation. This paper examines its operational characteristics. By a seri...
163
click to vote
PVM
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. SKaMPI is a benchmark for MPI implementations. Its purpose is the detailed analysis of the runtime of individual MPI operations and comparison of these for di erent imple...
164
click to vote
CSL
1998
Springer
15 years 5 months ago
1998
Springer
This paper presents PARADISE PARAdigm for DIalogue System Evaluation , a general framework for evaluating and comparing the performance of spoken dialogue agents. The framework d...
195
click to vote
MOBIHOC
2004
ACM
15 years 11 months ago
2004
ACM
Bandwidth efficiency of wireless multicast can be improved substantially by exploiting the fact that several receivers can be reached at the MAC layer by a single transmission. T...