2860 search results - page 79 / 572 » The Greenfoot Programming Environment |
180
click to vote
PLDI
1997
ACM
15 years 10 months ago
1997
ACM
A major research goal for compilers and environments is the automatic derivation of tools from formal specifications. However, the formal model of the language is often inadequat...
204
click to vote
POPL
2012
ACM
14 years 1 months ago
2012
ACM
We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by refining the type system of ML with a rest...
153
click to vote
EUROGP
2007
Springer
16 years 16 days ago
2007
Springer
In this paper we present a method for creating scheduling heuristics for parallel proportional machine scheduling environment and arbitrary performance criteria. Genetic programmin...
173
click to vote
PVM
1997
Springer
15 years 10 months ago
1997
Springer
We present Ensemble, a message-passing implementation methodology, applied to PVM. Ensemble overcomes problems and complexities in developing applications in messagepassing enviro...
189
click to vote
WINE
2010
Springer
15 years 4 months ago
2010
Springer
Online auctions in which items are sold in an online fashion with little knowledge about future bids are common in the internet environment. We study here a problem in which an auc...