Sciweavers

6111 search results - page 119 / 1223

» Time, Hardware, and Uniformity

175

ATVA
2004
Springer

67views Hardware» more ATVA 2004»

Verification of Analog and Mixed-Signal Circuits Using Timed Hybrid Petri Nets

16 years 1 months ago

Verification of Analog and Mixed-Signal Circuits Using Timed Hybrid Petri Nets

Download www.async.ece.utah.edu

Scott Little, David Walter, Nicholas Seegmiller, C...

claim paper

Read More »

152

DFT
2003
IEEE

99views VLSI» more DFT 2003»

Quadruple Time Redundancy Adders

16 years 27 days ago

Quadruple Time Redundancy Adders

Download www.cerc.utexas.edu

Whitney J. Townsend, Jacob A. Abraham, Earl E. Swa...

claim paper

Read More »

108

ISCAS
2003
IEEE

90views Hardware» more ISCAS 2003»

Joint time delay and pitch estimation for speaker localization

16 years 27 days ago

Joint time delay and pitch estimation for speaker localization

Download www.ee.cityu.edu.hk

L. Y. Ngan, Y. Wu, H. C. So, P. C. Ching, S. W. Le...

claim paper

Read More »

134

ASPDAC
2009
ACM

120views Hardware» more ASPDAC 2009»

Path selection for monitoring unexpected systematic timing effects

16 years 9 days ago

Path selection for monitoring unexpected systematic timing effects

Download www.aspdac.com

Nicholas Callegari, Pouria Bastani, Li-C. Wang, Sr...

claim paper

Read More »

217

PLDI
2011
ACM

236views Programming Languages» more PLDI 2011»

Caisson: a hardware description language for secure information flow

14 years 10 months ago

Caisson: a hardware description language for secure information flow

Download www.cs.ucsb.edu

Information ﬂow is an important security property that must be incorporated from the ground up, including at hardware design time, to provide a formal basis for a system’s roo...

Xun Li 0001, Mohit Tiwari, Jason Oberg, Vineeth Ka...

claim paper

Read More »

« Prev « First page 119 / 1223 Last » Next »