Sciweavers

5334 search results - page 646 / 1067
» Communicating quantum processes
Sort
View
IPPS
2005
IEEE
16 years 14 days ago
A Distributed Procedure for Bandwidth-Centric Scheduling of Independent-Task Applications
The problem of scheduling independent tasks on heterogeneous trees is considered. The nodes of the tree may have different processing times, and links different communication time...
Cyril Banino
ISCAS
2005
IEEE
153views Hardware» more  ISCAS 2005»
16 years 14 days ago
A RAM-based FPGA implementation of the 64-bit MISTY1 block cipher
—A high-throughput hardware architecture and FPGA implementation of the 64-bit NESSIE proposal, MISTY1 block cipher, is presented in this paper. This architecture, in contrast to...
Paris Kitsos, Michalis D. Galanis, Odysseas G. Kou...
ISQED
2005
IEEE
92views Hardware» more  ISQED 2005»
16 years 14 days ago
Evaluation of Capacitor Ratios in Automated Accurate Common-Centroid Capacitor Arrays
In this paper, design and measurement results of a test chip that intends to evaluate differences between layout techniques for rectangular unit-capacitor arrays are introduced. P...
DiaaEldin Khalil, Mohamed Dessouky, Vincent Bourgu...
MSE
2005
IEEE
129views Hardware» more  MSE 2005»
16 years 14 days ago
An FPGA-Based Daughtercard for TI's C6000 family of DSKs
In this paper we present an FPGA-based daughtercard designed for TI’s C6000 family of DSP Starter Kits (DSKs). The hardware, initially designed for a course project, provides a ...
Manik Gadhiok, Ricky Hardy, Patrick Murphy, J. Pat...
TPHOL
2005
IEEE
16 years 14 days ago
On the Correctness of Operating System Kernels
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...
Mauro Gargano, Mark A. Hillebrand, Dirk Leinenbach...