2231 search results - page 38 / 447 » Alternation as a programming paradigm |
DSD
2010
IEEE
13 years 8 months ago
2010
IEEE
We present a high-level synthesis flow for mapping an algorithm description (in C) to a provably equivalent registertransfer level (RTL) description of hardware. This flow uses an ...
CPAIOR
2009
Springer
14 years 4 months ago
2009
Springer
In this abstract, we present a rule-based modelling language for constraint programming, called Rules2CP [1], and a library PKML for modelling packing problems. Unlike other modell...
ER
2001
Springer
14 years 2 months ago
2001
Springer
Electronic commerce (e-commerce) covers a wide range of business transactions. Usually, a transactions includes products, i.e. goods or services. Often, e-commerce websites are int...
HICSS
2005
IEEE
14 years 3 months ago
2005
IEEE
Enterprise systems are located within the antinomy of appearing as generic product, while being means of multiple integrations for the user through configuration and customisation...
GECCO
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Bloat control is an important aspect of evolutionary computation methods, such as genetic programming, which must deal with genomes of arbitrary size. We introduce three ...