Sciweavers

2853 search results - page 448 / 571
» On Coherence in Computer Algebra
Sort
View
CASC
2009
Springer
119views Mathematics» more  CASC 2009»
15 years 4 months ago
A Symbolic Framework for Operations on Linear Boundary Problems
Abstract. We describe a symbolic framework for treating linear boundary problems with a generic implementation in the Theorema system. For ordinary differential equations, the ope...
Markus Rosenkranz, Georg Regensburger, Loredana Te...
IPPS
2007
IEEE
15 years 4 months ago
Decomposing Partial Order Execution Graphs to Improve Message Race Detection
In message-passing parallel applications, messages are not delivered in a strict order. In most applications, the computation results and the set of messages produced during the e...
Basile Schaeli, Sebastian Gerlach, Roger D. Hersch
IEEECGIV
2006
IEEE
15 years 4 months ago
3D-Visualization Techniques, Including Samples and Applications
df.abstract.pdf Type Attachment Accessed Fri 10 Apr 2009 02:51:56 PM COT //www.eg.org/EG/DL/Conf/EG2006/short/005-008.pdf.abstract.pdf Date Added Fri 10 Apr 2009 02:51:5...
Walter Schuhr, Erich Kanngieser
SPAA
2006
ACM
15 years 3 months ago
Towards automatic parallelization of tree reductions in dynamic programming
Tree contraction algorithms, whose idea was first proposed by Miller and Reif, are important parallel algorithms to implement efficient parallel programs manipulating trees. Desp...
Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
APWEB
2003
Springer
15 years 3 months ago
A Framework for Decentralized Ranking in Web Information Retrieval
Search engines are among the most important applications or services on the web. Most existing successful search engines use global ranking algorithms to generate the ranking of do...
Karl Aberer, Jie Wu