Sciweavers

2477 search results - page 77 / 496
» Parallelizing Functional Programs by Generalization
Sort
View
COR
2007
97views more  COR 2007»
14 years 9 months ago
Two-stage general block patterns for the two-dimensional cutting problem
This paper presents an algorithm for the unconstrained two-dimensional cutting problem of rectangular pieces. It proposes the two-stage general block pattern that can be cut into ...
Yaodong Cui, Xianquan Zhang
PLDI
2005
ACM
15 years 3 months ago
Checking type safety of foreign function calls
We present a multi-lingual type inference system for checking type safety across a foreign function interface. The goal of our system is to prevent foreign function calls from int...
Michael Furr, Jeffrey S. Foster
JUCS
2006
92views more  JUCS 2006»
14 years 9 months ago
Program Slicing by Calculation
: Program slicing is a well known family of techniques used to identify code fragments which depend on or are depended upon specific program entities. They are particularly useful ...
Nuno F. Rodrigues, Luís Soares Barbosa
HCI
2009
14 years 7 months ago
YVision: A General Purpose Software Composition Framework
Abstract. Expectations for the industry of Human Computer Interaction are much higher today than they were ten or even five years ago. Innovative solutions to sense and gather info...
Antão Almada, Gonçalo Lopes, Andr&ea...
HICSS
1995
IEEE
105views Biometrics» more  HICSS 1995»
15 years 1 months ago
A parallel algorithm for calculating the potential energy in DNA
The Dreiding force field is a seven-term equation that describes the potential energy in a molecule as a function of the relative positions of bonded atoms and electrostatic inte...
John S. Conery, Warner L. Peticolas, Thomas Rush I...