-
Chapter and Conference Paper
Analysis of Distributed Spin Applied to Industrial-Scale Models
As software systems become increasingly complex, there is growing interest in the use of formal techniques to obtain higher assurance in their correctness. The most commonly used tools involve model-checking, ...
-
Chapter and Conference Paper
Composable Code Generation for Model-Based Development
Many engineering and application domains, including distributed real-time and embedded (DRE) systems, are increasingly employing a graphical model-based development approach. However, the full potential of thi...
-
Chapter and Conference Paper
Parallel Multilevel Algorithms for Multi-constraint Graph Partitioning
Sequential multi-constraint graph partitioners have been developed to address the load balancing requirements of multi-phase simulations. The efficient execution of large multi-phase simulations on high perfor...
-
Chapter and Conference Paper
A New Algorithm for Multi-objective Graph Partitioning⋆
Recently, a number of graph partitioning applications have emerged with additional requirements that the traditional graph partitioning model alone cannot effectively handle. One such class of problems is thos...
-
Chapter and Conference Paper
Repartitioning of adaptive meshes: Experiments with multilevel diffusion
For a large class of irregular grid applications, the structure of the mesh changes from one phase of the computation to the next. Eventually, as the graph evolves, the adapted mesh has to be repartitioned to ...
