The Experts below are selected from a list of 321 Experts worldwide ranked by ideXlab platform
Jan Hidders - One of the best experts on this subject based on the ideXlab platform.
-
typing Graph Manipulation operations
International Conference on Database Theory, 2003Co-Authors: Jan HiddersAbstract:We present a Graph-based data model called GDM where database instances and database schemas are described by certain types of labeled Graphs called instance Graphs and schema Graphs. For this data model we introduce two Graph-Manipulation operations, an addition and a deletion, that are based on pattern matching and can be represented in a Graphical way. For these operations it is investigated if they can be typed such that it is guaranteed for well-typed operations that the result belongs to a certain database schema Graph, and what the complexity of deciding this well-typedness is.
-
ICDT - Typing Graph-Manipulation Operations
Lecture Notes in Computer Science, 2002Co-Authors: Jan HiddersAbstract:We present a Graph-based data model called GDM where database instances and database schemas are described by certain types of labeled Graphs called instance Graphs and schema Graphs. For this data model we introduce two Graph-Manipulation operations, an addition and a deletion, that are based on pattern matching and can be represented in a Graphical way. For these operations it is investigated if they can be typed such that it is guaranteed for well-typed operations that the result belongs to a certain database schema Graph, and what the complexity of deciding this well-typedness is.
Mario Mango Furnari - One of the best experts on this subject based on the ideXlab platform.
-
ISHPC - HTGviz: A Graphic Tool for the Synthesis of Automatic and User-Driven Program Parallelization in the Compilation Process
Lecture Notes in Computer Science, 1999Co-Authors: Maurizio Giordano, Mario Mango FurnariAbstract:User feedback in program parallelization is very important since often blind compilation may bring to mistakes in the generated code causing performance degradation. This is why it is necessary to provide the user with clear information about how the compiler parallelizes the program and, at the same time, an interface to control and assist program parallelization according to user feedback. To cope with this aspect we developed the HTG Visualization Tool (HTGviz), a Graphic user interface for program parallelization based on a joint work of user knowledge and compiler techniques. HTGviz is implemented on top of Parafrase-2 parallelizing compiler, and Tcl/Tk is used as middleware integration language to implement Graphical components. The interaction between the user and the compiler is carried out through the use of the Hierarchical Task Graph (HTG) program representation where task parallelism is represented by precedence relations (arcs) among task nodes. HTGviz offers the user an interface to navigate through the program HTG, providing him with information about data/control dependences and task precedences. It allows to tune task partitioning and parallelism by inserting OpenMP directives into the code based on Graph Manipulation facilities. HTGviz also guides the user through the process of generating valid and efficient parallel code for OpenMP applications.
-
htgviz a Graphic tool for the synthesis of automatic and user driven program parallelization in the compilation process
IEEE International Conference on High Performance Computing Data and Analytics, 1999Co-Authors: Maurizio Giordano, Mario Mango FurnariAbstract:User feedback in program parallelization is very important since often blind compilation may bring to mistakes in the generated code causing performance degradation. This is why it is necessary to provide the user with clear information about how the compiler parallelizes the program and, at the same time, an interface to control and assist program parallelization according to user feedback. To cope with this aspect we developed the HTG Visualization Tool (HTGviz), a Graphic user interface for program parallelization based on a joint work of user knowledge and compiler techniques. HTGviz is implemented on top of Parafrase-2 parallelizing compiler, and Tcl/Tk is used as middleware integration language to implement Graphical components. The interaction between the user and the compiler is carried out through the use of the Hierarchical Task Graph (HTG) program representation where task parallelism is represented by precedence relations (arcs) among task nodes. HTGviz offers the user an interface to navigate through the program HTG, providing him with information about data/control dependences and task precedences. It allows to tune task partitioning and parallelism by inserting OpenMP directives into the code based on Graph Manipulation facilities. HTGviz also guides the user through the process of generating valid and efficient parallel code for OpenMP applications.
Ann Grbavec - One of the best experts on this subject based on the ideXlab platform.
-
TAGT - Issues in the Practical Use of Graph Rewriting
Lecture Notes in Computer Science, 1996Co-Authors: Dorothea Blostein, Hoda Fahmy, Ann GrbavecAbstract:Graphs are a popular data structure, and Graph-Manipulation programs are common. Graph Manipulations can be cleanly, compactly, and explicitly described using Graph-rewriting notation. However, when a software developer is persuaded to try Graph rewriting, several problems commonly arise. Primarily, it is difficult for a newcomer to develop a feel for how computations are expressed via Graph rewriting. Also, Graph-rewriting is not convenient for solving all aspects of a problem: better mechanisms are needed for interfacing Graph rewriting with other styles of computation. Efficiency considerations and the limited availability of development tools further limit practical use of Graph rewriting. The inaccessible appearance of the Graph-rewriting literature is an additional hindrance. These problems can be addressed through a combination of “public relations” work, and further research and development, thereby promoting the widespread use of Graph rewriting.
Maurizio Giordano - One of the best experts on this subject based on the ideXlab platform.
-
ISHPC - HTGviz: A Graphic Tool for the Synthesis of Automatic and User-Driven Program Parallelization in the Compilation Process
Lecture Notes in Computer Science, 1999Co-Authors: Maurizio Giordano, Mario Mango FurnariAbstract:User feedback in program parallelization is very important since often blind compilation may bring to mistakes in the generated code causing performance degradation. This is why it is necessary to provide the user with clear information about how the compiler parallelizes the program and, at the same time, an interface to control and assist program parallelization according to user feedback. To cope with this aspect we developed the HTG Visualization Tool (HTGviz), a Graphic user interface for program parallelization based on a joint work of user knowledge and compiler techniques. HTGviz is implemented on top of Parafrase-2 parallelizing compiler, and Tcl/Tk is used as middleware integration language to implement Graphical components. The interaction between the user and the compiler is carried out through the use of the Hierarchical Task Graph (HTG) program representation where task parallelism is represented by precedence relations (arcs) among task nodes. HTGviz offers the user an interface to navigate through the program HTG, providing him with information about data/control dependences and task precedences. It allows to tune task partitioning and parallelism by inserting OpenMP directives into the code based on Graph Manipulation facilities. HTGviz also guides the user through the process of generating valid and efficient parallel code for OpenMP applications.
-
htgviz a Graphic tool for the synthesis of automatic and user driven program parallelization in the compilation process
IEEE International Conference on High Performance Computing Data and Analytics, 1999Co-Authors: Maurizio Giordano, Mario Mango FurnariAbstract:User feedback in program parallelization is very important since often blind compilation may bring to mistakes in the generated code causing performance degradation. This is why it is necessary to provide the user with clear information about how the compiler parallelizes the program and, at the same time, an interface to control and assist program parallelization according to user feedback. To cope with this aspect we developed the HTG Visualization Tool (HTGviz), a Graphic user interface for program parallelization based on a joint work of user knowledge and compiler techniques. HTGviz is implemented on top of Parafrase-2 parallelizing compiler, and Tcl/Tk is used as middleware integration language to implement Graphical components. The interaction between the user and the compiler is carried out through the use of the Hierarchical Task Graph (HTG) program representation where task parallelism is represented by precedence relations (arcs) among task nodes. HTGviz offers the user an interface to navigate through the program HTG, providing him with information about data/control dependences and task precedences. It allows to tune task partitioning and parallelism by inserting OpenMP directives into the code based on Graph Manipulation facilities. HTGviz also guides the user through the process of generating valid and efficient parallel code for OpenMP applications.
Dorothea Blostein - One of the best experts on this subject based on the ideXlab platform.
-
TAGT - Issues in the Practical Use of Graph Rewriting
Lecture Notes in Computer Science, 1996Co-Authors: Dorothea Blostein, Hoda Fahmy, Ann GrbavecAbstract:Graphs are a popular data structure, and Graph-Manipulation programs are common. Graph Manipulations can be cleanly, compactly, and explicitly described using Graph-rewriting notation. However, when a software developer is persuaded to try Graph rewriting, several problems commonly arise. Primarily, it is difficult for a newcomer to develop a feel for how computations are expressed via Graph rewriting. Also, Graph-rewriting is not convenient for solving all aspects of a problem: better mechanisms are needed for interfacing Graph rewriting with other styles of computation. Efficiency considerations and the limited availability of development tools further limit practical use of Graph rewriting. The inaccessible appearance of the Graph-rewriting literature is an additional hindrance. These problems can be addressed through a combination of “public relations” work, and further research and development, thereby promoting the widespread use of Graph rewriting.
