Sciweavers

5762 search results - page 329 / 1153
» R-tree: A Hardware Implementation
Sort
View
HPCA
2011
IEEE
14 years 10 months ago
Checked Load: Architectural support for JavaScript type-checking on mobile processors
Dynamic languages such as Javascript are the de-facto standard for web applications. However, generating efficient code for dynamically-typed languages is a challenge, because it...
Owen Anderson, Emily Fortuna, Luis Ceze, Susan Egg...
ISCA
2011
IEEE
273views Hardware» more  ISCA 2011»
14 years 10 months ago
Bypass and insertion algorithms for exclusive last-level caches
Inclusive last-level caches (LLCs) waste precious silicon estate due to cross-level replication of cache blocks. As the industry moves toward cache hierarchies with larger inner l...
Jayesh Gaur, Mainak Chaudhuri, Sreenivas Subramone...
CAV
2011
Springer
202views Hardware» more  CAV 2011»
14 years 10 months ago
Simplifying Loop Invariant Generation Using Splitter Predicates
Abstract. We present a novel static analysis technique that substantially improves the quality of invariants inferred by standard loop invariant generation techniques. Our techniqu...
Rahul Sharma 0001, Isil Dillig, Thomas Dillig, Ale...
COMPSYSTECH
2011
14 years 6 months ago
Encoding watermark numbers as cographs using self-inverting permutations
Abstract. In a software watermarking environment, several graph theoretic watermark methods encode the watermark values as graph structures and embed them in application programs. ...
Maria Chroni, Stavros D. Nikolopoulos
DSD
2011
IEEE
309views Hardware» more  DSD 2011»
14 years 6 months ago
FBMC and GFDM Interference Cancellation Schemes for Flexible Digital Radio PHY Design
—With the opening up of white spaces, efficient use of the fragmented spectrum - TV white space in particular - has become an extremely important focus of research. Apart from ef...
Rohit Datta, Gerhard Fettweis, Zsolt Kollar, P&eac...