413 search results - page 44 / 83 » Computing Models for FPGA-Based Accelerators |
ISCAS
2006
IEEE
15 years 5 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...
ATVA
2005
Springer
15 years 5 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 ...
SI3D
1999
ACM
15 years 4 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...
111
click to vote
COMPUTING
2010
14 years 9 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....
163
click to vote
DKE
2011
14 years 3 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...