2057 search results - page 359 / 412 » Quadratic placement using an improved timing model |
149
click to vote
CASES
2001
ACM
15 years 9 months ago
2001
ACM
In an embedded system, it is common to have several memory areas with different properties, such as access time and size. An access to a specific memory area is usually restricted...
149
click to vote
WSC
1997
15 years 7 months ago
1997
The AutoSchedTM finite capacity planning and scheduling tool helps you increase throughput, reduce in-process inventory, and increase equipment and personnel utilization. AutoSche...
177
click to vote
ECCV
2008
Springer
16 years 8 months ago
2008
Springer
As richer models for stereo vision are constructed, there is a growing interest in learning model parameters. To estimate parameters in Markov Random Field (MRF) based stereo formu...
175
click to vote
IJCNN
2008
IEEE
16 years 13 days ago
2008
IEEE
— Nowadays, huge amounts of information from different industrial processes are stored into databases and companies can improve their production efficiency by mining some new kn...
175
click to vote
ASE
2005
15 years 5 months ago
2005
Techniques for efficiently evaluating future time Linear Temporal Logic (abbreviated LTL) formulae on finite execution traces are presented. While the standard models of LTL are i...