1063 search results - page 65 / 213 » Programming Methodologies in GCLA |
ARC
2009
Springer
14 years 2 months ago
2009
Springer
This paper argues the case for the use of analytical models in FPGA architecture layout exploration. We show that the problem when simplified, is amenable to formal optimization t...
IPPS
2009
IEEE
14 years 2 months ago
2009
IEEE
—We present an application programming interface (API) for the C programming language that facilitates the development of dense linear algebra algorithms on graphics processors a...
ICASSP
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract— This work considers a combination classificationregression based framework with the proposal of using learned kernels in modified support vector regression to provide...
FORMATS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We examine to what extent implementation of timed automata can be achieved using the standard semantics and appropriate modeling, instead of introducing new semantics. We...
AISC
2010
Springer
14 years 15 days ago
2010
Springer
Abstract. The main goal of our work is to formally prove the correctness of the key commands of the SCHUR software, an interactive program for calculating with characters of Lie gr...