Improved computational methods and lazy evaluation of the Ordered Ternary Decision Diagram

Proceedings of ASP-DAC 95/CHDL 95/VLSI 95 with EDA Technofair ASPDAC-95 ◽

10.1109/aspdac.1995.486249 ◽

2002 ◽

Author(s):

P. Lindgren

Keyword(s):

Computational Methods ◽

Lazy Evaluation ◽

Ternary Decision Diagram

Download Full-text

Improved computational methods and lazy evaluation of the Ordered Ternary Decision Diagram

Proceedings of the 1995 conference on Asia Pacific design automation (CD-ROM) - ASP-DAC '95 ◽

10.1145/224818.224927 ◽

1995 ◽

Author(s):

Per Lindgren

Keyword(s):

Computational Methods ◽

Lazy Evaluation ◽

Ternary Decision Diagram

Download Full-text

Advances in Adaptive Computational Methods in Mechanics

10.1016/s0922-5382(98)x8001-3 ◽

1998 ◽

Keyword(s):

Computational Methods

Download Full-text

Special Volume: Computational Methods for the Atmosphere and the Oceans

10.1016/s1570-8659(08)x0002-x ◽

2009 ◽

Keyword(s):

Computational Methods ◽

Download Full-text

Computational Methods for Physics

10.1017/cbo9781139525398 ◽

2009 ◽

Author(s):

Joel Franklin

Keyword(s):

Computational Methods

Download Full-text

Computational Methods in Optimization: A Unified Approach

10.1016/s0076-5392(08)x6174-0 ◽

1971 ◽

Keyword(s):

Computational Methods ◽

Unified Approach

Download Full-text

Computational Methods for Optimizing Distributed Systems

10.1016/s0076-5392(08)x6160-0 ◽

1984 ◽

Keyword(s):

Distributed Systems ◽

Computational Methods

Download Full-text

Computational Methods in Water Resources: Volume 1

10.1016/s0167-5648(04)x8030-8 ◽

2004 ◽

Keyword(s):

Water Resources ◽

Computational Methods

Download Full-text

Use of liquid chromatography and theoretical computational methods to compare the lipophilicity of selected cortisone derivatives

JPC - Journal of Planar Chromatography - Modern TLC ◽

10.1556/jpc.19.2006.6.5 ◽

2006 ◽

Vol 19 (112) ◽

pp. 432-437 ◽

Author(s):

Alina Pyka ◽

Magdalena Babuśka ◽

Józef Śliwiok

Keyword(s):

Liquid Chromatography ◽

Computational Methods

Download Full-text

Investigation of Processes in Melting Accumulators with a Heat-Conducting Packing and Development of Computational Methods for Their Optimization

Heat Transfer Research ◽

10.1615/heattransres.v37.i2.70 ◽

2006 ◽

Vol 37 (2) ◽

pp. 165-174

Author(s):

E. A. Lesyuk

Keyword(s):

Computational Methods ◽

Heat Conducting

Download Full-text

Computational methods for radiative transfer in disperse systems

THERMOPEDIA ◽

10.1615/thermopedia.000079 ◽

2008 ◽

Author(s):

Leonid A. Dombrovsky

Keyword(s):

Radiative Transfer ◽

Computational Methods ◽

Disperse Systems

Download Full-text