896 search results - page 130 / 180 » On completeness of word reversing |
AMAST
2008
Springer
15 years 1 months ago
2008
Springer
We demonstrate Spiral, a domain-specific library generation system. Spiral generates high performance source code for linear transforms (such as the discrete Fourier transform and ...
122
click to vote
APN
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
107
click to vote
AP2PC
2007
Springer
15 years 1 months ago
2007
Springer
In this paper, we propose a dynamic pricing strategy which is used for a market-based resource allocation mechanism in a local Grid. We implement an agent based Grid economy in whi...
LREC
2010
15 years 1 months ago
2010
This paper presents a new corpus of human answers in natural language. The answers were collected in order to build a base of examples useful when generating natural language answ...
ISSA
2008
15 years 1 months ago
2008
A message digest is a fixed length output produced by applying a cryptographic algorithm on input binary data of arbitrary length. If the input data changes even by one bit, the g...