2227 search results - page 118 / 446 » Reversibility and Models for Concurrency |
176
click to vote
COCO
2008
Springer
15 years 7 months ago
2008
Springer
We introduce a simple game family, called Constraint Logic, where players reverse edges in a directed graph while satisfying vertex in-flow constraints. This game family can be in...
205
Voted
CVPR
2011
IEEE
15 years 2 months ago
2011
IEEE
3D scene understanding is key for the success of applications such as autonomous driving and robot navigation. However, existing approaches either produce a mild level of understa...
173
click to vote
ECBS
2009
IEEE
16 years 26 days ago
2009
IEEE
Future space missions, such as Mars Science Laboratory, are built upon computing platforms providing a high degree of autonomy and diverse functionality. The increased sophisticat...
248
Voted
IS
2000
15 years 5 months ago
2000
Abstract With the rapid advances in mobile computing technology, there is an increasing demand for processing realtime transactions in a mobile environment. This paper studies con...
165
click to vote
MICRO
2010
IEEE
15 years 24 days ago
2010
IEEE
Today's transactional memory systems implement the two-phase-locking (2PL) algorithm which aborts transactions every time a conflict happens. 2PL is a simple algorithm that pr...