2945 search results - page 526 / 589 » Designing and Implementing Malicious Hardware |
134
click to vote
CAV
2005
Springer
15 years 10 months ago
2005
Springer
Bounded model checking is an efficient method for finding bugs in system designs. The major drawback of the basic method is that it cannot prove properties, only disprove them. R...
172
click to vote
DMG
2005
Springer
15 years 10 months ago
2005
Springer
Grid services provide an important abstract layer on top of heterogeneous components (hardware and software) that take part into a grid environment. We are developing a data grid s...
168
click to vote
FPL
2005
Springer
15 years 10 months ago
2005
Springer
With the onset of Gigabit networks, current generation networking components will soon be insufficient for numerous reasons: most notably because existing methods cannot support h...
141
click to vote
ICANN
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. A real-time, large scale, leaky-integrate-and-fire neural network processor realized using FPGA is presented. This has been designed, as part of a collaborative project,...
119
click to vote
UIST
2004
ACM
15 years 9 months ago
2004
ACM
Light Emitting Diodes (LEDs) offer long life, low cost, efficiency, brightness, and a full range of colors. Because of these properties, they are widely used for simple displays i...