Sciweavers

3311 search results - page 108 / 663
» Deductive Object Programming
Sort
View
ICCL
1998
IEEE
15 years 5 months ago
A Lightweight Object Migration Protocol
This paper presents a lightweight object migration protocol that preserves centralized object semantics yet allows for precise prediction of network behavior. The protocol is impl...
Peter Van Roy, Per Brand, Seif Haridi, Raphaë...
ICS
1999
Tsinghua U.
15 years 6 months ago
Eliminating synchronization bottlenecks in object-based programs using adaptive replication
This paper presents a technique, adaptive replication, for automatically eliminating synchronization bottlenecks in multithreaded programs that perform atomic operations on object...
Martin C. Rinard, Pedro C. Diniz
IPCO
2010
153views Optimization» more  IPCO 2010»
14 years 11 months ago
An Effective Branch-and-Bound Algorithm for Convex Quadratic Integer Programming
We present a branch-and-bound algorithm for minimizing a convex quadratic objective function over integer variables subject to convex constraints. In a given node of the enumerati...
Christoph Buchheim, Alberto Caprara, Andrea Lodi
SIGPLAN
2008
15 years 1 months ago
Some thoughts on teaching programming and programming languages
It is argued that the teaching of programming is central to the education of skilled computer professionals, that the teaching of programming languages is central to the teaching ...
John C. Reynolds
POS
1998
Springer
15 years 5 months ago
Incremental Garbage Collection of a Persistent Object Store using PMOS
PMOS is an incremental garbage collector designed specifically to reclaim space in a persistent object store. It is complete in that it will, after a finite number of invocations,...
David S. Munro, Alfred L. Brown, Ronald Morrison, ...