1646 search results - page 72 / 330 » fast 2007 |
112
click to vote
FMCAD
2007
Springer
15 years 6 months ago
2007
Springer
We present a formulation of retiming to minimize the number of registers in a design by iterating a maximum network flow problem. The retiming returned will be the optimum one whi...
97
Voted
HVC
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. This paper studies the efficiency of several probabilistic model checkers by comparing verification times and peak memory usage for a set of standard case studies. The s...
104
click to vote
ICANN
2007
Springer
15 years 6 months ago
2007
Springer
SpikeStream is a new simulator of biologically structured spiking neural networks that can be used to edit, display and simulate up to 100,000 neurons. This simulator uses a combin...
109
Voted
ICOIN
2007
Springer
15 years 6 months ago
2007
Springer
Mobile IP (MIP) has been paid a lot of attention as a good candidate to provide such global mobility among heterogeneous networks. And, IPv6 incorporat...
104
Voted
ISVC
2007
Springer
15 years 6 months ago
2007
Springer
Many computer graphics rendering algorithms and techniques use ray tracing for generation of natural and photo-realistic images. The efficiency of the ray tracing algorithms depend...