Sciweavers

10700 search results - page 467 / 2140
» Generative Design Patterns
Sort
View
TOG
2010
126views more  TOG 2010»
14 years 11 months ago
Automatic generation of destination maps
Destination maps are navigational aids designed to show anyone within a region how to reach a location (the destination). Handdesigned destination maps include only the most impor...
Johannes Kopf, Maneesh Agrawala, David Bargeron, D...
ICCAD
2001
IEEE
104views Hardware» more  ICCAD 2001»
16 years 1 months ago
A Symbolic Simulation-Based Methodology for Generating Black-Box Timing Models of Custom Macrocells
We present a methodology for generating black-box timing models for full-custom transistor-level CMOS circuits. Our approach utilizes transistor-level ternary symbolic timing simu...
Clayton B. McDonald, Randal E. Bryant
ICWE
2009
Springer
15 years 11 months ago
UWE4JSF: A Model-Driven Generation Approach for Web Applications
Model-driven engineering is a promising approach, but there are still many hurdles to overcome. The tool UWE4JSF solves the hurdles for the model-driven development of web applicat...
Christian Kroiss, Nora Koch, Alexander Knapp
FDL
2007
IEEE
15 years 10 months ago
A Case-Study in Property-Based Synthesis: Generating a Cache Controller from a Property-Set
Abstract—Property-based synthesis has become a more prominent topic during the last years, being used in multiple areas like e.g. formal verification and design automation. We w...
Martin Schickel, Martin Oberkönig, Martin Sch...
KBSE
2006
IEEE
15 years 10 months ago
Model-driven Monitoring: Generating Assertions from Visual Contracts
The Visual Contract Workbench is a tool that supports model-driven development of software systems by lifting the Design by Contract idea, which is usually used at the code level,...
Marc Lohmann, Gregor Engels, Stefan Sauer