3053 search results - page 315 / 611 » Performance of Generative Programming Based Protocol Impleme... |
117
Voted
ECOOP
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. Multiple Row Displacement (MRD) is a new dispatch technique for multi-method languages. It is based on compressing an n-dimensional table using an extension of the single...
126
Voted
IJCAI
2003
15 years 4 months ago
2003
FLUX belongs to the high-level programming languages for cognitive agents that have been developed in recent years. Based on the established, general action representation formali...
133
Voted
ENTCS
2008
15 years 2 months ago
2008
In this paper, we describe a proof-theoretic foundation for bottom-up logic programming based on uniform proofs in the setting of the logical framework LF. We present a forward un...
131
click to vote
ECOOP
2004
Springer
15 years 8 months ago
2004
Springer
Transactional monitors are proposed as an alternative to monitors based on mutualexclusion synchronization for object-oriented programming languages. Transactional monitors have e...
236
Voted
CC
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. Heterogeneous multi-core platforms are increasingly prevalent due to their perceived superior performance over homogeneous systems. The best performance, however, can onl...