2106 search results - page 83 / 422 » Specifying C concepts |
191
click to vote
ACRI
2004
Springer
15 years 10 months ago
2004
Springer
Cellular automata (CA) are highly parallel and discrete dynamical systems, whose behavior is completely specified in terms of a local relation. They were successfully applied for s...
143
click to vote
GECCO
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This proof of concept study examines the possibility of specifying the construction of programs using a Particle Swarm algorithm, and represents a new form of automatic p...
120
click to vote
ERLANG
2003
ACM
15 years 10 months ago
2003
ACM
This paper presents a soft-typing system for the programming language Erlang. The system is based on two concepts; a (forward) data flow analysis that determines upper approximat...
148
click to vote
HUC
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Many location-aware applications rely on data from fine-grained location systems. During deployment such systems require a survey, specifying the locations of their envi...
112
click to vote
EUROPAR
2009
Springer
15 years 9 months ago
2009
Springer
We demonstrate that the performance of commodity parallel systems significantly depends on low-level details, such as storage layout and iteration space mapping, which motivates t...