Sciweavers

2296 search results - page 240 / 460
» The Expressive Power of Synchronizations
Sort
View
IPPS
2009
IEEE
16 years 1 months ago
Using hardware transactional memory for data race detection
Abstract—Widespread emergence of multicore processors will spur development of parallel applications, exposing programmers to degrees of hardware concurrency hitherto unavailable...
Shantanu Gupta, Florin Sultan, Srihari Cadambi, Fr...
SAT
2009
Springer
126views Hardware» more  SAT 2009»
16 years 1 months ago
Extending SAT Solvers to Cryptographic Problems
Cryptography ensures the confidentiality and authenticity of information but often relies on unproven assumptions. SAT solvers are a powerful tool to test the hardness of certain ...
Mate Soos, Karsten Nohl, Claude Castelluccia
SBCCI
2009
ACM
188views VLSI» more  SBCCI 2009»
16 years 1 months ago
Low-power inter-core communication through cache partitioning in embedded multiprocessors
We present an application-driven customization methodology for energy-efficient inter-core communication in embedded multiprocessors. The methodology leverages configurable cach...
Chenjie Yu, Xiangrong Zhou, Peter Petrov
CRV
2008
IEEE
183views Robotics» more  CRV 2008»
16 years 1 months ago
Robust Real-Time Bi-Layer Video Segmentation Using Infrared Video
In this paper, we propose a novel method for the automatic segmentation of a foreground layer from a natural scene in real time by fusing infrared, color and edge information. Thi...
Qiong Wu, Pierre Boulanger, Walter F. Bischof
ICC
2008
IEEE
125views Communications» more  ICC 2008»
16 years 1 months ago
Cell Search for Cell-Based OFDM Systems Using Quasi Complete Complementary Codes
Abstract—Establishing a radio link in cell-based mobile communication systems involves searching and synchronizing the downlink known pattern of sequences associated with the bas...
Chao-Yu Chen, Ying-Ju Min, Kuei-Ying Lu, Chi-Chao ...