74 search results - page 9 / 15 » Jump from Parallel to Sequential Proofs: Multiplicatives |
SPAA
2009
ACM
14 years 8 months ago
2009
ACM
Thread-level speculation (TLS) is a technique that allows parts of a sequential program to be executed in parallel. TLS ensures the parallel program's behaviour remains true ...
VIS
2009
IEEE
14 years 8 months ago
2009
IEEE
Abstract-- We present an interactive framework for exploring space-time relationships in databases of experimentally collected highresolution biomechanical data. These data describ...
ECCV
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Multiple-instance learning (MIL) allows for training classifiers from ambiguously labeled data. In computer vision, this learning paradigm has been recently used in many ...
ICPPW
2009
IEEE
14 years 2 months ago
2009
IEEE
—In this paper, we investigate the differences and tradeoffs imposed by two parallel Haskell dialects running on multicore machines. GpH and Eden are both constructed using the h...
ICS
2001
Tsinghua U.
14 years 1 days ago
2001
Tsinghua U.
Recent proposals for Chip Multiprocessors (CMPs) advocate speculative, or implicit, threading in which the hardware employs prediction to peel off instruction sequences (i.e., imp...