Sciweavers

663 search results - page 108 / 133
» Synthesis of Self-Testable Controllers
Sort
View
DAC
1996
ACM
15 years 6 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 6 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 5 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 5 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 4 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