Sciweavers

882 search results - page 177 / 177
» A Taste of Rewrite Systems
Sort
View
SIAMSC
2010
140views more  SIAMSC 2010»
13 years 4 months ago
Parallel High-Order Integrators
In this work we discuss a class of defect correction methods which is easily adapted to create parallel time integrators for multi-core architectures and is ideally suited for deve...
Andrew J. Christlieb, Colin B. Macdonald, Benjamin...
ECEASST
2006
103views more  ECEASST 2006»
13 years 5 months ago
Petri Nets and Matrix Graph Grammars: Reachability
This paper contributes in two directions. First, several concepts of our matrix approach to graph transformation [1,2] such as coherence and minimal initial digraph are applied to ...
Juan de Lara, Pedro Pablo Pérez Velasco