794 search results - page 102 / 159 » Evaluation of Assertion Support for the Java Programming Lan... |
PPPJ
2009
ACM
14 years 3 months ago
2009
ACM
Dynamic compilers can optimize application code specifically for observed code behavior. Such behavior does not have to be stable across the entire program execution to be bene...
POPL
2011
ACM
12 years 11 months ago
2011
ACM
A number of deterministic parallel programming models with strong safety guarantees are emerging, but similar support for nondeterministic algorithms, such as branch and bound sea...
EUROPAR
2005
Springer
14 years 2 months ago
2005
Springer
This paper describes a novel approach to performance analysis for parallel and distributed systems that is based on soft computing. We introduce the concept of performance score re...
APLAS
2009
ACM
14 years 3 months ago
2009
ACM
Restricting destructive update to values of a distinguished reference type prevents functions from being polymorphic in the mutability of their arguments. This restriction makes it...
ACSAC
2001
IEEE
14 years 15 days ago
2001
IEEE
This document describes experimentation performed as part of the Genoa Technology Integration Experiment (TIE). Achieved in two phases, the overarching assertion of the Genoa TIE ...