10575 search results - page 1738 / 2115 » T2Script Programming Language |
149
click to vote
OSDI
1994
ACM
15 years 6 months ago
1994
ACM
A fine-grain parallel program is one in which processes are typically small, ranging from a few to a few hundred instructions. Fine-grain parallelism arises naturally in many situ...
131
click to vote
ATAL
2010
Springer
15 years 6 months ago
2010
Springer
In typical multiagent teamwork settings, the teammates are either programmed together, or are otherwise provided with standard communication languages and coordination protocols. ...
152
click to vote
ECAI
2010
Springer
15 years 6 months ago
2010
Springer
Controller synthesis consists in automatically building controllers taking as inputs observation data and returning outputs guaranteeing that the controlled system satisfies some d...
148
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Dependently typed -calculi such as the Logical Framework (LF) are capable of representing relationships between terms through types. By exploiting the "formulas-as-types"...
154
Voted
ENTCS
2006
15 years 5 months ago
2006
We present a Standard ML library for writing programs that automatically adjust to changes to their data. The library combines modifiable references and memoization to achieve eff...