3239 search results - page 606 / 648 » A Logical Process Calculus |
96
Voted
IPPS
2006
IEEE
15 years 6 months ago
2006
IEEE
The designs of high-performance processor architectures are moving toward the integration of a large number of multiple processing cores on a single chip. The IBM Cyclops-64 (C64)...
120
Voted
RTSS
2006
IEEE
15 years 6 months ago
2006
IEEE
Real-time systems design involves many important choices, including that of the processor. The fastest processors achieve performance by utilizing architectural features that make...
116
Voted
LCTRTS
2005
Springer
15 years 6 months ago
2005
Springer
Performance guarantees can be given to tasks in an embedded system by ensuring that access to each shared resource is mediated by an appropriate scheduler. However, almost all pre...
138
click to vote
NORDICHI
2004
ACM
15 years 6 months ago
2004
ACM
One vision of a context-aware pervasive networking environment promises the user a seamless access to surrounding services using her personal mobile device. This requires that the...
125
click to vote
ARGMAS
2004
Springer
15 years 6 months ago
2004
Springer
This paper compares within the MAS framework two separate threads in the formal study of epistemic change: belief revision and argumentation theories. Belief revision describes how...