Sciweavers

15888 search results - page 2840 / 3178
» Supporting human-intensive systems
Sort
View
ASPDAC
2005
ACM
133views Hardware» more  ASPDAC 2005»
15 years 6 months ago
A novel O(n) parallel banker's algorithm for System-on-a-Chip
This paper proposes a novel O(n) Parallel Banker’s Algorithm (PBA) with a best-case run-time of O(1), reduced from an ¢¤£¦¥¨§© run-time complexity of the original Ban...
Jaehwan John Lee, Vincent John Mooney III
ASPDAC
2005
ACM
106views Hardware» more  ASPDAC 2005»
15 years 6 months ago
Using loop invariants to fight soft errors in data caches
Ever scaling process technology makes embedded systems more vulnerable to soft errors than in the past. One of the generic methods used to fight soft errors is based on duplicati...
Sri Hari Krishna Narayanan, Seung Woo Son, Mahmut ...
ASAP
2006
IEEE
147views Hardware» more  ASAP 2006»
15 years 6 months ago
Reconfigurable Shuffle Network Design in LDPC Decoders
Several semi-parallel decoding architectures have been explored by researchers for the quasi-cyclic low density parity check (LDPC) codes. In these architectures, the reconfigurab...
Jun Tang, Tejas Bhatt, Vishwas Sundaramurthy
BIRTHDAY
2005
Springer
15 years 6 months ago
A Mobility Calculus with Local and Dependent Types
Abstract. We introduce an ambient-based calculus that combines ambient mobility with process mobility, uses group names to collect ambients with homologous features, and exploits c...
Mario Coppo, Federico Cozzi, Mariangiola Dezani-Ci...
CHINZ
2005
ACM
15 years 6 months ago
InkKit: a generic design tool for the tablet PC
In this paper, we describe the design philosophy, implementation and evaluation of InkKit, an informal design platform that uses pen input on a tablet PC to imitate the informalit...
Ronald Chung, Petrut Mirica, Beryl Plimmer
« Prev « First page 2840 / 3178 Last » Next »