Sciweavers

13489 search results - page 2312 / 2698
» Operating System
Sort
View
CC
2010
Springer
172views System Software» more  CC 2010»
16 years 1 months ago
Verifying Local Transformations on Relaxed Memory Models
The problem of locally transforming or translating programs without altering their semantics is central to the construction of correct compilers. For concurrent shared-memory progr...
Sebastian Burckhardt, Madanlal Musuvathi, Vasu Sin...
148
Voted
EDBT
2010
ACM
127views Database» more  EDBT 2010»
16 years 1 months ago
Trustworthy vacuuming and litigation holds in long-term high-integrity records retention
Relational databases are periodically vacuumed to remove tuples that have expired. During the discovery phase of litigation, plaintiffs ask defendants for access to information re...
Ragib Hasan, Marianne Winslett
AINA
2009
IEEE
16 years 1 months ago
An Energy Efficient Chain-Based Clustering Routing Protocol for Wireless Sensor Networks
— Wireless sensor network consisting of a large number of sensors is effective for gathering data in a variety of environments. Since the sensors operate on battery of limited po...
Jae Duck Yu, Kyung Tae Kim, Bo Yle Jung, Hee Yong ...
CVPR
2009
IEEE
16 years 1 months ago
Human age estimation using bio-inspired features
We investigate the biologically inspired features (BIF) for human age estimation from faces. As in previous bioinspired models, a pyramid of Gabor filters are used at all positio...
Guodong Guo, Guowang Mu, Yun Fu, Thomas S. Huang
AOSD
2009
ACM
16 years 1 months ago
Expressive scoping of distributed aspects
Dynamic deployment of aspects brings greater flexibility and reuse potential, but requires proper means for scoping aspects. Scoping issues are particularly crucial in a distribu...
Éric Tanter, Johan Fabry, Rémi Douen...
« Prev « First page 2312 / 2698 Last » Next »