Sciweavers

481 search results - page 55 / 97
» Executing Higher Order Logic
Sort
View
99
Voted
SASP
2009
IEEE
156views Hardware» more  SASP 2009»
15 years 7 months ago
Introducing control-flow inclusion to support pipelining in custom instruction set extensions
—Multi-cycle Instruction set extensions (ISE) can be pipelined in order to increase their throughput; however, typical program traces seldom contain consecutive calls to the same...
Marcela Zuluaga, Theo Kluter, Philip Brisk, Nigel ...
ITCC
2005
IEEE
15 years 6 months ago
Fast Parallel Table Lookups to Accelerate Symmetric-Key Cryptography
1 Table lookups are one of the most frequently-used operations in symmetric-key ciphers. Particularly in the newer algorithms such as the Advanced Encryption Standard (AES), we fr...
A. Murat Fiskiran, Ruby B. Lee
111
Voted
SFP
2004
15 years 2 months ago
A graphic functional-dataflow language
NiMo (Nets in Motion) is a visual environment aimed to support totally graphic programming in Data Flow style, with a strong functional inspiration. Solutions of growing complexit...
Silvia Clerici, Cristina Zoltan
RTAS
2010
IEEE
14 years 11 months ago
A Stochastic Framework for Multiprocessor Soft Real-Time Scheduling
Prior work has shown that the global earliest-deadline-first (GEDF) scheduling algorithm ensures bounded deadline tardiness on multiprocessors with no utilization loss; therefore...
Alex F. Mills, James H. Anderson
129
Voted
GRID
2006
Springer
15 years 23 days ago
Campus Grids Meet Applications: Modeling, Metascheduling and Integration
Air Quality Forecasting (AQF) is a new discipline that attempts to reliably predict atmospheric pollution. An AQF application has complex workflows and in order to produce timely ...
Yonghong Yan, Barbara M. Chapman