Low power and reliability assessment techniques for advanced processor design 

Custom hardware accelerators for boolean satisfiability 

Exploiting structure in the Boolean weighted constraint satisfaction problem: a constraint composite graph-based approach 

Canonical form based Boolean matching and symmetry detection in logic synthesis and *verification 

Nano-engineered devices for optical application, biomedical detection and circuit accelerator 

On scheduling, timeliness and security in large scale distributed computing 

Public & private management: Fundamentally alike or different? 

Designing efficient algorithms and developing suitable software tools to support logic synthesis of superconducting single flux quantum circuits 

How can metrics matter: performance management reforms in the City of Los Angeles 

Photoinitiated dynamics in NO₃ and NO₂ 

Enabling symbolic execution string comparison during code-analysis of malicious binaries 

00001.tif 

Logic synthesis for high performance and low power 

Structure comparison and semantic interpretation of differences 

Part based object detection, segmentation, and tracking by boosting simple shape feature based weak classifiers 

Selection of bridge location over the Merrimack River in southern New Hampshire: a comparison of site suitability assessments 

Multi-level logic synthesis based on function decomposition 

Green facades: development of a taxonomy tool to assist design 

Logic synthesis for low power VLSI designs 

Theoretical aspects of the behavior of digital circuits under random inputs 

Role of task -specific adapted knowledge of response feedback on a computer -based collaborative problem -solving task from the graduate school 

Systematic design of the control path for high performance VLSI microprocessors. 

Internet resource discovery: Topical clustering and visualization using latent semantic indexing. 

A new family of binary pseudorandom sequences having optimal periodic correlation properties and large linear span 

Application of neural nets to coding and communications