9888 search results - page 1851 / 1978 » compute 2009 |
105
click to vote
EUSFLAT
2009
14 years 10 months ago
2009
This paper investigates the potential information provided to the user by the uncertainty measures applied to the possibility distributions associated with the spatial units of an ...
117
click to vote
ICCAD
2009
IEEE
14 years 10 months ago
2009
IEEE
A parallel computing approach for large-scale SPICE-accurate circuit simulation is described that is based on a new preconditioned iterative solver. The preconditioner involves the...
114
Voted
ICCAD
2009
IEEE
14 years 10 months ago
2009
IEEE
Hardware acceleration is crucial in modern embedded system design to meet the explosive demands on performance and cost. Selected computation kernels for acceleration are usually ...
117
click to vote
ICCAD
2009
IEEE
14 years 10 months ago
2009
IEEE
Modern circuits become harder to route with the ever decreasing design features. Previous routability-driven placement techniques are usually tightly coupled with the underlying p...
116
Voted
ICFEM
2009
Springer
14 years 10 months ago
2009
Springer
In this paper we continue the study of a strict extension of the Computation Tree Logic, called graded-CTL, recently introduced by the same authors. This new logic augments the sta...