2853 search results - page 269 / 571 » On Coherence in Computer Algebra |
159
click to vote
LICS
1994
IEEE
15 years 9 months ago
1994
IEEE
We develop a model for timed, reactive computation by extending the asynchronous, untimed concurrent constraint programming model in a simple and uniform way. In the spirit of pro...
132
Voted
STACS
2010
Springer
15 years 8 months ago
2010
Springer
We completely characterise the computational complexity of the list homomorphism problem for graphs in combinatorial and algebraic terms: for every graph H the problem is either N...
159
click to vote
CG
2004
Springer
15 years 4 months ago
2004
Springer
In this paper, we present a complete computational pipeline for extracting a compact shape descriptor for curve point cloud data. Our shape descriptor, called a barcode, is based ...
148
click to vote
SPAA
2010
ACM
15 years 9 months ago
2010
ACM
TL2 and similar STM algorithms deliver high scalability based on write-locking and invisible readers. In fact, no modern STM design locks to read along its common execution path b...
164
click to vote
IEEEPACT
1998
IEEE
15 years 9 months ago
1998
IEEE
Software fine-grain distributed shared memory (FGDSM) provides a simplified shared-memory programming interface with minimal or no hardware support. Originally software FGDSMs tar...