3256 search results - page 340 / 652 » Mixin-Based Programming in C |
93
Voted
ISLPED
2005
ACM
15 years 6 months ago
2005
ACM
1 A highly-efficient fetch unit is essential not only to obtain good performance but also to achieve energy efficiency. However, existing designs are inflexible and depending on pr...
91
Voted
SAC
2004
ACM
15 years 6 months ago
2004
ACM
Field-based coordination is a very promising approach for a wide range of application scenarios in modern dynamic networks. To implement such an approach, one can rely on distribu...
78
Voted
ECAI
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. This paper presents a framework that integrates three aspects of agency: planning, for proactive behaviour, negotiation, for social behaviour and resource achievement, an...
93
Voted
ESOP
2004
Springer
15 years 6 months ago
2004
Springer
ESOP 2004, LNCS 2986, pages 140–154, 2004. c Springer–Verlag, Berlin Heildelberg 2003. We propose a new method for the static analysis of entity authentication protocols. We d...
86
Voted
FSTTCS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Conventional semantics for shared-variable concurrency suffers from the “grain of time” problem, i.e., the necessity of specifying a default level of atomicity. We pr...