1901 search results - page 284 / 381 » Predicting Program Properties from |
TOOLS
2000
IEEE
15 years 3 months ago
2000
IEEE
The standard CORBA operation invocation model supports synchronous, one-way, and deferred synchronous interactions between clients and servers. However, this model is too restrict...
DLS
2007
15 years 3 months ago
2007
The analogy between types and contracts raises the question of how many features of static type systems can be expressed as dynamic contracts. An important feature missing in prio...
107
Voted
EUROGP
2007
Springer
15 years 3 months ago
2007
Springer
The conversion and extension of the Incremental Pareto-Coevolution Archive algorithm (IPCA) into the domain of Genetic Programming classification is presented. In particular, the ...
ESOP
2009
Springer
15 years 3 months ago
2009
Springer
Ownership types characterize the topology of objects in the heap, through a characterization of the context to which an object belongs. They have been used to support reasoning, me...
EUROPAR
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. Automatic performance analysis of parallel programs can be accomplished by scanning event traces of program execution for patterns representing inefficient behavior. The ...