Advanced Symbolic Analysis for VLSI Systems
Latest Publications

TOTAL DOCUMENTS

12
(FIVE YEARS 0)

H-INDEX

0
(FIVE YEARS 0)

Published By Springer New York

9781493911028, 9781493911035
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Introduction

2014 ◽  
pp. 3-6
Author(s):  
Guoyong Shi ◽  
Sheldon X.-D. Tan ◽  
Esteban Tlelo Cuautle

Graph-Pair Decision Diagram

2014 ◽  
pp. 125-150
Author(s):  
Guoyong Shi ◽  
Sheldon X.-D. Tan ◽  
Esteban Tlelo Cuautle

Binary Decision Diagram for Symbolic Analysis

2014 ◽  
pp. 21-42
Author(s):  
Guoyong Shi ◽  
Sheldon X.-D. Tan ◽  
Esteban Tlelo Cuautle
Keyword(s):  
Symbolic Analysis ◽  
Binary Decision Diagram ◽  
Binary Decision

Statistical Parallel Monte-Carlo Analysis on GPUs

2014 ◽  
pp. 271-282
Author(s):  
Guoyong Shi ◽  
Sheldon X.-D. Tan ◽  
Esteban Tlelo Cuautle
Keyword(s):  
Monte Carlo ◽  
Monte Carlo Analysis

Hierarchical Analysis Methods

2014 ◽  
pp. 151-177
Author(s):  
Guoyong Shi ◽  
Sheldon X.-D. Tan ◽  
Esteban Tlelo Cuautle
Keyword(s):  
Hierarchical Analysis ◽  
Analysis Methods

Generalized Two-Graph Theory

2014 ◽  
pp. 95-124
Author(s):  
Guoyong Shi ◽  
Sheldon X.-D. Tan ◽  
Esteban Tlelo Cuautle
Keyword(s):  
Graph Theory

Symbolic Analysis Techniques in a Nutshell

2014 ◽  
pp. 7-20
Author(s):  
Guoyong Shi ◽  
Sheldon X.-D. Tan ◽  
Esteban Tlelo Cuautle
Keyword(s):  
Symbolic Analysis ◽  
Analysis Techniques

DDD Implementation

2014 ◽  
pp. 71-94
Author(s):  
Guoyong Shi ◽  
Sheldon X.-D. Tan ◽  
Esteban Tlelo Cuautle

Symbolic Moment Computation

2014 ◽  
pp. 213-237
Author(s):  
Guoyong Shi ◽  
Sheldon X.-D. Tan ◽  
Esteban Tlelo Cuautle
Load More ...
Sign in / Sign up

Export Citation Format

Share Document