428 search results - page 25 / 86 » Validating High-Level Synthesis |
FDL
2005
IEEE
14 years 4 months ago
2005
IEEE
Heterogeneous system specifications implicitly assume parallel execution of their components that rely on supporting platform architectures and operating systems. Unfortunately, c...
IJCAT
2010
13 years 9 months ago
2010
: In this paper we present an approach for synthesising and editing cartoon fire series based on hand-drawn samples. Our approach first extracts outlines of hand-drawn cartoon fire...
ICLP
2009
Springer
14 years 11 months ago
2009
Springer
PRISM is a probabilistic extension of Prolog. It is a high level language for probabilistic modeling capable of learning statistical parameters from observed data. After reviewing ...
FCCM
2011
IEEE
13 years 2 months ago
2011
IEEE
— Recent progress in High-Level Synthesis (HLS) es has helped raise the abstraction level of FPGA programming. However implementation and performance evaluation of the HLS-genera...
ASPDAC
1995
ACM
14 years 2 months ago
1995
ACM
Abstract — A datapath synthesis system (DPSS) for the reconfigurable datapath architecture (rDPA) is presented. The DPSS allows automatic mapping of high level descriptions onto...