Sciweavers

2472 search results - page 372 / 495
» Parallel Key Exchange
Sort
View
DATE
2006
IEEE
86views Hardware» more  DATE 2006»
16 years 11 days ago
Synthesis of system verilog assertions
In recent years, Assertion-Based Verification is being widely accepted as a key technology in the pre-silicon validation of system-on-chip(SOC) designs. The System Verilog langua...
Sayantan Das, Rizi Mohanty, Pallab Dasgupta, P. P....
DATE
2006
IEEE
108views Hardware» more  DATE 2006»
16 years 11 days ago
Architectural and technology influence on the optimal total power consumption
In this paper, an approximated closed-form total power consumption equation for circuits working at their optimal supply and threshold voltage is presented. Comparisons of this fo...
Christian Schuster, Jean-Luc Nagel, Christian Pigu...
ICDCSW
2006
IEEE
16 years 11 days ago
Concurrency Tradeoffs in Dynamic Adaptation
Software systems need to adapt as requirements change, environment conditions vary, and bugs are discovered and fixed. In context of verification of these adaptive systems, the ...
Karun N. Biyani, Sandeep S. Kulkarni
IJCNN
2006
IEEE
16 years 10 days ago
Implementing Synaptic Plasticity in a VLSI Spiking Neural Network Model
— This paper describes an area-efficient mixed-signal implementation of synapse-based long term plasticity realized in a VLSI1 model of a spiking neural network. The artificial...
Johannes Schemmel, Andreas Grübl, Karlheinz M...
IROS
2006
IEEE
86views Robotics» more  IROS 2006»
16 years 10 days ago
Optimum Camera Angle for Optic Flow-Based Centering Response
— We present analytical and empirical investigations into the optimum camera angle to use for the optic flow-based centering response. This technique is commonly used to guide b...
Stefan Hrabar, Gaurav S. Sukhatme