Sciweavers

2583 search results - page 350 / 517
» Compiling for stream processing
Sort
View
IJCAI
2001
15 years 7 months ago
Efficient Consequence Finding
We present an extensive experimental study of consequence-finding algorithms based on kernel resolution, using both a trie-based and a novel ZBDD-based implementation, which uses ...
Laurent Simon, Alvaro del Val
DYNAMO
2000
110views more  DYNAMO 2000»
15 years 7 months ago
Machine-adaptable dynamic binary translation
Dynamic binary translation is the process of translating and optimizing executable code for one machine to another at runtime, while the program is "executing" on the ta...
David Ung, Cristina Cifuentes
CATA
2010
15 years 6 months ago
A Hardware Implementation of the Advanced Encryption Standard (AES) Algorithm using SystemVerilog
In this paper, a hardware implementation of the AES128 encryption algorithm is proposed. A unique feature of the proposed pipelined design is that the round keys, which are consum...
Bahram Hakhamaneshi, Behnam S. Arad
BMCBI
2006
92views more  BMCBI 2006»
15 years 6 months ago
Systematic assignment of thermodynamic constraints in metabolic network models
Background: The availability of genome sequences for many organisms enabled the reconstruction of several genome-scale metabolic network models. Currently, significant efforts are...
Anne Kümmel, Sven Panke, Matthias Heinemann
FUIN
2006
81views more  FUIN 2006»
15 years 6 months ago
Redundant Call Elimination via Tupling
Redundant call elimination has been an important program optimisation process as it can produce super-linear speedup in optimised programs. In this paper, we investigate use of the...
Wei-Ngan Chin, Siau-Cheng Khoo, Neil Jones