Sequential relational decomposition
The concept of decomposition in computer science and engineering is considered a fundamental component of computational thinking and is prevalent in design of algorithms, software construction, hardware design, and more. We propose a simple and natural formalization of sequential decomposition, in w...
Main Authors: | Fried, D, Legay, A, Ouaknine, J, Vardi, M |
---|---|
Format: | Conference item |
Published: |
Association for Computing Machinery
2018
|
Similar Items
-
Sequential Relational Decomposition
by: Dror Fried, et al.
Published: (2022-03-01) -
On automated verification of probabilistic programs
by: Legay, A, et al.
Published: (2008) -
Mining hourly population dynamics by activity type based on decomposition of sequential snapshot data
by: Qingli Shi, et al.
Published: (2022-12-01) -
Banks, Relative Performance, and Sequential Contagion
by: Tsomocos, D, et al.
Published: (2007) -
Robust fast PMU measurement recovery enhanced by randomized singular value and sequential Tucker decomposition
by: Jianhua Pei, et al.
Published: (2022-08-01)