7262 search results - page 681 / 1453 » Reversible Computer Hardware |
157
click to vote
ISCAS
2006
IEEE
16 years 1 months ago
2006
IEEE
— Recurrent networks and hardware analogs that perform a winner-take-all computation have been studied extensively. This computation is rarely demonstrated in a spiking network o...
220
click to vote
VALUETOOLS
2006
ACM
16 years 1 months ago
2006
ACM
Min-max functions are dynamic programming operators of zero-sum deterministic games with finite state and action spaces. The problem of computing the linear growth rate of the or...
212
Voted
SEUS
2005
IEEE
16 years 24 days ago
2005
IEEE
In the last years the number of electronic control systems has increased significantly. In order to stay competitive more and more functionality is integrated into more and more p...
207
click to vote
SAC
2005
ACM
16 years 24 days ago
2005
ACM
Large-scale supercomputing is revolutionizing the way science is conducted. A growing challenge, however, is understanding the massive quantities of data produced by largescale si...
194
click to vote
CHARME
2005
Springer
16 years 23 days ago
2005
Springer
Abstract. We propose a new saturation-based symbolic state-space generation algorithm for finite discrete-state systems. Based on the structure of the high-level model specificat...