1655 search results - page 184 / 331 » Visual tool for generative programming |
102
click to vote
TAP
2010
Springer
15 years 4 days ago
2010
Springer
We present QuickSpec, a tool that automatically generates algebraic specifications for sets of pure functions. The tool is based on testing, rather than static analysis or theorem ...
126
Voted
ERSA
2010
15 years 8 days ago
2010
In this paper, we introduce the open-source PivPav backend tool for reconfigurable computing. Essentially, PivPav provides an interface to a library of digital circuits that are ke...
113
Voted
RSP
2005
IEEE
15 years 7 months ago
2005
IEEE
We present an integrated system design environment for SystemC, called SyCE. The system consists of several components for efficient analysis, verification and debugging of Syst...
121
Voted
NAR
2008
15 years 2 months ago
2008
Panzea (http://www.panzea.org), the public web site of the project `Molecular and Functional Diversity in the Maize Genome', has expanded over the past two years in data cont...
99
Voted
ICFP
2008
ACM
16 years 2 months ago
2008
ACM
Severely resource-constrained devices present a confounding challenge to the functional programmer: we are used to having powerful ion facilities at our fingertips, but how can we...