Proceedings Article10.1145/68210.69238
Data path debugging: data-oriented debugging for a concurrent programming language
Wenwey Hseush,Gail E. Kaiser +1 more
- 01 Nov 1988
- Vol. 24, Iss: 1, pp 236-247
39
About: This article is published in Workshop on Parallel & Distributed Debugging. The article was published on 01 Nov 1988. The article focuses on the topics: Algorithmic program debugging & Concurrent constraint logic programming.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
CCS specification of a Linda behavioural model debugger
David A. Sewry,Peter Clayton,E. P. Wentworth +2 more
- 01 Apr 1997
TL;DR: Observational equivalence is demonstrated between the two systems that ensures that, despite their internal differences, they are indistinguishable on the basis of their interactions with Linda client programs.
Visual language for behavioral specifications of reactive systems
H.L. Chau,G.K. Chan +1 more
- 16 May 1994
TL;DR: A new visual language for behavioral specification of complex reactive systems, called Constraint Narrowing Grammar (CNG), which combines concepts from logic programming, rewriting, and lazy evaluation to model infinite reactive systems' behavior.
Logical time in visualizations produced by parallel programs
Janice E. Cuny,Alfred Hough,Joydip Kundu +2 more
- 19 Oct 1992
TL;DR: Techniques that manipulate logical time in order to produce coherent animations of parallel program behavior despite the presence of asynchrony are presented and can be generally applied to enhance visualizations of a variety of types of data as they are produced by parallel, MIMD computations.
References
Phd by thesis
TL;DR: In this paper, a sedimentological core and petrographic characterisation of samples from eleven boreholes from the Lower Carboniferous of Bowland Basin (Northwest England) is presented.
Time, clocks, and the ordering of events in a distributed system
TL;DR: In this article, the concept of one event happening before another in a distributed system is examined, and a distributed algorithm is given for synchronizing a system of logical clocks which can be used to totally order the events.
Time, clocks, and the ordering of events in a distributed system
TL;DR: In this paper, the concept of one event happening before another in a distributed system is examined, and a distributed algorithm is given for synchronizing a system of logical clocks which can be used to totally order the events.
Continuous Delivery
TL;DR: Six strategies to overcome Continuous Delivery (CD) adoption challenges are presented, based on four years of experience in implementing CD at a multi-billion-euro company and led to the identification of eight further challenges for research.
204