Sciweavers

4306 search results - page 310 / 862
» Timed Testing with TorX
Sort
View
ICCD
1996
IEEE
134views Hardware» more  ICCD 1996»
15 years 7 months ago
Pausible Clocking: A First Step Toward Heterogeneous Systems
This paper describes a novel communication scheme, which is guaranteed to be free of synchronization failures, amongst multiple synchronous modules operating independently. In thi...
Kenneth Y. Yun, Ryan P. Donohue
109
Voted
ACSC
2007
IEEE
15 years 7 months ago
Segmentation and Border Identification of Cells in Images of Peripheral Blood Smear Slides
We present an unsupervised blood cell segmentation algorithm for images taken from peripheral blood smear slides. Unlike prior algorithms the method is fast; fully automated; find...
Nicola Ritter, James R. Cooper
ASPDAC
2007
ACM
133views Hardware» more  ASPDAC 2007»
15 years 7 months ago
Modeling Sub-90nm On-Chip Variation Using Monte Carlo Method for DFM
- For sub-90nm technology nodes and below, random fluctuations of within-die physical process properties are also known as random on-chip variation (OCV). It impacts on the VLSI/So...
Jun-Fu Huang, Victor C. Y. Chang, Sally Liu, Kelvi...
CSE
2009
IEEE
15 years 7 months ago
Temporal Issue Trend Identifications in Blogs
Many blog posts deal with current issues, so much attention has been paid to identifying topic trends in blogs. This paper suggests a new metric of selecting topic words. We empiri...
Il-Chul Moon, Young-Min Kim, Hyun-Jong Lee, Alice ...
123
Voted
ASPDAC
2004
ACM
94views Hardware» more  ASPDAC 2004»
15 years 7 months ago
Improving simulation-based verification by means of formal methods
The design of complex systems is largely ruled by the time needed for verification. Even though formal methods can provide higher reliability, in practice often simulation based ve...
Görschwin Fey, Rolf Drechsler