7121 search results - page 418 / 1425 » Functions as Session-Typed Processes |
176
Voted
CNL
2009
15 years 7 months ago
2009
Controlled natural languages (CNL) and computational semantics in general do not address word sense disambiguation, i.e., they tend to interpret only some functional words that are...
184
click to vote
ENTCS
2008
15 years 6 months ago
2008
Emerging architectures such as partially reconfigurable FPGAs provide a huge potential for adaptivity in the area of embedded systems. Since many system functions are only execute...
164
click to vote
QUESTA
2002
15 years 6 months ago
2002
We consider a queue fed by Gaussian traffic and give conditions on the input process under which the path space large deviations of the queue are governed by the rate function of t...
143
click to vote
SIAMCO
2010
15 years 1 months ago
2010
This paper studies regularity properties of the value function for an infinite-horizon discounted cost impulse control problem, where the underlying controlled process is a multidi...
245
click to vote
ACNS
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, we present a pseudo-collision attack on the compression function of all Twister variants (224,256,384,512) with complexity of about 226.5 compression function evalua...