1993 search results - page 262 / 399 » Designing and Building Parallel Program |
149
click to vote
CEC
2011
IEEE
14 years 2 months ago
2011
IEEE
—Constrained Genetic Programming (CGP) is a method of searching the Genetic Programming search space non-uniformly, giving preferences to certain subspaces according to some heur...
110
click to vote
HLPPP
1991
15 years 6 months ago
1991
Gamma was originally proposed in 1986 as a formalism for the de nition of programs without arti cial sequentiality. The basic idea underlying the formalism is to describe computati...
134
click to vote
CHI
2005
ACM
16 years 2 months ago
2005
ACM
EyeDraw is a software program that, when run on a computer with an eye tracking device, enables children with severe motor disabilities to draw pictures by just moving their eyes....
106
click to vote
HASKELL
2005
ACM
15 years 8 months ago
2005
ACM
We describe the design and implementation of a full-featured Haskell development environment, based on Microsoft’s extensible Visual Studio environment. Visual Haskell provides ...
149
click to vote
FM
2009
Springer
15 years 9 months ago
2009
Springer
Abstract: There is growing need to develop formal verification tools for Message Passing Interface (MPI) programs, to eliminate bugs such as deadlocks and local assertion violatio...