1491 search results - page 65 / 299 » Resource-Passing Concurrent Programming |
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...
APCHI
1998
IEEE
15 years 4 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...
96
Voted
ASPLOS
2010
ACM
15 years 7 months ago
2010
ACM
This paper presents a randomized scheduler for finding concurrency bugs. Like current stress-testing methods, it repeatedly runs a given test program with supplied inputs. Howeve...
96
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...
88
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...