Sciweavers

13895 search results - page 109 / 2779
» Exploring
Sort
View
CP
2007
Springer
14 years 27 days ago
Exploring Different Constraint-Based Modelings for Program Verification
Recently, constraint-programming techniques have been used to generate test data and to verify the conformity of a program with its specification. Constraint generated for these ta...
Hélène Collavizza, Michel Rueher
SIGGRAPH
2010
ACM
14 years 25 days ago
Exploration of bat wing morphology through a strip method and visualization
We present a visual exploration tool that lets biologists navigate through complex bat wing geometries by combining a novel modeling method and an interactive visualization approa...
Jian Chen, Daniel K. Riskin, Tatjana Y. Hubel, Dav...
DATE
2004
IEEE
135views Hardware» more  DATE 2004»
14 years 21 days ago
A Simulation-Based Power-Aware Architecture Exploration of a Multiprocessor System-on-Chip Design
We present the design exploration of a System-on-Chip architecture dedicated to the implementation of the HIPERLAN/2 communication protocol. The task was accomplished by means of ...
Francesco Menichelli, Mauro Olivieri, Luca Benini,...
EVOW
2006
Springer
14 years 19 days ago
GRACE: Generative Robust Analog Circuit Exploration
Abstract. We motivate and describe an analog evolvable hardware design platform named GRACE (i.e. Generative Robust Analog Circuit Exploration). GRACE combines coarse-grained, topo...
Michael A. Terry, Jonathan Marcus, Matthew Farrell...
FPL
2006
Springer
129views Hardware» more  FPL 2006»
14 years 19 days ago
Architecture Exploration and Tools for Pipelined Coarse-Grained Reconfigurable Arrays
We present a heavily parametrized tool suite that allows the modeling and exploration of heterogeneous, coarse-grained, heavily pipelined reconfigurable architectures. Our tools p...
Florian Stock, Andreas Koch