Sciweavers

1145 search results - page 157 / 229
» Power-Driven Design Partitioning
Sort
View
ICFP
2008
ACM
14 years 10 months ago
Functional translation of a calculus of capabilities
Reasoning about imperative programs requires the ability to track aliasing and ownership properties. We present a type system that provides this ability, by using regions, capabil...
Arthur Charguéraud, François Pottier
PERCOM
2006
ACM
14 years 9 months ago
A Collaborative Web Browsing System for Multiple Mobile Users
In mobile computing environments, handheld devices with low functionality restrict the services provided for mobile users. We propose a new concept of collaborative browsing, wher...
Takuya Maekawa, Takahiro Hara, Shojiro Nishio
ICCD
2008
IEEE
159views Hardware» more  ICCD 2008»
14 years 7 months ago
A high-performance parallel CAVLC encoder on a fine-grained many-core system
—This paper presents a high-performance parallel context-based adaptive length coding (CAVLC) encoder implemented on a fine-grained many-core system. The software encoder is desi...
Zhibin Xiao, Bevan Baas
SC
2009
ACM
14 years 4 months ago
Enabling software management for multicore caches with a lightweight hardware support
The management of shared caches in multicore processors is a critical and challenging task. Many hardware and OS-based methods have been proposed. However, they may be hardly adop...
Jiang Lin, Qingda Lu, Xiaoning Ding, Zhao Zhang, X...
EDBT
2009
ACM
124views Database» more  EDBT 2009»
14 years 4 months ago
A sequential indexing scheme for flash-based embedded systems
NAND Flash has become the most popular stable storage medium for embedded systems. As on-board storage capacity increases, the need for efficient indexing techniques arises. Such ...
Shaoyi Yin, Philippe Pucheral, Xiaofeng Meng