Sciweavers

1660 search results - page 183 / 332
» Abstract Application Modeling for System Design Space Explor...
Sort
View
VIS
2006
IEEE
128views Visualization» more  VIS 2006»
16 years 5 months ago
Hierarchy-based 3-D Visualization of Homologous Gene Expression across Different Organisms
With the explosive growth of proteomic and expression data of homologous genes, it becomes necessary to explore new methods to visualize and analyze related gene expression data t...
Li Jin, Karl V. Steiner, Carl J. Schmidt, Keith...
ICRA
2006
IEEE
130views Robotics» more  ICRA 2006»
15 years 10 months ago
Mathematical Foundation for Hormone-inspired Control for Self-reconfigurable Robotic Systems
– In this paper, we present a general mathematical foundation of hormone-inspired control for the selfreconfigurable robotic system. Problem considered here is the lack of a math...
Feili Hou, Wei-Min Shen
IJCAI
1989
15 years 5 months ago
Functional Representation of Designs and Redesign Problem Solving
gn problem can be abstractly characterized as a constrained function-to-structure mapping. The de­ sign task takes as input the specifications of the desired functions of a device...
Ashok K. Goel, B. Chandrasekaran
132
Voted
FCCM
2006
IEEE
100views VLSI» more  FCCM 2006»
15 years 10 months ago
Enabling a Uniform Programming Model Across the Software/Hardware Boundary
In this paper, we present hthreads, a unifying programming model for specifying application threads running within a hybrid CPU/FPGA system. Threads are specified from a single p...
Erik Anderson, Jason Agron, Wesley Peck, Jim Steve...
124
Voted
TACAS
2007
Springer
92views Algorithms» more  TACAS 2007»
15 years 10 months ago
Model Checking Liveness Properties of Genetic Regulatory Networks
Abstract. Recent studies have demonstrated the possibility to build genetic regulatory networks that confer a desired behavior to a living organism. However, the design of these ne...
Grégory Batt, Calin Belta, Ron Weiss