Search Sciweavers | Sciweavers

151 search results - page 2 / 31

» P-Semiflow Computation with Decision Diagrams

click to vote

ISCAS
1994
IEEE

67views Hardware» more ISCAS 1994»

Fast Spectrum Computation for Logic Functions using Binary Decision Diagrams

13 years 11 months ago

Download www.cs.cmu.edu

Masahiro Fujita, Jerry Chih-Yuan Yang, Edmund M. C...

claim paper

Read More »

click to vote

EWCBR
2006
Springer

103views Automated Reasoning» more EWCBR 2006»

Decision Diagrams: Fast and Flexible Support for Case Retrieval and Recommendation

13 years 11 months ago

Download home.cc.gatech.edu

Abstract. We show how case bases can be compiled into Decision Diagrams, which represent the cases with reduced redundancy. Numerous computations can be performed efficiently on th...

Ross Nicholson, Derek G. Bridge, Nic Wilson

claim paper

Read More »

click to vote

CMSB
2009
Springer

114views Applied Computing» more CMSB 2009»

CSL Model Checking of Biochemical Networks with Interval Decision Diagrams

14 years 2 months ago

Download www-dssz.informatik.tu-cottbus.de

Martin Schwarick, Monika Heiner

claim paper

Read More »

click to vote

DAC
2011
ACM

153views Computer Architecture» more DAC 2011»

Implicit permutation enumeration networks and binary decision diagrams reordering

12 years 7 months ago

Download www.stanford.edu

Stergios Stergiou

claim paper

Read More »

click to vote

CMSB
2007
Springer

117views Applied Computing» more CMSB 2007»

Decision Diagrams for the Representation and Analysis of Logical Models of Genetic Networks

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers