413 search results - page 44 / 83 » Computing Models for FPGA-Based Accelerators |
110
click to vote
ISCAS
2006
IEEE
15 years 8 months ago
2006
IEEE
The efficient design of multiplierless implementa- The goal is to find the optimal sub-expressions across all N dot tions of constant matrix multipliers is challenged by the huge p...
114
Voted
ATVA
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. This paper argues that flatness appears as a central notion in the verification of counter automata. A counter automaton is called flat when its control graph can be ...
109
click to vote
SI3D
1999
ACM
15 years 6 months ago
1999
ACM
We examine a rendering system that interactively ray traces an image on a conventional multiprocessor. The implementation is “brute force” in that it explicitly traces rays th...
134
Voted
COMPUTING
2010
14 years 12 months ago
2010
In this paper, we introduce and analyze a modification of the Hermitian and skewHermitian splitting iteration method for solving a broad class of complex symmetric linear systems....
194
click to vote
DKE
2011
14 years 6 months ago
2011
We report on a case study on control-flow analysis of business process models. We checked 735 industrial business process models from financial services, telecommunications, and...