Sciweavers

663 search results - page 108 / 133
» Synthesis of Self-Testable Controllers
Sort
View
DAC
1996
ACM
15 years 10 months ago
Delay Minimal Decomposition of Multiplexers in Technology Mapping
Technology mapping requires the unmapped logic network to be represented in terms of base functions, usually two-input NORs and inverters. Technology decomposition is the step tha...
Shashidhar Thakur, D. F. Wong, Shankar Krishnamoor...
RT
1997
Springer
15 years 10 months ago
A Geometry Dependent Texture Generation Framework for Simulating Surface Imperfections
: To model surface imperfections and weathering, we proposea two-step texture generation framework in between manual texture synthesis and automatic physical simulation. Although t...
Tien-Tsin Wong, Wai-Yin Ng, Pheng-Ann Heng
VLSID
2010
IEEE
155views VLSI» more  VLSID 2010»
15 years 9 months ago
Digital Microfluidic Biochips: A Vision for Functional Diversity and More than Moore
Abstract—Microfluidics-based biochips are revolutionizing highthroughput sequencing, parallel immunoassays, clinical diagnostics, and drug discovery. These devices enable the pre...
Krishnendu Chakrabarty
ATVA
2006
Springer
160views Hardware» more  ATVA 2006»
15 years 9 months ago
Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols
Ping-pong protocols with recursive definitions of agents, but without any active intruder, are a Turing powerful model. We show that under the environment sensitive semantics (i.e....
Giorgio Delzanno, Javier Esparza, Jirí Srba
ICPR
2010
IEEE
15 years 8 months ago
A Compound MRF Texture Model
—This paper describes a novel compound Markov random field model capable of realistic modelling of multispectral bidirectional texture function, which is currently the most adva...
Michael Haindl, Vojtech Havlicek