6 results on '"Poncino, M."'
Search Results
2. Application of symbolic FSM Markovian analysis to protocol verification
3. Automatic selection of instruction op-codes of low-power core processors
4. Predicting the complexity of large combinational circuits through symbolic spectral analysis of their functional specifications
5. Estimating power consumption of CMOS circuits modelled as symbolic neural networks
6. Using symbolic Rademacher–Walsh spectral transforms to evaluate the agreement between Boolean functions
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.