Sciweavers

3736 search results - page 145 / 748
» Generative Programming
Sort
View
LOPSTR
2007
Springer
15 years 8 months ago
Snapshot Generation in a Constructive Object-Oriented Modeling Language
CooML is an object-oriented modeling language where specifications are theories in a constructive logic designed to handle incomplete information. In this logic we view snapshots ...
Mauro Ferrari, Camillo Fiorentini, Alberto Momigli...
125
Voted
TSE
2010
161views more  TSE 2010»
15 years 1 months ago
Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking
— Web script crashes and malformed dynamically-generated web pages are common errors, and they seriously impact the usability of web applications. Current tools for web-page vali...
Shay Artzi, Adam Kiezun, Julian Dolby, Frank Tip, ...
125
Voted
FCCM
2002
IEEE
174views VLSI» more  FCCM 2002»
15 years 7 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
107
Voted
RIAO
2007
15 years 4 months ago
Structured Audio Player: Supporting Radio Archive Workflows with Automatically Generated Structure Metadata
Although techniques to automatically generate metadata have been steadily refined over the past decade, archive professionals at radio broadcasters continue to use conventional au...
Martha Larson, Joachim Köhler
GECCO
2005
Springer
131views Optimization» more  GECCO 2005»
15 years 8 months ago
Multipopulation cooperative coevolutionary programming (MCCP) to enhance design innovation
This paper describes the development of an evolutionary algorithm called Multipopulation Cooperative Coevolutionary Programming (MCCP) that extends Genetic Programming (GP) to sea...
Emily M. Zechman, S. Ranji Ranjithan