The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for aldor with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1999-2023 (14)
Publication types (Num. hits)
inproceedings(13) phdthesis(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 10 occurrences of 10 keywords

Results
Found 14 publication records. Showing 14 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
135William Naylor, Julian A. Padget From Untyped to Polymorphically Typed Objects in Mathematical Web Services. Search on Bibsonomy MKM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
127Thierry Gautier, Niklaus Mannhart Parallelism in Aldor - The Communication Library Piit for Parallel, Distributed Computation. Search on Bibsonomy Euro-Par The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
92Marc Moreno Maza, Ben Stephenson, Stephen M. Watt, Yuzhen Xie Multiprocessed parallelism support in ALDOR on SMPs and multicores. Search on Bibsonomy PASCO The full citation details ... 2007 DBLP  DOI  BibTeX  RDF aldor, categorical parallelism, dynamic process management, multiprocessor parallelism, shared memory
90Cosmin E. Oancea, Stephen M. Watt Domains and expressions: an interface between two approaches to computer algebra. Search on Bibsonomy ISSAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
78Akpodigha Filatei, Xin Li 0009, Marc Moreno Maza, Éric Schost Implementation techniques for fast polynomial arithmetic in a high-level programming environment. Search on Bibsonomy ISSAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Aldor, polynomials, high-performance, Axiom
73Martin Dunstan Larch/Aldor: a Larch BISL for AXIOM and Aldor. Search on Bibsonomy 2000   RDF
45Cosmin E. Oancea, Stephen M. Watt Parametric polymorphism for software component architectures. Search on Bibsonomy OOPSLA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF antiunification, software component architecture, generics, templates, parametric polymorphism
45Martin Dunstan, Tom Kelsey, Ursula Martin, Steve Linton Formal Methods for Extensions to CAS. Search on Bibsonomy World Congress on Formal Methods The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
36Florian Rabe 0001, Stephen M. Watt Extracting Theory Graphs from Aldor Libraries. Search on Bibsonomy CICM The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
36Laurentiu Dragan, Stephen M. Watt Type Specialization in Aldor. Search on Bibsonomy CASC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
36Erik Poll, Simon J. Thompson Integrating Computer Algebra and Reasoning through the Type System of Aldor. Search on Bibsonomy FroCoS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
23Marc Moreno Maza, Yuzhen Xie Component-level parallelization of triangular decompositions. Search on Bibsonomy PASCO The full citation details ... 2007 DBLP  DOI  BibTeX  RDF component-level, parallelization, triangular decompositions, polynomial system solving
23Songxin Liang, David J. Jeffrey Rule-Based Simplification in Vector-Product Spaces. Search on Bibsonomy Calculemus/MKM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
23Laurentiu Dragan, Stephen M. Watt Performance Analysis of Generics in Scientific Computing. Search on Bibsonomy SYNASC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #14 of 14 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license