Sciweavers

4385 search results - page 296 / 877
» Abstraction for Concurrent Objects
Sort
View
ECOOP
2011
Springer
14 years 6 months ago
Frequency Estimation of Virtual Call Targets for Object-Oriented Programs
Abstract. The information of execution frequencies of virtual call targets is valuable for program analyses and optimizations of object-oriented programs. However, to obtain this i...
Cheng Zhang, Hao Xu, Sai Zhang, Jianjun Zhao, Yuti...
INFOCOM
2012
IEEE
13 years 9 months ago
Comparing alternative approaches for networking of named objects in the future Internet
Abstract—This paper describes and compares alternative architectures for achieving the functional goals of name oriented networking. The CCN (content-centric network) scheme prop...
Akash Baid, Tam Vu, Dipankar Raychaudhuri
WDAG
2005
Springer
85views Algorithms» more  WDAG 2005»
16 years 4 days ago
Time and Space Lower Bounds for Implementations Using k-CAS
This paper presents lower bounds on the time- and space-complexity of implementations that use the k compare-and-swap (k-CAS) synchronization primitives. We prove that the use of ...
Hagit Attiya, Danny Hendler
ECCV
2004
Springer
16 years 8 months ago
Example-Based Stereo with General BRDFs
Abstract. This paper presents an algorithm for voxel-based reconstruction of objects with general reflectance properties from multiple calibrated views. It is assumed that one or m...
Adrien Treuille, Aaron Hertzmann, Steven M. Seitz
WDAG
2005
Springer
90views Algorithms» more  WDAG 2005»
16 years 4 days ago
Proving Atomicity: An Assertional Approach
Atomicity (or linearizability) is a commonly used consistency criterion for distributed services and objects. Although atomic object implementations are abundant, proving that algo...
Gregory Chockler, Nancy A. Lynch, Sayan Mitra, Jos...