2272 search results - page 137 / 455 » Validity Invariants and Effects |
DSN
2011
IEEE
12 years 10 months ago
2011
IEEE
—We present Communix, a collaborative deadlock immunity framework for Java programs. Deadlock immunity enables applications to avoid deadlocks that they previously encountered. D...
IWPC
2005
IEEE
14 years 3 months ago
2005
IEEE
Previous studies have shown that novices do not tend to extract or use data-flow information during program comprehension. However, for impact analysis and similar tasks, data-ï¬...
TPDS
2008
13 years 9 months ago
2008
BitTorrent has emerged as a very popular peer-to-peer file sharing system, which uses an embedded set of incentive mechanisms to encourage contribution and prevent free-riding. How...
CVPR
2009
IEEE
15 years 5 months ago
2009
IEEE
Actions are spatio-temporal patterns which can be characterized
by collections of spatio-temporal invariant features.
Detection of actions is to find the re-occurrences
(e.g. th...
CVPR
2000
IEEE
15 years 6 days ago
2000
IEEE
This paper proposes a novel technique to computing geometric information from images captured under parallel projections. Parallel images are desirable for stereo reconstruction b...