1901 search results - page 236 / 381 » Predicting Program Properties from |
210
click to vote
GLOBAL
2003
Springer
15 years 8 months ago
2003
Springer
Klaim (Kernel Language for Agents Interaction and Mobility) is an experimental language specifically designed to program distributed systems consisting of several mobile component...
144
click to vote
SIGMOD
2010
ACM
15 years 8 months ago
2010
ACM
MapReduce is a popular framework for data-intensive distributed computing of batch jobs. To simplify fault tolerance, the output of each MapReduce task and job is materialized to ...
103
click to vote
CHARME
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. We survey the work done so far in the FLaSH project (Functional Languages for Synthesising Hardware) in which the core ideas are (i) using a functional language SAFL to d...
116
click to vote
ISCAS
1994
IEEE
15 years 7 months ago
1994
IEEE
Earlier research has shown that the problem of optimal weighted median filtering with structural constraints can be formulated as a nonconvex nonlinear programming problem in gene...
ICALP
1990
Springer
15 years 7 months ago
1990
Springer
A system of hierarchical, fully recursive types in a truly imperative language allows program fragments written for small types to be reused for all larger types. To exploit this ...