Sciweavers

3007 search results - page 195 / 602
» Designing for collective remembering
Sort
View
GLVLSI
2009
IEEE
122views VLSI» more  GLVLSI 2009»
16 years 10 days ago
Enhancing SAT-based sequential depth computation by pruning search space
The sequential depth determines the completeness of bounded model checking in design verification. Recently, a SATbased method is proposed to compute the sequential depth of a de...
Yung-Chih Chen, Chun-Yao Wang
NOCS
2007
IEEE
15 years 12 months ago
NoC-Based FPGA: Architecture and Routing
We present a novel network-on-chip-based architecture for future programmable chips (FPGAs). A key challenge for FPGA design is supporting numerous highly variable design instance...
Roman Gindin, Israel Cidon, Idit Keidar
GECCO
2007
Springer
174views Optimization» more  GECCO 2007»
15 years 11 months ago
Heuristic speciation for evolving neural network ensemble
Speciation is an important concept in evolutionary computation. It refers to an enhancements of evolutionary algorithms to generate a set of diverse solutions. The concept is stud...
Shin Ando
WIKIS
2006
ACM
15 years 11 months ago
PoliticWiki: exploring communal politics
This paper describes the methodology and results of an attempt to use a wiki web site for political collaboration. Recruited through gateway contacts for online political organiza...
Kevin Makice
168
Voted
DMS
2008
161views Multimedia» more  DMS 2008»
15 years 7 months ago
A Method to Diagnose Self-weaknesses for Software Development Organizations
A root cause is a source of a defect such that if it is removed, the defect is subsequently decreased or removed. By analyzing the root causes of defects of our software projects,...
Chi-Lu Yang, Yeim-Kuan Chang, Chih-Ping Chu