Combinational logic optimization for low power using implication-based transformations /

An object-based logic programming language /
by: Arimilli, Venkataramana Rao, 1960-
Published: (1986)

Operation transformation based concurrency control in group editors /
by: Li, Rui, 1973-
Published: (2006)

Logic-based methods for optimization : combining optimization and constraint satisfaction /
by: Hooker, John, 1949-
Published: (2000)

Logic-based methods for optimization : combining optimization and constraint satisfaction /
by: Hooker, John, 1949-
Published: (2000)

Optimizations enabling transformations and code generation for th HP V class /
by: Carvallo de Ochoa, Julio Antonio
Published: (2000)

Simulation and optimization of cogeneration power plant operation using an Energy Optimization Program /
by: Zhou, Jijun, 1973-
Published: (2001)

Software based low bit rate speech codec using the Discrete Wavelet Transform /
by: Kadirvel, Sunitha
Published: (1997)

FPGA based image processing with R-fuctions and the curvelet transform /
by: Wisinger, John L., 1978-
Published: (2003)

Generation of Test Sequences for programmable logic array-based Finite State Machines /
by: Sathyanarayana, Murali Kadaba
Published: (1994)

Logic Synthesis for Low Power VLSI Designs /
by: Iman, Sasan
Published: (1998)

Logic Synthesis and Optimization /
by: Sasao, Tsutomu
Published: (1993)

Nondeterminism and optimization /
by: Cai, Liming
Published: (1994)

Optimized Jacobian Matrix Solution of a generalized electric power network.
by: Moore, Jimmie Archer
Published: (1970)

Timing analysis of logic=level digital circuits using uncertainty intervals /
by: Bell, Joshua Asher
Published: (1996)

Algorithms for VLSI circuit optimization and GPU-based parallelization /
by: Liu, Yifang
Published: (2010)

Fragment-based protein active site analysis using Markov Random Field combinations of stereochemical feature-based classifications /
by: Pai Karkala, Reetal
Published: (2010)

Performance and power optimization in VLSI physical design /
by: Jiang, Zhanyuan, 1982-
Published: (2008)

Logic and transistor circuit verification using regression testing and hierarchical recursive learning /
by: Shao, Li, 1964-
Published: (1996)

Modeling of metabolic systems using fuzzy logic and supervisory simplex genetic algorithm /
by: Lee, Bogju
Published: (1996)

Evaluation of Consistent Logical Checkpointing /
by: Kaul, Surbhi
Published: (1995)

Computerized procedure for the combination of transportation networks with detain reduction.
by: Pearson, Sammy Wray
Published: (1970)

A parallel textured algorithm for optimal power flow /
by: Hsieh, Shih-Chieh, 1965-
Published: (1992)

Distributed Linear Combination Estimators for Localization Based on Received Signal Strength /
by: Chen, Wei-Yu
Published: (2014)

Fuel-optimal Earth-Mars trajectories using low-thrust exhaust-modulated plasma propulsion /
by: Nah, Ren Sang, 1973-
Published: (1999)

Analysis and applications of a combined nonlinear optimization and simulation technique.
by: Runkles, Richard Ralph
Published: (1972)

Haptic feedback for virtual or mixed reality environments using a combination of passive haptics and active force feedback /
by: Borst, Christoph Walter
Published: (2002)

Optimal Model-Based Approaches for Predictive Inference in Biology /
by: Knight, Jason Matthew
Published: (2015)

Reliable low latency I/O in torus-based interconnection networks /
by: Azeez, Babatunde, 1978-
Published: (2007)

On combining duty-cycling with network coding in flood-based sensor networks /
by: Chandanala, Roja Ramani
Published: (2012)

Logic synthesis and optimization /
Published: (1993)

Computer-aided biological shape comparison using the medial axis transform /
by: Hutson, Rodney Kent
Published: (1987)

Time-sharing analysis combining processor scheduling and memory resources.
by: McCarthy, Edmond Robert
Published: (1974)

Application of functional learning to ATPG and design verification for combinational circuits /
by: Mukherjee, Rajarshim, 1969-
Published: (1994)

Fuzzy logic based operated device identification in power distribution systems /
by: Manivannan, Karthick Muthu
Published: (2002)

Optimization techniques for probabilistic roadmaps /
by: Dale, Lucia Kathryn
Published: (2000)

Real time communication using FDDI based networks /
by: Agrawal, Gopal
Published: (1999)