Sciweavers

2007 search results - page 33 / 402
» Using general-purpose programming languages for FPGA design
Sort
View
FCCM
2002
IEEE
174views VLSI» more  FCCM 2002»
15 years 2 months ago
PAM-Blox II: Design and Evaluation of C++ Module Generation for Computing with FPGAs
This paper explores the implications of integrating flexible module generation into a compiler for FPGAs. The objective is to improve the programmabilityof FPGAs, or in other wor...
Oskar Mencer
CAV
2005
Springer
173views Hardware» more  CAV 2005»
15 years 3 months ago
Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, ...
TPLP
2010
102views more  TPLP 2010»
14 years 8 months ago
As time goes by: Constraint Handling Rules
Constraint Handling Rules (CHR) is a high-level programming language based on multiheaded multiset rewrite rules. Originally designed for writing user-defined constraint solvers,...
Jon Sneyers, Peter Van Weert, Tom Schrijvers, Lesl...
ICFP
2000
ACM
15 years 2 months ago
Functional programming in C++
This paper describes FC++: a rich library supporting functional programming in C++. Prior approaches to encoding higher order functions in C++ have suffered with respect to polymo...
Brian McNamara, Yannis Smaragdakis
VL
1998
IEEE
136views Visual Languages» more  VL 1998»
15 years 2 months ago
Designing New Programming Constructs in a Data Flow VL
A powerful and useful Data-Flow Visual Programming Language (DFVPL) must provide the necessary programming constructs to deal with complex problems. The main purpose of this paper...
Elena Ghittori, Mauro Mosconi, Marco Porta