Sciweavers

570 search results - page 17 / 114
» SGNET: Implementation insights
Sort
View
FPGA
2006
ACM
93views FPGA» more  FPGA 2006»
14 years 4 days ago
Measuring the gap between FPGAs and ASICs
This paper presents experimental measurements of the differences between a 90nm CMOS FPGA and 90nm CMOS Standard Cell ASICs in terms of logic density, circuit speed and power cons...
Ian Kuon, Jonathan Rose
ASM
2010
ASM
13 years 11 months ago
A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking
Symmetry reduction is a model checking technique that can help alleviate the problem of state space explosion, by preventing redundant state space exploration. In previous work, we...
Edd Turner, Michael J. Butler, Michael Leuschel
ICPR
2010
IEEE
13 years 11 months ago
Underwater Mine Classification with Imperfect Labels
A new algorithm for performing classification with imperfectly labeled data is presented. The proposed approach is motivated by the insight that the average prediction of a group ...
David Williams
CHI
2009
ACM
13 years 11 months ago
Connecting the dots with related notes
During visual analysis, users must often connect insights discovered at various points of time to understand implicit relations within their analysis. This process is often called...
Yedendra Babu Shrinivasan, David Gotz
WSC
2007
13 years 10 months ago
An initial simulation model for aiding policy analysis in urban insurgencies
This paper aims to demonstrate the potential for using the system dynamics computer simulation methodology to gain insight into the evolution of insurgencies. In particular, it ex...
Edward G. Anderson Jr.