Sciweavers

8949 search results - page 524 / 1790
» is 1998
Sort
View
TOPLAS
1998
74views more  TOPLAS 1998»
15 years 6 months ago
A Task- and Data-Parallel Programming Language Based on Shared Objects
Saniya Ben Hassen, Henri E. Bal, Ceriel J. H. Jaco...
TOPLAS
1998
55views more  TOPLAS 1998»
15 years 6 months ago
Compositional Verification of Concurrent Systems Using Petri-Net-Based Condensation Rules
Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata
TOSEM
1998
64views more  TOSEM 1998»
15 years 6 months ago
In Black and White: An Integrated Approach to Class-Level Testing of Object-Oriented Programs
Huo Yan Chen, T. H. Tse, F. T. Chan, Tsong Yueh Ch...
TOSEM
1998
52views more  TOSEM 1998»
15 years 6 months ago
An Empirical Study of Static Call Graph Extractors
Gail C. Murphy, David Notkin, William G. Griswold,...
TOSEM
1998
81views more  TOSEM 1998»
15 years 6 months ago
Software Process Modeling and Execution Within Virtual Environments
John C. Doppke, Dennis Heimbigner, Alexander L. Wo...