Sciweavers

457 search results - page 17 / 92
» cores 2005
Sort
View
CONCUR
2005
Springer
15 years 3 months ago
Type-Directed Concurrency
Abstract. We introduce a novel way to integrate functional and concurrent programming based on intuitionistic linear logic. The functional core arises from interpreting proof reduc...
Deepak Garg, Frank Pfenning
DATE
2005
IEEE
129views Hardware» more  DATE 2005»
15 years 3 months ago
Hardware Support for Arbitrarily Complex Loop Structures in Embedded Applications
In this paper, the program control unit of an embedded RISC processor is enhanced with a novel zerooverhead loop controller (ZOLC) supporting arbitrary loop structures with multip...
Nikolaos Kavvadias, Spiridon Nikolaidis
FPL
2005
Springer
172views Hardware» more  FPL 2005»
15 years 3 months ago
An FPGA Network Architecture for Accelerating 3DES - CBC
This paper presents a DES/3DES core that will support Cipher Block Chaining (CBC) and also has a built in keygen that together take up about 10% of the resources in a Xilinx Virte...
Chin Mun Wee, Peter R. Sutton, Neil W. Bergmann
CSB
2005
IEEE
129views Bioinformatics» more  CSB 2005»
15 years 3 months ago
A Pivoting Algorithm for Metabolic Networks in the Presence of Thermodynamic Constraints
A linear programming algorithm is presented to constructively compute thermodynamically feasible fluxes and change in chemical potentials of reactions for a metabolic network. It...
R. Nigam, S. Liang
FPT
2005
IEEE
98views Hardware» more  FPT 2005»
15 years 3 months ago
Secure Partial Reconfiguration of FPGAs
SRAM FPGAs are vulnerable to security breaches such as bitstream cloning, reverse-engineering, and tampering. Bitstream encryption and authentication are two most effective and pr...
Amir Sheikh Zeineddini, Kris Gaj