Sciweavers

4325 search results - page 118 / 865
» Incremental computation with names
Sort
View
VLSID
2007
IEEE
91views VLSI» more  VLSID 2007»
16 years 6 months ago
Reusing Learned Information in SAT-based ATPG
The robustness of engines for ATPG has to be improved to cope with the growing size of circuits. Recently, SAT-based ATPG approaches have been shown to be very robust even on larg...
Görschwin Fey, Rolf Drechsler, Tim Warode
ACMDIS
2006
ACM
16 years 11 days ago
Wikifying your interface: facilitating community-based interface translation
We explore the application of a wiki-based technology and style of interaction to enabling the incremental translation of a collaborative application into a number of different la...
M. Cameron Jones, Dinesh Rathi, Michael B. Twidale
IAT
2009
IEEE
15 years 10 months ago
Learning in a Fixed or Evolving Network of Agents
This paper investigates incremental multiagent learning in static or evolving structured networks. Learning examples are incrementally distributed among the agents, and the object...
Gauvain Bourgne, Amal El Fallah-Seghrouchni, Henry...
ICPADS
2010
IEEE
15 years 4 months ago
Hybrid Checkpointing for MPI Jobs in HPC Environments
As the core count in high-performance computing systems keeps increasing, faults are becoming common place. Checkpointing addresses such faults but captures full process images ev...
Chao Wang, Frank Mueller, Christian Engelmann, Ste...
ECCV
2010
Springer
15 years 9 months ago
A Novel Parameter Estimation Algorithm for the Multivariate t-Distribution and Its Application to Computer
Abstract. We present a novel algorithm for approximating the parameters of a multivariate t-distribution. At the expense of a slightly decreased accuracy in the estimates, the prop...