306 search results - page 58 / 62 » Engineering agent-mediated integration of bioinformatics ana... |
ICCAD
2003
IEEE
15 years 7 months ago
2003
IEEE
Placement is one of the most important steps in the RTLto-GDSII synthesis process, as it directly defines the interconnects, which have become the bottleneck in circuit and syste...
101
Voted
CAV
2010
Springer
15 years 2 months ago
2010
Springer
ions of ODE models (MAPLE, GNA). On the algorithmic side (Sec. 3.2), it supports two main streams in high-performance model checking: reachability analysis based on BDDs (symbolic)...
CORR
2007
Springer
14 years 10 months ago
2007
Springer
— In order to optimize the costs and time of design of the new products while improving their quality, concurrent engineering is based on the digital model of these products, the...
SIGGRAPH
1996
ACM
15 years 2 months ago
1996
ACM
Multiresolution analysis has been proposed as a basic tool supporting compression, progressive transmission, and level-of-detail control of complex meshes in a unified and theoret...
WETICE
2008
IEEE
15 years 4 months ago
2008
IEEE
The importance of aviation security has increased dramatically in recent years. Frequently changing regulations and the need to adapt quickly to new and emerging threats are chall...