مرکز منطقه ای اطلاع رساني علوم و فناوري

DocumentCode :

3619327

Title :

Caching in parallel BDD package

Author :

I. Grudenic;N. Bogunovic

fYear :

2005

fDate :

6/27/1905 12:00:00 AM

Firstpage :

597

Lastpage :

601

Keywords :

"Binary decision diagrams","Packaging","Workstations","Boolean functions","Formal verification","Equations","Data structures","Distributed computing","Computer architecture","Heart"

Publisher :

ieee

Conference_Titel :

Information Technology Interfaces, 2005. 27th International Conference on

ISSN :

1330-1012

Print_ISBN :

953-7138-02-X

Type :

conf

DOI :

10.1109/ITI.2005.1491196

Filename :

1491196

Link To Document :

https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=3619327