2765 search results - page 373 / 553 » Spatio-temporal Models and Languages: An Approach Based on C... |
191
click to vote
TCAD
2008
15 years 6 months ago
2008
We present an efficient optimization scheme for gate sizing in the presence of process variations. Our method is a worst-case design scheme, but it reduces the pessimism involved i...
217
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
We propose a novel mode of feedback for image search, where a user describes which properties of exemplar images should be adjusted in order to more closely match his/her mental m...
263
click to vote
ECSA
2011
Springer
14 years 6 months ago
2011
Springer
Modeling of software architectures is a fundamental part of software development processes. Reuse of software components and early analysis of software topologies allow the reduct...
183
click to vote
FDL
2006
IEEE
16 years 19 days ago
2006
IEEE
To ensure correctness and performance of real-time embedded systems, early evaluation of properties is needed. Based on design experience for real-time systems and using the conce...
167
click to vote
WSC
2004
15 years 8 months ago
2004
Existing research has defined a new type of simulation time called Approximate Time, where the simulation's knowledge about the values that represent time is uncertain. The a...