Sciweavers

698 search results - page 86 / 140
» Modeling collaboration using shared objects
Sort
View
HPCA
1996
IEEE
15 years 4 months ago
A Comparison of Entry Consistency and Lazy Release Consistency Implementations
This paper compares several implementations of entry consistency (EC) and lazy release consistency (LRC), two relaxed memory models in use with software distributed shared memory ...
Sarita V. Adve, Alan L. Cox, Sandhya Dwarkadas, Ra...
WM
2003
15 years 1 months ago
The differentia principle as a cornerstone of ontology
The Information Society relies more and more on the co-operation and collaboration of multidisciplinary people who need to communicate and share information. Communication and kno...
Christophe Spies
TSMC
2011
292views more  TSMC 2011»
14 years 6 months ago
Circular Blurred Shape Model for Multiclass Symbol Recognition
—In this paper, we propose a circular blurred shape model descriptor to deal with the problem of symbol detection and classification as a particular case of object recognition. ...
Sergio Escalera, Alicia Fornés, Oriol Pujol...
ICIP
2009
IEEE
16 years 26 days ago
Circular Blurred Shape Model For Symbol Spotting In Documents
Symbol spotting problem requires feature extraction strategies able to generalize from training samples and to localize the target object while discarding most part of the image. ...
FM
2009
Springer
169views Formal Methods» more  FM 2009»
15 years 3 months ago
Model Checking Linearizability via Refinement
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...
Yang Liu 0003, Wei Chen, Yanhong A. Liu, Jun Sun 0...