133
click to vote
ICTAI
1997
IEEE
15 years 8 months ago
1997
IEEE
The computation of prime implicants has several and significant applications in different areas, including Automated Reasoning, Non-Monotonic Reasoning, Electronic Design Automati...
105
click to vote
HPCN
1995
Springer
15 years 8 months ago
1995
Springer
The Mermaid project focuses on the construction of simulation models for MIMD multi-computers in order to evaluate them and to give estimates of the system’s performance. A multi...
130
click to vote
HPCN
1995
Springer
15 years 8 months ago
1995
Springer
Abstract. In this paper we discuss the concept of space-time diagrams as a representation of the execution of an application, and then give a method, based on critical path analysi...
115
click to vote
HPCN
1995
Springer
15 years 8 months ago
1995
Springer
We present a tool for the simulation and analysis of materials properties. This tool comprises simulation methods for models of materials (metal and polymer materials) as well as ...
126
click to vote
HPCN
1995
Springer
15 years 8 months ago
1995
Springer
Abstract. We discuss the High Performance Fortran data parallel programming language as an aid to software engineering and as a tool for exploiting High Performance Computing syste...