Sciweavers

956 search results - page 47 / 192
» Slicing Objects Using System Dependence Graphs
Sort
View
ISCOPE
1997
Springer
15 years 8 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»
15 years 10 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»
14 years 8 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
15 years 8 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
15 years 10 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