Search Sciweavers | Sciweavers

428 search results - page 15 / 86

» Validating High-Level Synthesis

click to vote

ICCAD
1990
IEEE

52views Hardware» more ICCAD 1990»

Exploiting the Special Structure of Conflict and Compatibility Graphs in High-Level Synthesis

14 years 3 months ago

Download www.cse.hcmut.edu.vn

D. L. Springer, Donald E. Thomas

claim paper

Read More »

click to vote

AAAI
2007

96views Intelligent Agents» more AAAI 2007»

Synthesis of Constraint-Based Local Search Algorithms from High-Level Models

14 years 1 months ago

Download www.cs.brown.edu

The gap in automation between MIP/SAT solvers and those for constraint programming and constraint-based local search hinders experimentation and adoption of these technologies and...

Pascal Van Hentenryck, Laurent D. Michel

claim paper

Read More »

click to vote

ARC
2008
Springer

99views Hardware» more ARC 2008»

Accelerating Speculative Execution in High-Level Synthesis with Cancel Tokens

14 years 27 days ago

Download www.eis.cs.tu-bs.de

We present an improved method for scheduling speculative data paths which relies on cancel tokens to undo computations in misspeculated paths. Performancewise, this method is consi...

Hagen Gädke, Andreas Koch

claim paper

Read More »

click to vote

IEICET
2008

63views more IEICET 2008»

High-Level Synthesis of Software Function Calls

13 years 11 months ago

Download ist.ksc.kwansei.ac.jp

Masanari Nishimura, Nagisa Ishiura, Yoshiyuki Ishi...

claim paper

Read More »