1491 search results - page 201 / 299 » Resource-Passing Concurrent Programming |
93
Voted
IPPS
2007
IEEE
15 years 6 months ago
2007
IEEE
Due to fundamental physical limitations and power constraints, we are witnessing a radical change in commodity microprocessor architectures to multicore designs. Continued perform...
99
Voted
ISCIS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Every running thread has its own thread context that consists of values of the fields of the target thread object. To consider the thread context in understanding the be...
190
Voted
POPL
2005
ACM
16 years 26 days ago
2005
ACM
A lightweight logical approach to race-free sharing of heap storage between concurrent threads is described, based on the notion of permission to access. Transfer of permission be...
95
Voted
SIGSOFT
2009
ACM
16 years 1 months ago
2009
ACM
A program is reentrant if distinct executions of that program on distinct inputs cannot affect each other. Reentrant programs have the desirable property that they can be deployed...
93
Voted
POPL
2010
ACM
15 years 7 months ago
2010
ACM
ion-Guided Synthesis of Synchronization Martin Vechev IBM Research Eran Yahav IBM Research Greta Yorsh IBM Research We present a novel framework for automatic inference of effici...