51 search results - page 7 / 11 » Supporting Partial Ordering with the Parallel Iterator |
ICS
2005
Tsinghua U.
14 years 1 months ago
2005
Tsinghua U.
Chip Multiprocessors (CMPs) are flexible, high-frequency platforms on which to support Thread-Level Speculation (TLS). However, for TLS to deliver on its promise, CMPs must explo...
ISNN
2005
Springer
14 years 29 days ago
2005
Springer
Recently, a mathematical proof is obtained in (Liu, Chiu, Xu, 2004) on the so called one-bit-matching conjecture that all the sources can be separated as long as there is an one-to...
EMSOFT
2004
Springer
14 years 26 days ago
2004
Springer
We present an extension of a mathematical framework proposed by the authors to deal with the composition of heterogeneous reactive systems. Our extended framework encompasses dive...
HPDC
1996
IEEE
13 years 11 months ago
1996
IEEE
A collaborative multimedia environment allows users to work remotely on common projects by sharing applications (e.g., CAD tools, text editors, white boards) and simultaneously co...
SAC
2003
ACM
14 years 22 days ago
2003
ACM
Tracking and especially comparing psychotherapeutic processes is a complex task involving a large number of individual and complexly related parameters. Therefore, descriptive and...