4438 search results - page 521 / 888 » The Case for Collaborative Programming |
174
click to vote
ISAAC
2005
Springer
16 years 8 days ago
2005
Springer
Abstract The 2-Interval Pattern problem is to find the largest constrained pattern in a set of 2-intervals. The constrained pattern is a subset of the given 2-intervals such that ...
204
click to vote
RTA
2005
Springer
16 years 8 days ago
2005
Springer
Cryptographic protocols are small programs which involve a high level of concurrency and which are difficult to analyze by hand. The most successful methods to verify such protocol...
183
click to vote
ICALP
2003
Springer
15 years 12 months ago
2003
Springer
We provide a new simpler approach to the on-line load balancing problem in the case of restricted assignment of temporary weighted tasks. The approach is very general and allows to...
180
Voted
SPAA
2010
ACM
15 years 11 months ago
2010
ACM
We explore the potential of hardware transactional memory (HTM) to improve concurrent algorithms. We illustrate a number of use cases in which HTM enables significantly simpler c...
191
click to vote
PODS
2000
ACM
15 years 11 months ago
2000
ACM
The problem of query containment is fundamental to many aspects of database systems, including query optimization, determining independence of queries from updates, and rewriting ...