4167 search results - page 567 / 834 » Evolutionary functional testing |
167
click to vote
ISCAS
2006
IEEE
16 years 16 days ago
2006
IEEE
— We describe an analog VLSI circuit implementing spike-driven synaptic plasticity, embedded in a network of integrate-and-fire neurons. This biologically inspired synapse is hi...
147
click to vote
ISCAS
2006
IEEE
16 years 16 days ago
2006
IEEE
— The rapid control of sonar-guided vehicles through obstacle fields has been a goal of robotics for decades. How sensory data is represented strongly affects how obstacles and g...
189
click to vote
ISPDC
2006
IEEE
16 years 16 days ago
2006
IEEE
The centralised management of distributed computing infrastructures presents a number of considerable challenges, not least of which is the effective monitoring of physical resour...
165
click to vote
QSIC
2006
IEEE
16 years 16 days ago
2006
IEEE
Pervasive programs should be context-aware, which means that program functions should react according to changing environmental conditions. Slicing, as an important class of code ...
173
click to vote
SP
2006
IEEE
16 years 16 days ago
2006
IEEE
We present a new mechanized prover for secrecy properties of security protocols. In contrast to most previous provers, our tool does not rely on the Dolev-Yao model, but on the co...