15636 search results - page 433 / 3128 » Modelling by supersaturated designs |
153
click to vote
DATE
2007
IEEE
16 years 2 months ago
2007
IEEE
Formal verification is an important issue in circuit and system design. In this context, Bounded Model Checking (BMC) is one of the most successful techniques. But even if all sp...
223
click to vote
CODES
2006
IEEE
16 years 1 months ago
2006
IEEE
Process variability has a detrimental impact on the performance of memories and other system components, which can lead to parametric yield loss at the system level due to timing ...
195
click to vote
HICSS
2005
IEEE
16 years 1 months ago
2005
IEEE
Our research seeks to understand how to extend established organization theory and emerging knowledgeflow theory to inform the design of organizations with discontinuous participa...
222
click to vote
TRANSCI
2010
15 years 6 months ago
2010
To design a transportation sensor network, the decision-maker needs to determine what sensor investments should be made, as well as when, how, where and with what technologies. Th...
197
click to vote
VLSID
2002
IEEE
16 years 8 months ago
2002
IEEE
The development of application specific instruction set processors comprises several design phases: architecture exploration, software tools design, system verification and design...