950 search results - page 33 / 190 » Type Specialization in Aldor |
ICRA
2010
IEEE
13 years 7 months ago
2010
IEEE
— Our prior work [1] presented a decentralized algorithm for coordinating the construction of a truss structure out of multiple components. In this paper, we discuss adaptation i...
PEPM
1994
ACM
14 years 24 days ago
1994
ACM
It is well-known that self-applicable partial evaluation can be used to generate compiler generators: cogen = mix(mix;mix), where mix is the specializer (partial evaluator). Howev...
ACISP
1998
Springer
14 years 29 days ago
1998
Springer
Recently J. and R.M. Campello de Souza proposed a private-key encryption scheme based on the product codes with the capability of correcting a special type of structured errors. In...
EURODAC
1994
IEEE
14 years 26 days ago
1994
IEEE
Cyclic corrector codes, or "block codes", are often used in telecommunications systems. To facilitate the design of coding/decoding circuits using this type of code, we ...
ISIM
2007
13 years 10 months ago
2007
We continue the investigation of P coloniesintroduced in [7], of abstract computing devices composed of independent agents, acting and evolving in a shared environment. We determin...