Sciweavers

7225 search results - page 288 / 1445
» On the Computational Power of Biochemistry
Sort
View
LICS
2007
IEEE
16 years 1 months ago
Relational Parametricity for Computational Effects
According to Strachey, a polymorphic program is parametric if it applies a uniform algorithm independently of the type instantiations at which it is applied. The notion of relatio...
Rasmus Ejlers Møgelberg, Alex Simpson
MOBIQUITOUS
2007
IEEE
16 years 1 months ago
Design and Evaluation of a Hybrid Physical Space Service for Pervasive Computing Applications
Abstract— In this paper we present the design and implementation of a space service that gives pervasive computing applications both a hierarchical and coordinate-based view of p...
Nancy Miller, Peter Steenkiste
EGH
2007
Springer
16 years 26 days ago
Scan primitives for GPU computing
The scan primitives are powerful, general-purpose data-parallel primitives that are building blocks for a broad range of applications. We describe GPU implementations of these pri...
Shubhabrata Sengupta, Mark Harris, Yao Zhang, John...
ITCC
2005
IEEE
16 years 8 days ago
Computing Molecular Potential Energy Surface with DIET
New developments in the field of theoretical chemistry require the computation of numerous Molecular Potential Energy Surfaces (PESs) to generate adequate quantum force field pa...
Emmanuel Jeannot, Gerald Monard
GPCE
2003
Springer
15 years 12 months ago
ANEMIC: Automatic Interface Enabler for Model Integrated Computing
A domain-specific language provides domain experts with a abstraction for creating computer programs. As more and more domains embrace computers, programmers are tapping into this...
Steven Nordstrom, Shweta Shetty, Kumar Gaurav Chho...