8719 search results - page 1442 / 1744 » A Categorical Approach to Simulations |
214
click to vote
GLVLSI
2007
IEEE
15 years 10 months ago
2007
IEEE
he abstract and simple computation and communication mechanism in the synchronous computational model it is easy to simulate synchronous systems and to apply formal verification m...
167
click to vote
GRID
2007
Springer
15 years 10 months ago
2007
Springer
Utility Grids create an infrastructure for enabling users to consume services transparently over a global network. When optimizing workflow execution on utility Grids, we need to c...
193
click to vote
EUROPAR
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In this paper we propose an energy-efficient broadcast algorithm for wireless networks for the case where the transmission powers of the nodes are fixed. Our algorithm is...
213
click to vote
FCCM
2009
IEEE
15 years 10 months ago
2009
IEEE
Scheduling and partitioning of task graphs on reconfigurable hardware needs to be carefully carried out in order to achieve the best possible performance. In this paper, we demons...
171
click to vote
HPCC
2007
Springer
15 years 10 months ago
2007
Springer
This paper proposes a highly efficient MBRP parallel algorithm for H.264 encoder, which is based on the analysis of data dependencies in H.264 encoder. In the algorithm, the video ...