9166 search results - page 421 / 1834 » A framework for comparing models of computation |
197
click to vote
SC
2000
ACM
15 years 11 months ago
2000
ACM
Adaptive applications have computational workloads and communication patterns which change unpredictably at runtime, requiring dynamic load balancing to achieve scalable performan...
184
click to vote
NAACL
2010
15 years 4 months ago
2010
Synchronous tree substitution grammars are a translation model that is used in syntax-based machine translation. They are investigated in a formal setting and compared to a compet...
203
click to vote
CONCUR
2003
Springer
16 years 20 hour ago
2003
Springer
We describe a probabilistic polynomial-time process calculus for analyzing cryptographic protocols and use it to derive compositionality properties of protocols in the presence of ...
139
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper,a we present sample performance figures for a new linear algebra-based compilation framework implemented in a research HPF compiler called PARADIGM. The metrics cons...
178
click to vote
INFOCOM
2003
IEEE
16 years 2 days ago
2003
IEEE
— This paper provides a framework for analysis and performance evaluation of Optical Burst Switching (OBS) networks. In particular, a new reduced load fixed point approximation ...