535 search results - page 30 / 107 » Concurrency Control: Methods, Performance, and Analysis |
STACS
1997
Springer
14 years 1 days ago
1997
Springer
Exotic semirings such as the “(max, +) semiring” (R ∪ {−∞}, max, +), or the “tropical semiring” (N ∪ {+∞}, min, +), have been invented and reinvented many times s...
TKDE
1998
13 years 7 months ago
1998
—Due to recent developments in network technologies, broader channel bandwidth is becoming prevalent in worldwide networks. As one of the new technologies making good use of such...
VLSID
2002
IEEE
14 years 8 months ago
2002
IEEE
A control part ? data path partition based sequential circuit verification scheme aimed at avoiding state explosion comprises two major modules namely, a data path verifier and a ...
CHI
2010
ACM
14 years 2 months ago
2010
ACM
We present results from an experiment that studied the information search behavior of younger and older adults in a medical decision-making task. To study how different combinatio...
ICCV
2007
IEEE
14 years 10 months ago
2007
IEEE
In this paper we propose a new framework to simultaneously segment and register lung and tumor in serial CT data. Our method assumes nonrigid transformation on lung deformation an...