Sciweavers

186 search results - page 6 / 38
» Kernel Scheduling in Reconfigurable Computing
Sort
View
ASAP
2005
IEEE
133views Hardware» more  ASAP 2005»
14 years 3 months ago
Speedups from Partitioning Critical Software Parts to Coarse-Grain Reconfigurable Hardware
In this paper, we propose a hardware/software partitioning method for improving applications’ performance in embedded systems. Critical software parts are accelerated on hardwar...
Michalis D. Galanis, Grigoris Dimitroulakos, Costa...
FCCM
2007
IEEE
90views VLSI» more  FCCM 2007»
14 years 4 months ago
Software/Hardware Co-Scheduling for Reconfigurable Computing Systems
Proshanta Saha, Tarek A. El-Ghazawi
ICAI
2004
13 years 11 months ago
A User Centered Evolutionary Scheduling Framework
The need for supporting CSCW applications with heterogeneous and varying user requirements call for adaptive and reconfigurable schedulers accommodating a mixture of real-time, pro...
Horst Wedde, Muddassar Farooq, Mario Lischka
FPL
2006
Springer
156views Hardware» more  FPL 2006»
14 years 1 months ago
Improving Usability of FPGA-Based Reconfigurable Computers Through Operating System Support
Advances in FPGA-based reconfigurable computers have made them a viable computing platform for a vast variety of computation demanding areas such as bioinformatics, speech recogni...
Hayden Kwok-Hay So, Robert W. Brodersen
ICTAC
2010
Springer
13 years 8 months ago
Formal Modelling of Separation Kernel Components
Abstract. Separation kernels are key components in embedded applications. Their small size and widespread use in high-integrity environments make them good targets for formal model...
Andrius Velykis, Leo Freitas