3239 search results - page 633 / 648 » A Logical Process Calculus |
119
click to vote
APNOMS
2006
Springer
15 years 4 months ago
2006
Springer
Peer-to-Peer systems are based on the concept of resources localization and mutualization in dynamic context. In specific environment such as mobile networks, characterized by high...
102
Voted
CF
2006
ACM
15 years 4 months ago
2006
ACM
This paper presents our experience mapping OpenMP parallel programming model to the IBM Cyclops-64 (C64) architecture. The C64 employs a many-core-on-a-chip design that integrates...
99
Voted
CCS
2001
ACM
15 years 4 months ago
2001
ACM
Encryption is widely used to enforce usage rules for digital content. In many scenarios content is encrypted using a group key which is known to a group of users that are allowed ...
101
click to vote
ASPDAC
1995
ACM
15 years 4 months ago
1995
ACM
- In this paper, we present a new scheduling algorithms that generates area-efficient register transfer level datapaths with multiport memories. The proposed scheduling algorithm a...
SPIN
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. We report on the use of model checking techniques for both the verification of a process control program and the derivation of optimal control schedules. Most of this wor...