1805 search results - page 123 / 361 » Functional programming with structured graphs |
112
click to vote
PROMAS
2007
Springer
15 years 7 months ago
2007
Springer
Modular programming has the usual benefits associated with structured programming, information hiding and reusability, but also has additional benefits to offer when applied in ...
107
click to vote
ICST
2009
IEEE
15 years 8 months ago
2009
IEEE
Java PathFinder (JPF) is a popular model checker for Java programs. JPF was used to generate object graphs as test inputs for object-oriented programs. Specifically, JPF was used...
134
click to vote
PPOPP
2009
ACM
16 years 1 months ago
2009
ACM
A stream processor executes an application that has been decomposed into a sequence of kernels that operate on streams of data elements. During the execution of a kernel, all stre...
142
click to vote
PKDD
2010
Springer
14 years 11 months ago
2010
Springer
As an alternative to vector representations, a recent trend in image classification suggests to integrate additional structural information in the description of images in order to...
USENIX
1994
15 years 2 months ago
1994
Concert/C is a new language for distributed C programming that extends ANSI C to support distribution and process dynamics. Concert/C provides the ability to create and terminate ...