Proceedings of the second international symposium on Parallel symbolic computation - PASCO '97
Latest Publications

TOTAL DOCUMENTS

24

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By ACM Press

0897919513

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Complexity of the Wu-Ritt decomposition

Proceedings of the second international symposium on Parallel symbolic computation - PASCO '97 ◽

10.1145/266670.266716 ◽

1997 ◽

Author(s):

Ágnes Szántó

Download Full-text

NC2 computation of gcd-free basis and application to parallel algebraic numbers computation

Proceedings of the second international symposium on Parallel symbolic computation - PASCO '97 ◽

10.1145/266670.266682 ◽

1997 ◽

Author(s):

Thierry Gautier ◽

Jean-Louis Roch

Keyword(s):

Algebraic Numbers ◽

Download Full-text

Fast rectangular matrix multiplications and improving parallel matrix computations

Proceedings of the second international symposium on Parallel symbolic computation - PASCO '97 ◽

10.1145/266670.266679 ◽

1997 ◽

Author(s):

Xiaohan Huang ◽

Victor Y. Pan

Keyword(s):

Matrix Computations ◽

Rectangular Matrix

Download Full-text

An evaluation of Penny

Proceedings of the second international symposium on Parallel symbolic computation - PASCO '97 ◽

10.1145/266670.266686 ◽

1997 ◽

Author(s):

Johan Montelius ◽

Seif Haridi

Download Full-text

An overview of the design of Distributed Oz

Proceedings of the second international symposium on Parallel symbolic computation - PASCO '97 ◽

10.1145/266670.266726 ◽

1997 ◽

Author(s):

Seif Haridi ◽

Peter Van Roy ◽

Gert Smolka

Download Full-text

Extended dynamic dependent and-parallelism in ACE

Proceedings of the second international symposium on Parallel symbolic computation - PASCO '97 ◽

10.1145/266670.266691 ◽

1997 ◽

Author(s):

Gopal Gupta ◽

Enrico Pontelli

Keyword(s):

Extended Dynamic

Download Full-text

A parallel implementation of cost-based abductive reasoning

Proceedings of the second international symposium on Parallel symbolic computation - PASCO '97 ◽

10.1145/266670.266699 ◽

1997 ◽

Author(s):

Shohei Kato ◽

Hirohisa Seki ◽

Hidenori Itoh

Keyword(s):

Parallel Implementation ◽

Abductive Reasoning

Download Full-text

CABAL

Proceedings of the second international symposium on Parallel symbolic computation - PASCO '97 ◽

10.1145/266670.266729 ◽

1997 ◽

Author(s):

Arthur Norman ◽

John Fitch

Download Full-text

CALYPSO

Proceedings of the second international symposium on Parallel symbolic computation - PASCO '97 ◽

10.1145/266670.266730 ◽

1997 ◽

Author(s):

Giovanni Cesari

Download Full-text

Distributed partial evaluation

Proceedings of the second international symposium on Parallel symbolic computation - PASCO '97 ◽

10.1145/266670.266695 ◽

1997 ◽

Author(s):

Michael Sperber ◽

Peter Thiemann ◽

Hervert Klaeren

Keyword(s):

Partial Evaluation

Download Full-text