2200 search results - page 208 / 440 » Programming norm change |
117
click to vote
SC
1994
ACM
15 years 7 months ago
1994
ACM
Adaptive load distribution is necessary for parallel applications to co-exist e ectively with other jobs in a network of shared, heterogeneous workstations. We present three metho...
166
Voted
TOOLS
1992
IEEE
15 years 7 months ago
1992
IEEE
This paper describes an Ei el system for rapid testing of grammars. Grammars are de ned in an extended BNF notation that allows actions on the parse tree nodes to be de ned as add...
127
click to vote
ACSC
2004
IEEE
15 years 7 months ago
2004
IEEE
Types are fundamental for enforcing levels of abstraction in modern high-level programming languages and their lower-level representations. However, some type-related features suc...
130
Voted
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
We study information elicitation mechanisms in which a principal agent attempts to elicit the private information of other agents using a carefully selected payment scheme based o...
110
Voted
ESOP
2004
Springer
15 years 7 months ago
2004
Springer
Environment classifiers were proposed as a new approach to typing multi-stage languages. Safety was established in the simply-typed and let-polymorphic settings. While the motivati...