A framework for parallel adaptive grid simulations

Dwyer, Matthew B.; Wallentine, Virgil

doi:10.1002/(sici)1096-9128(199711)9:11<1293::aid-cpe340>3.0.co;2-j

“…We have applied Bogor to successfully check real-world size Java programs [12] including a parallel programming framework written in Java that has been used in dozens of real scientific and engineering applications [14]. The task is made easier because BIR can express all features of the Java programming language.…”

Section: Verification Of Java Programsmentioning

confidence: 99%

Bogor

Robby

¹

,

Dwyer

²

,

Hatcliff

³

2003

SIGSOFT Softw. Eng. Notes

Self Cite

View full text Add to dashboard Cite

Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural descriptions, designs, implementations, and process models. The complexity of model checking is well-known, yet costeffective analyses have been achieved by exploiting, for example, naturally occurring abstractions and semantic properties of target software artifacts. Adapting a model checking tool to exploit this kind of domain knowledge often requires in-depth knowledge of the tool's implementation.We believe that with appropriate tool support, domain experts will be able to develop efficient model checking-based analyses for a variety of software-related models. To explore this hypothesis, we have developed Bogor, a model checking framework with an extensible input language for defining domain-specific constructs and a modular interface design to ease the optimization of domain-specific state-space encodings, reductions and search algorithms. We present the pattern-oriented design of Bogor and discuss our experiences adapting it to efficiently model check Java programs and event-driven component-based designs.

show abstract

“…A toolkit provides a low-level interface to numerical algorithms similar to what one finds in C and Fortran. Toolkits provide a source of basic numerical kernels and computational algorithms which can be used in the construction of more facile object-oriented frameworks for particular applications [17].…”

Section: Basic Design Parametersmentioning

confidence: 99%

Developing numerical libraries in Java

Boisvert

¹

,

Dongarra

²

,

Pozo

³

et al. 1998

Concurrency: Pract. Exper.

View full text Add to dashboard Cite

The rapid and widespread adoption of Java has created a demand for reliable and reusable mathematical software components to support the growing number of computationally intensive applications now under development, particularly in science and engineering. In this paper we address practical issues of the Java language and environment which have an effect on numerical library design and development. Benchmarks which illustrate the current levels of performance of key numerical kernels on a variety of Java platforms are presented. Finally, a strategy for the development of a fundamental numerical toolkit for Java is proposed and its current status is described. © 1998 John Wiley & Sons, Ltd.

show abstract

Developing numerical libraries in Java

Boisvert

¹

,

Dongarra

²

,

Pozo

³

et al. 1998

Concurrency: Pract. Exper.

View full text Add to dashboard Cite

The rapid and widespread adoption of Java has created a demand for reliable and reusable mathematical software components to support the growing number of computationally intensive applications now under development, particularly in science and engineering. In this paper we address practical issues of the Java language and environment which have an effect on numerical library design and development. Benchmarks which illustrate the current levels of performance of key numerical kernels on a variety of Java platforms are presented. Finally, a strategy for the development of a fundamental numerical toolkit for Java is proposed and its current status is described.

show abstract

A framework for parallel adaptive grid simulations

Cited by 9 publications

References 5 publications

Bogor

Bogor

Developing numerical libraries in Java

Developing numerical libraries in Java

Contact Info

Product

Resources

About