Results 1 - 10 of 510

AFNI: software for analysis and visualization of functional magnetic resonance neuroimages

by Robert W Cox - Computers and Biomedical Research , 1996
"... email rwcoxmcwedu A package of computer programs for analysis and visualization of threedimensional human brain functional magnetic resonance imaging FMRI results is described The software can color overlay neural activation maps onto higher resolution anatomical scans Slices in each cardinal pl ..."
Abstract - Cited by 807 (3 self) - Add to MetaCart
data sets are described Facilities are provided for several types of statistical analyses of multiple D functional data sets The programs are written in ANSI C and Motif to run on Unix workstations

Fast Folding and Comparison of RNA Secondary Structures (The Vienna RNA Package)

by Ivo L. Hofacker, Walter Fontana, Peter F. Stadler, L. Sebastian Bonhoeffer, Manfred Tacker, Peter Schuster
"... Computer codes for computation and comparison of RNA secondary structures, the Vienna RNA package, are presented, that are based on dynamic programming algorithms and aim at predictions of structures with minimum free energies as well as at computations of the equilibrium partition functions and bas ..."
Abstract - Cited by 809 (117 self) - Add to MetaCart
Computer codes for computation and comparison of RNA secondary structures, the Vienna RNA package, are presented, that are based on dynamic programming algorithms and aim at predictions of structures with minimum free energies as well as at computations of the equilibrium partition functions

Ansi

by Revision Of Ansi
"... This interface standard was written to provide the minimal set of requirements to provide for satisfactory transmission between the network and the NT, while conforming, wherever possible, with the I-series of International Telecommunication Union - Telecommunication Standardization Sector (ITU-T) R ..."
Abstract - Add to MetaCart
-T) Recommendations, and while not compromising the principles of evolution expressed therein. Equipment may be implemented with additional functions and procedures.

ADIC: An Extensible Automatic Differentiation Tool for ANSI-C

by Christian Bischof, Lucas Roh, Andrew Mauer-oats , 1997
"... . In scientific computing, we often require the derivatives @f=@x of a function f expressed as a program with respect to some input parameter(s) x, say. Automatic differentiation (AD) techniques augment the program with derivative computation by applying the chain rule of calculus to elementary oper ..."
Abstract - Cited by 94 (13 self) - Add to MetaCart
. In scientific computing, we often require the derivatives @f=@x of a function f expressed as a program with respect to some input parameter(s) x, say. Automatic differentiation (AD) techniques augment the program with derivative computation by applying the chain rule of calculus to elementary

A Retargetable Compiler for ANSI C

by Christopher W. Fraser, David R. Hanson - C. SIGPLAN NOTICES , 1991
"... lcc is a new retargetable compiler for ANSI C. Versions for the VAX, Motorola 68020, SPARC, and MIPS are in production use at Princeton University and at AT&T Bell Laboratories. With a few exceptions, little about lcc is unusual --- it integrates several well engineered, existing techniques - ..."
Abstract - Cited by 69 (8 self) - Add to MetaCart
lcc is a new retargetable compiler for ANSI C. Versions for the VAX, Motorola 68020, SPARC, and MIPS are in production use at Princeton University and at AT&T Bell Laboratories. With a few exceptions, little about lcc is unusual --- it integrates several well engineered, existing techniques

D.: A Design-for-Verification Framework for a Configurable Performance-Critical Communication Interface

by Suleiman Abu Kharmeh, Kerstin Eder, David May - In: Proceedings of the 9 th FORMATS International Conference, LNCS , 2011
"... Abstract. In this paper we present a Design-for-Verification framework for a Configurable Performance-Critical Communication Interface. To manage the inherent complexity of the problem we decomposed the interface into independent parametrisable communication blocks. Tock-CSP was then used to model t ..."
Abstract - Cited by 3 (0 self) - Add to MetaCart
Abstract. In this paper we present a Design-for-Verification framework for a Configurable Performance-Critical Communication Interface. To manage the inherent complexity of the problem we decomposed the interface into independent parametrisable communication blocks. Tock-CSP was then used to model

Opto-Mechanical I/F for ANSYS

by Victor Genberg, Keith Doyle, Gregory Michels , 2004
"... Thermal and structural output from ANSYS is not in a form useful for optical analysis software. Temperatures, displacements and stresses at arbitrarily located FE nodes can not be input directly into optical software. This paper discusses the post-processing steps required to present ANSYS results i ..."
Abstract - Cited by 1 (1 self) - Add to MetaCart
Thermal and structural output from ANSYS is not in a form useful for optical analysis software. Temperatures, displacements and stresses at arbitrarily located FE nodes can not be input directly into optical software. This paper discusses the post-processing steps required to present ANSYS results

- 1- Compiler Optimization for ANSI C

by unknown authors
"... This paper presents a survey of the many opportunities available to the compiler implementor foroptimization of C programs. Details of traditional optimization techniques when applied to C are examined, as well as a number of techniques that are relevant only to these languages. The effect of theANS ..."
Abstract - Add to MetaCart
C standard on compiler optimization is given special emphasis. Many of the optimizations examined, particularly those involving ANSI standard library functions, seem to be relatively new, and the author isnot aware of any C compiler that applies all of the possible optimizations. 1.

Algorithm 887: Cholmod, supernodal sparse cholesky factorization and update/downdate

by Yanqing Chen, Timothy A. Davis, William W. Hager - ACM Transactions on Mathematical Software , 2008
"... CHOLMOD is a set of routines for factorizing sparse symmetric positive definite matrices of the form A or A A T, updating/downdating a sparse Cholesky factorization, solving linear systems, updating/downdating the solution to the triangular system Lx = b, and many other sparse matrix functions for b ..."
Abstract - Cited by 111 (8 self) - Add to MetaCart
CHOLMOD is a set of routines for factorizing sparse symmetric positive definite matrices of the form A or A A T, updating/downdating a sparse Cholesky factorization, solving linear systems, updating/downdating the solution to the triangular system Lx = b, and many other sparse matrix functions

Scheduling and Partitioning ANSI-C Programs onto Multi-FPGA CCM Architectures

by James B. Peterson, R. Brendan O'Connor, Peter M. Athanas , 1996
"... The increasing size and speedofmodern FPGAs allow complex computations, on the order of an average sized program, to beper formed in a small collection of processing elements. It is well documented that the execution of large sections of a program within the "virtual hardware" offered by a ..."
Abstract - Cited by 25 (4 self) - Add to MetaCart
architecture requires scheduling: the mapping of computations onto existing functional units. To take advantage of all available logic, computations may span processing elements, calling for partitioning of a subroutine between one or more FPGAs. In this paper, an architecture-independent design tool
Results 1 - 10 of 510