262 search results - page 45 / 53 » Hybrid Constraints in Automated Model Synthesis and Model Pr... |
91
Voted
DAC
2004
ACM
15 years 10 months ago
2004
ACM
Long design cycles due to the inability to predict silicon realities is a well-known problem that plagues analog/RF integrated circuit product development. As this problem worsens...
112
click to vote
BMCBI
2008
14 years 8 months ago
2008
Background: Medium- to large-scale expression profiling using quantitative polymerase chain reaction (qPCR) assays are becoming increasingly important in genomics research. A majo...
COSIT
1997
Springer
15 years 1 months ago
1997
Springer
We present an approach to modeling human interpretation of (real) geographic maps. While in Geographic Information Systems (GIS) the limitations for describing geographic knowledge...
91
Voted
TSE
2010
14 years 4 months ago
2010
Search-based software engineering is an emerging paradigm that uses automated search algorithms to help designers iteratively find solutions to complicated design problems. For exa...
TVLSI
2008
14 years 9 months ago
2008
We present a Mutation-based Validation Paradigm (MVP) technology that can handle complete high-level microprocessor implementations and is based on explicit design error modeling, ...