1499 search results - page 168 / 300 » Chopping Concurrent Programs |
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...
OOPSLA
2009
Springer
15 years 7 months ago
2009
Springer
Today’s shared-memory parallel programming models are complex and error-prone. While many parallel programs are intended to be deterministic, unanticipated thread interleavings ...
81
Voted
ECLIPSE
2006
ACM
15 years 6 months ago
2006
ACM
This paper describes a state-of-the-art environment for distributed Extreme Programming that results from combining the Sangam editor, developed at NCSU and the Facetop user inter...
88
Voted
ECOOP
2010
Springer
15 years 5 months ago
2010
Springer
Event-driven programming is a major paradigm in concurrent and communication-based programming, and a widely adopted approach to building scalable high-concurrency servers. However...