5356 search results - page 387 / 1072 » Adventures in time and space |
193
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
We study the problem of monitoring concurrent program runs for atomicity violations. Unearthing fundamental results behind scheduling algorithms in database control, we build space...
159
click to vote
IJCAI
2007
15 years 8 months ago
2007
Decentralized decision making under uncertainty has been shown to be intractable when each agent has different partial information about the domain. Thus, improving the applicabil...
173
click to vote
NETWORKING
2004
15 years 8 months ago
2004
A common feature of congestion control protocols is the presence of information packets used to signal congestion. We address here the question of how frequently such protocols nee...
159
click to vote
WEBNET
2001
15 years 8 months ago
2001
: As more information is made available online, users collect information in personal information spaces like bookmarks and emails. While most users feel that organizing these coll...
177
Voted
SODA
1996
ACM
15 years 8 months ago
1996
ACM
Given a convex polygon P with m vertices and a set S of n points in the plane, we consider the problem of nding a placement of P that contains the maximum number of points in S. W...