1499 search results - page 122 / 300 » Chopping Concurrent Programs |
122
Voted
ACL2
2006
ACM
15 years 6 months ago
2006
ACM
We have implemented parallelism primitives that permit an ACL2 programmer to parallelize execution of ACL2 functions. We (1) introduce logical definitions for these primitives, (...
118
Voted
POPL
2000
ACM
15 years 4 months ago
2000
ACM
Systems that authenticate a user based on a shared secret (such as a password or PIN) normally allow anyone to query whether the secret is a given value. For example, an ATM machi...
90
Voted
APCHI
1998
IEEE
15 years 5 months ago
1998
IEEE
Cleogo is a novel groupware environment that allows several users to simultaneously develop programs through any mixture of three alternative programming metaphors: a direct manip...
98
Voted
HOTOS
2007
IEEE
15 years 4 months ago
2007
IEEE
We propose a new concurrent programming model, Automatic Mutual Exclusion (AME). In contrast to lock-based programming, and to other programming models built over software transac...
91
Voted
IWOMP
2010
Springer
15 years 2 months ago
2010
Springer
With the approaching of the many-core era, it becomes more and more difficult for a single OpenMP application to efficiently utilize all the available processor cores. On the other...