6409 search results - page 441 / 1282 » A Computational Algorithm for Origami Design |
202
click to vote
CONCUR
2010
Springer
15 years 8 months ago
2010
Springer
Optimistic concurrency algorithms provide good performance for parallel programs but they are extremely hard to reason about. Program logics such as concurrent separation logic and...
161
click to vote
PPSN
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. The chief purpose of research in optimisation is to understand how to design (or choose) the most suitable algorithm for a given distribution of problem instances. Ideall...
197
click to vote
TWC
2010
15 years 1 months ago
2010
In this paper, we consider a wireless communication scenario with multiple source-destination pairs communicating through several cooperative amplify-and-forward relay terminals. T...
202
click to vote
IPSN
2011
Springer
14 years 10 months ago
2011
Springer
This paper presents results from experiments, mathematical analysis, and simulations of a network of static and mobile sensors for detecting threats on city streets and in open ar...
262
click to vote
PPOPP
2011
ACM
14 years 9 months ago
2011
ACM
The queue data structure is fundamental and ubiquitous. Lockfree versions of the queue are well known. However, an important open question is whether practical wait-free queues ex...