Sciweavers

1145 search results - page 157 / 229
» Power-Driven Design Partitioning
Sort
View
117
Voted
ICFP
2008
ACM
16 years 2 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
110
Voted
PERCOM
2006
ACM
16 years 2 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
111
Voted
ICCD
2008
IEEE
159views Hardware» more  ICCD 2008»
15 years 11 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
119
Voted
SC
2009
ACM
15 years 9 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...
113
Voted
EDBT
2009
ACM
124views Database» more  EDBT 2009»
15 years 9 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