4426 search results - page 649 / 886 » Concurrent Constraint Programming |
179
click to vote
IPPS
2007
IEEE
16 years 20 days ago
2007
IEEE
1 Multi-paradigm, multi-threaded and multi-core computing devices available today provide several orders of magnitude performance improvement over mainstream microprocessors. These...
157
click to vote
LICS
2007
IEEE
16 years 19 days ago
2007
IEEE
tion and Abstract Separation Logic Cristiano Calcagno Imperial College, London Peter W. O’Hearn Queen Mary, University of London Hongseok Yang Queen Mary, University of London S...
206
click to vote
ACMMSP
2006
ACM
16 years 10 days ago
2006
ACM
Many people have proposed adding transactions, or atomic blocks, to type-safe high-level programming languages. However, researchers have not considered the semantics of transacti...
167
click to vote
PPOPP
2006
ACM
16 years 9 days ago
2006
ACM
We present two new nonblocking and contention-free implementations of synchronous queues, concurrent transfer channels in which producers wait for consumers just as consumers wait...
132
click to vote
DSN
2005
IEEE
15 years 12 months ago
2005
IEEE
View-oriented group communication is an important and widely used building block for constructing highlyavailable fault-tolerant systems. Unfortunately, groupcommunication based s...