345 search results - page 18 / 69 » A Programming Logic for Sequential Java |
104
click to vote
OOPSLA
2007
Springer
15 years 5 months ago
2007
Springer
We apply speculative multithreading to sequential Java programs in software to achieve speedup on existing multiprocessors. A common speculation library supports both Java bytecod...
APSEC
2008
IEEE
15 years 5 months ago
2008
IEEE
Memory usage analysis is an important problem for resource-constrained mobile devices, especially under mission- or safety-critical circumstances. Program codes running on or bein...
ICLP
1997
Springer
15 years 3 months ago
1997
Springer
We introduce novel, sound, complete, and locally optimal evaluation strategies for functional logic programming languages. Our strategies combine, in a non-trivial way, two landma...
135
click to vote
AGP
2010
IEEE
14 years 9 months ago
2010
IEEE
The Italian Logic Programming community has given several contributions to the theory of Concurrent Constraint Programming. In particular, in the topics of semantics, verification,...
OOPSLA
2009
Springer
15 years 3 months ago
2009
Springer
In the multicore era, sequential programs need to be refactored for parallelism. The next version of Java provides ParallelArray, an array datastructure that supports parallel ope...