Sciweavers

2757 search results - page 73 / 552
» On separating systems
Sort
View
HIPEAC
2010
Springer
14 years 7 months ago
Energy and Throughput Efficient Transactional Memory for Embedded Multicore Systems
We propose a new design for an energy-efficient hardware transactional memory (HTM) system for power-aware embedded devices. Prior hardware transactional memory designs proposed a ...
Cesare Ferri, Samantha Wood, Tali Moreshet, R. Iri...
ENTCS
2006
146views more  ENTCS 2006»
14 years 9 months ago
Strong Update, Disposal, and Encapsulation in Bunched Typing
We present a bunched intermediate language for strong (type-changing) update and disposal of first-order references. In contrast to other substructural type systems, the additive ...
Josh Berdine, Peter W. O'Hearn
DAC
1995
ACM
15 years 1 months ago
Hierarchical Optimization of Asynchronous Circuits
Abstract— Many asynchronous designs are naturally specified and implemented hierarchically as an interconnection of separate asynchronous modules that operate concurrently and c...
Bill Lin, Gjalt G. de Jong, Tilman Kolks
ACSAC
2009
IEEE
15 years 4 months ago
Surgically Returning to Randomized lib(c)
—To strengthen systems against code injection attacks, the write or execute only policy (W⊕X) and address space layout randomization (ASLR) are typically used in combination. T...
Giampaolo Fresi Roglia, Lorenzo Martignoni, Robert...
VTC
2007
IEEE
130views Communications» more  VTC 2007»
15 years 4 months ago
Cross-Correlation Analysis of Generalized Distributed Antenna Systems with Cooperative Diversity
— In this paper, geometry-based channel models are proposed to describe the topology of generalized distributed antenna systems with cooperative diversity (GDAS-CD). The system a...
Yifan Chen, Chau Yuen, Yan Zhang, Zhenrong Zhang