1458 search results - page 103 / 292 » Monads for incremental computing |
119
click to vote
SPAA
2010
ACM
15 years 1 months ago
2010
ACM
We describe parallel implementations of LU factorization with pivoting for multicore architectures. Implementations that differ in two different dimensions are discussed: (1) usin...
104
Voted
VLSID
2007
IEEE
16 years 3 months ago
2007
IEEE
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...
104
click to vote
ACMDIS
2006
ACM
15 years 9 months ago
2006
ACM
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...
108
click to vote
IAT
2009
IEEE
15 years 7 months ago
2009
IEEE
This paper investigates incremental multiagent learning in static or evolving structured networks. Learning examples are incrementally distributed among the agents, and the object...
142
click to vote
ICPADS
2010
IEEE
15 years 1 months ago
2010
IEEE
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...