Sciweavers

3454 search results - page 406 / 691
» Modern computer algebra
Sort
View
CASC
2009
Springer
119views Mathematics» more  CASC 2009»
16 years 22 days 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
16 years 14 days 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
16 years 6 days 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
16 years 3 days 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 11 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