Sciweavers

4820 search results - page 262 / 964
» Implementing Signatures for C
Sort
View
110
Voted
JSC
2006
72views more  JSC 2006»
15 years 3 months ago
Algebraic solutions of holomorphic foliations: An algorithmic approach
We present two algorithms that can be used to check whether a given holomorphic foliation of the projective plane has an algebraic solution, and discuss the performance of their im...
S. C. Coutinho, L. Menasché Schechter
101
Voted
DM
2000
76views more  DM 2000»
15 years 3 months ago
Applications of integer relation algorithms
Let a be a vector of real numbers. By an integer relation for a we mean a non-zero integer vector c such that caT = 0. We discuss the algorithms for nding such integer relations f...
Jonathan M. Borwein, Petr Lisonek
128
Voted
CONCURRENCY
1998
139views more  CONCURRENCY 1998»
15 years 3 months ago
Applications experience in Jade
This paper presents our experience developing applications in Jade, a portable, implicitly parallel programming language designed for exploiting task-level concurrency. Jade progr...
Martin C. Rinard
137
Voted
TC
1998
15 years 3 months ago
Design Verification of the S3.mp Cache-Coherent Shared-Memory System
—This paper describes the methods used to formulate and validate the memory subsystem of the cache-coherent Sun Scalable emory MultiProcessor (S3.mp) at three levels of abstracti...
Fong Pong, Michael C. Browne, Gunes Aybay, Andreas...
137
Voted
SCFBM
2008
129views more  SCFBM 2008»
15 years 3 months ago
Faunus: An object oriented framework for molecular simulation
Background: We present a C++ class library for Monte Carlo simulation of molecular systems, including proteins in solution. The design is generic and highly modular, enabling mult...
Mikael Lund, Martin Trulsson, Björn Persson