Sciweavers

956 search results - page 47 / 192
» Slicing Objects Using System Dependence Graphs
Sort
View
ISCOPE
1997
Springer
14 years 2 months ago
Client/Server Architecture in the ADAMS Parallel Object-Oriented Database System
This paper describes issues encountered in the design and implementation of a parallel object-oriented database system. In particular, we find that the design of a client/server ...
Russell F. Haddleton, John L. Pfaltz
FM
2005
Springer
156views Formal Methods» more  FM 2005»
14 years 3 months ago
Testing Concurrent Object-Oriented Systems with Spec Explorer
Abstract Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes Microsoft Research, Redmond, WA, USA Abstract. We describe a pract...
Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson...
CC
2011
Springer
267views System Software» more  CC 2011»
13 years 1 months ago
Using Disjoint Reachability for Parallelization
Abstract. We present a disjoint reachability analysis for Java. Our analysis computes extended points-to graphs annotated with reachability states. Each heap annotated with a set o...
James Christopher Jenista, Yong Hun Eom, Brian Dem...
APCHI
1998
IEEE
14 years 2 months ago
Mixed Task Domain Representation in VR-DIS
Direct manipulation interfaces are characterised according to the representation of the task domain: the domain objects and the effect of user operations on those objects. In the ...
M. K. D. Coomans, H. H. Achten
AOSD
2006
ACM
14 years 3 months ago
Towards supporting on-demand virtual remodularization using program graphs
OOP style requires programmers to organize their code according to objects (or nouns, using natural language as a metaphor), causing a program’s actions (verbs) to become scatte...
David Shepherd, Lori L. Pollock, K. Vijay-Shanker