4743 search results - page 98 / 949 » The PlusCal Algorithm Language |
129
click to vote
ECOOP
1993
Springer
15 years 6 months ago
1993
Springer
Abstract. We have designed and implemented a type inference algorithm for the Self language. The algorithm can guarantee the safety and disambiguity of message sends, and provide u...
115
Voted
AAAI
2007
15 years 4 months ago
2007
The gap in automation between MIP/SAT solvers and those for constraint programming and constraint-based local search hinders experimentation and adoption of these technologies and...
DATESO
2007
15 years 3 months ago
2007
Abstract. Syllable based text compression is a new approach to compression by symbols. In this concept syllables are used as the compression symbols instead of the more common char...
128
click to vote
GECCO
2008
Springer
15 years 3 months ago
2008
Springer
This paper introduces a procedure based on genetic programming to evolve XSLT programs (usually called stylesheets or logicsheets). XSLT is a general purpose, document-oriented fu...
183
click to vote
CATA
2010
15 years 2 months ago
2010
In this paper, a hardware implementation of the AES128 encryption algorithm is proposed. A unique feature of the proposed pipelined design is that the round keys, which are consum...