7124 search results - page 91 / 1425 » Programming Languages and Operating Systems |
C++
1990
14 years 11 months ago
1990
Programming in a distributed system is fraught with potential difficulties caused, in part, by the physical distribution of the system itself. By making the distribution of the sy...
143
click to vote
POPL
2003
ACM
15 years 10 months ago
2003
ACM
We show how to efficiently obtain linear a priori bounds on the heap space consumption of first-order functional programs. The analysis takes space reuse by explicit deallocation ...
KBSE
2009
IEEE
15 years 4 months ago
2009
IEEE
—The actor programming model offers a promising model for developing reliable parallel and distributed code. Actors provide flexibility and scalability: local execution may be i...
ICLP
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Information about the nondeterminism behavior of a functional logic program is important for various reasons. For instance, a nondeterministic choice in I/O operations re...
PLDI
2012
ACM
13 years 6 days ago
2012
ACM
Chimera1 uses a new hybrid program analysis to provide deterministic replay for commodity multiprocessor systems. Chimera leverages the insight that it is easy to provide determin...