1675 search results - page 109 / 335 » A Structured Approach to Parallel Programming: Methodology a... |
166
Voted
FCCM
2008
IEEE
15 years 10 months ago
2008
IEEE
The map-reduce model requires users to express their problem in terms of a map function that processes single records in a stream, and a reduce function that merges all mapped out...
140
Voted
TPHOL
2008
IEEE
15 years 10 months ago
2008
IEEE
We introduce a lightweight approach for reasoning about programs involving imperative data structures using the proof assistant Isabelle/HOL. It is based on shallow embedding of pr...
145
Voted
CONCURRENCY
1998
15 years 3 months ago
1998
Titanium is a language and system for high-performance parallel scientific computing. Titanium uses Java as its base, thereby leveraging the advantages of that language and allow...
170
Voted
ALIFE
1999
15 years 3 months ago
1999
A novel machine language genetic programming system that uses one-dimensional core memories is proposed and simulated. The core is compared to a biochemical reaction space, and in ...
134
Voted
VRML
2000
ACM
15 years 8 months ago
2000
ACM
Modeling is used to build structures that serve as surrogates for other objects. As children, we learn to model at a very young age. An object such as a small toy train teaches us...