A computer-implemented method, apparatus and computer program product for debugging
programs, the method comprising: displaying a graphic waveform showing values of one or …

We introduce the notion of collective assertions for message-passing-based parallel
programs with distributed memory, such as those written using the Message Passing …

MEsoscale Analysis Nowcasting and DEcision Routines, MEANDER [1][2] developed by the
Hungarian Meteorological Service has a crucial task in the protection of life and property …

BACKGROUND 0003 Computerized devices are an important part of the modern life. They
control almost every aspect of our life—from writing documents to controlling traffic lights …

In Infrastructure-as-a-Service (IaaS) clouds, the development process of a ready-to-use and
reliable infrastructure might be a complex task due to the interconnected and dependent …

Cloud architecture blueprints or reference architectures allow the reuse of existing
knowledge and best practices when creating new cloud native solutions. Therefore …

In this paper we describe a technique for monitoring and checking temporal logic assertions
augmented with real-time and time-series constraints, or Metric Temporal Logic Series …

A parallel program must execute correctly even in the presence of unpredictable thread
interleavings. This interleaving makes it hard to write correct parallel programs, and also …

Bugs vary in their root causes and their revealed behaviors, some may cause a crash or a
core dump, while others may cause an incorrect or missing output or an unexpected …

In this paper we present a combined method, which enables the collaboration of parallel
debugging techniques with simulation and verification of parallel program's coloured Petri …