Search results for "EVMDD"

Found 8 publication records. Showing 8 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
36	Shinobu Nagayama, Tsutomu Sasao	Representations of Two-Variable Elementary Functions Using EVMDDs and their Applications to Function Generators.	ISMVL	2008	DBLP DOI BibTeX RDF	EVMDD, EVBDD, two-variable elementary functions, l-restricted Mp-monotone increasing functions, function generators
36	Hiroki Nakahara, Tsutomu Sasao, Munehiro Matsuura, Hisashi Iwamoto	An Update Method for a Low Power Cam Emulator Using an LUT Cascade Based on an EVMDD (k).	J. Multiple Valued Log. Soft Comput.	2016	DBLP BibTeX RDF
36	Hiroki Nakahara, Tsutomu Sasao, Hiroyuki Nakanishi, Kazumasa Iwai	An RNS FFT Circuit Using LUT Cascades Based on a Modulo EVMDD.	ISMVL	2015	DBLP DOI BibTeX RDF
36	Shinobu Nagayama, Tsutomu Sasao, Jon T. Butler	EVMDD-Based Analysis and Diagnosis Methods of Multi-State Systems with Multi-State Components.	J. Multiple Valued Log. Soft Comput.	2014	DBLP BibTeX RDF
36	Hiroki Nakahara, Tsutomu Sasao, Munehiro Matsuura	A Packet Classifier Based on Prefetching EVMDD (k) Machines.	IEICE Trans. Inf. Syst.	2014	DBLP DOI BibTeX RDF
36	Hiroki Nakahara, Tsutomu Sasao, Munehiro Matsuura	An Update Method for a CAM Emulator Using an LUT Cascade Based on an EVMDD (K).	ISMVL	2014	DBLP DOI BibTeX RDF
36	Shinobu Nagayama, Tsutomu Sasao, Jon T. Butler	Minimization of the Number of Edges in an EVMDD by Variable Grouping for Fast Analysis of Multi-State Systems.	ISMVL	2013	DBLP DOI BibTeX RDF
36	Yang Zhao 0011, Gianfranco Ciardo	A Two-Phase Gauss-Seidel Algorithm for the Stationary Solution of EVMDD-Encoded CTMCs.	QEST	2012	DBLP DOI BibTeX RDF

Displaying result #1 - #8 of 8 (100 per page; Change: )