1194 search results - page 207 / 239 » Input Guided Performance Evaluation |
97
Voted
FPGA
2007
ACM
15 years 6 months ago
2007
ACM
Boolean matching (BM) is a widely used technique in FPGA resynthesis and architecture evaluation. In this paper we present several improvements to the recently proposed SAT-based ...
103
click to vote
ISCAS
2006
IEEE
15 years 6 months ago
2006
IEEE
Abstract—We present a silicon neuron with a dynamic, active leak that enables precise spike-timing with respect to a time-varying input signal. Our neuron models the mammalian bu...
AUIC
2005
IEEE
15 years 6 months ago
2005
IEEE
Computer keyboards are used to input hundreds of different languages using many different alphabets. Despite this diversity, the physical layout of keyboards is fairly uniform, ...
105
click to vote
CORR
2010
Springer
15 years 15 days ago
2010
Springer
String diagrams are a powerful tool for reasoning about physical processes, logic circuits, tensor networks, and many other compositional structures. The distinguishing feature of...
109
Voted
ICST
2010
IEEE
14 years 11 months ago
2010
IEEE
—When a program is modified during software evolution, developers typically run the new version of the program against its existing test suite to validate that the changes made ...