Sciweavers

4770 search results - page 434 / 954
» Using System-on-a-Programmable-Chip Technology to Design Emb...
Sort
View
SAMOS
2004
Springer
16 years 26 days ago
Modeling Loop Unrolling: Approaches and Open Issues
Abstract. Loop unrolling plays an important role in compilation for Reconfigurable Processing Units (RPUs) as it exposes operator parallelism and enables other transformations (e.g...
João M. P. Cardoso, Pedro C. Diniz
207
Voted
TACAS
2000
Springer
89views Algorithms» more  TACAS 2000»
15 years 11 months ago
The PROSPER Toolkit
Abstract. The Prosper (Proof and Specification Assisted Design Environments) project advocates the use of toolkits which allow existing verification tools to be adapted to a more f...
Louise A. Dennis, Graham Collins, Michael Norrish,...
HT
2003
ACM
16 years 23 days ago
"Common" web paths in a group adaptive system
In this paper we describe how we use a group of users’ accesses and interactions with web pages to discover and recommend relevant common navigation paths to other users. We col...
Maria Barra, Delfina Malandrino, Vittorio Scarano
ASPLOS
2009
ACM
15 years 11 months ago
Gordon: using flash memory to build fast, power-efficient clusters for data-intensive applications
As our society becomes more information-driven, we have begun to amass data at an astounding and accelerating rate. At the same time, power concerns have made it difficult to brin...
Adrian M. Caulfield, Laura M. Grupp, Steven Swanso...
241
Voted
CASES
2008
ACM
15 years 9 months ago
Active control and digital rights management of integrated circuit IP cores
We introduce the first approach that can actively control multiple hardware intellectual property (IP) cores used in an integrated circuit (IC). The IP rights owner(s) can remotel...
Yousra Alkabani, Farinaz Koushanfar