A framework for dynamic program analyzers

This publication has 14 references indexed in Scilit:

• Computing over Networks: An Illustrated Example
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2005
• An exact algorithm for resource constrained sequencing with application to production scheduling under an aggregate deadline
  Computers & Chemical Engineering, 1993
• A portable platform for distributed event environments
  Published by Association for Computing Machinery (ACM) ,1991
• Traceview: a trace visualization tool
  IEEE Software, 1991
• IPS-2: the second generation of a parallel program measurement system
  IEEE Transactions on Parallel and Distributed Systems, 1990
• The design of nectar: a network backplane for heterogeneous multicomputers
  Published by Association for Computing Machinery (ACM) ,1989
• Debugging heterogeneous distributed systems using event-based models of behavior
  Published by Association for Computing Machinery (ACM) ,1988
• A relational approach to monitoring complex systems
  ACM Transactions on Computer Systems, 1988
• COSMOS: a compiled simulator for MOS circuits
  Published by Association for Computing Machinery (ACM) ,1987
• Generalized path expressions: A high-level debugging mechanism
  Journal of Systems and Software, 1983