3113 search results - page 94 / 623 » Efficiently Generating Efficient Generating Extensions in Pr... |
122
Voted
DAC
2003
ACM
16 years 4 months ago
2003
ACM
Functional verification is widely acknowledged as the bottleneck in the hardware design cycle. This paper addresses one of the main challenges of simulation based verification (or...
133
Voted
ICCD
2006
IEEE
15 years 9 months ago
2006
IEEE
—This paper introduces a new class of sequential circuits called acyclically testable sequential circuits which is wider than the class of acyclic sequential circuits but whose t...
126
Voted
3DGIS
2006
Springer
15 years 9 months ago
2006
Springer
Abstract Three-dimensional (3D) building model is one of the most important components in a cyber city implementation and application. This study developed an effective and highly ...
129
click to vote
ISCC
2005
IEEE
15 years 9 months ago
2005
IEEE
—A framework for designing a family of novel fast CRC generation algorithms is presented. Our algorithms can ideally read arbitrarily large amounts of data at a time, while optim...
130
Voted
DSOM
2004
Springer
15 years 9 months ago
2004
Springer
In this paper, we describe an approach for automatically generating configurations for complex applications. Automated generation of system co nfigurations is required to allow lar...