An algebraic method for optimizing resources in timed event graphs

2008 ◽  
pp. 957-966 ◽  
Author(s):  
Stéphane Gaubert
Keyword(s):  
Algebraic Method ◽  
Timed Event Graphs

An algebraic method for solving Hartree-Fock-Roothaan equations

1990 ◽  
Vol 87 ◽  
pp. 2017-2025 ◽  
Author(s):  
Lac Malbouisson ◽  
JDM Vianna
Keyword(s):  
Algebraic Method ◽  
Hartree Fock

Performance safety enforcement in strongly connected timed event graphs

Automatica ◽  
2021 ◽  
Vol 128 ◽  
pp. 109605
Author(s):  
Zhou He ◽  
Ziyue Ma ◽  
Wei Tang
Keyword(s):  
Strongly Connected ◽  
Timed Event Graphs ◽  
Safety Enforcement

scholarly journals Categorification of the Müller-Wichards System Performance Estimation Model: Model Symmetries, Invariants, and Closed Forms

Systems ◽  
2019 ◽  
Vol 7 (1) ◽  
pp. 6
Author(s):  
Allen D. Parks ◽  
David J. Marchette
Keyword(s):  
Closed Form ◽  
System Performance ◽  
Algebraic Method ◽  
Expressive Power ◽  
Computer Applications ◽  
Performance Estimation ◽  
Parallel Computer ◽  
Estimation Model ◽  
Data Movement ◽  
Fundamental Symmetry

The Müller-Wichards model (MW) is an algebraic method that quantitatively estimates the performance of sequential and/or parallel computer applications. Because of category theory’s expressive power and mathematical precision, a category theoretic reformulation of MW, i.e., CMW, is presented in this paper. The CMW is effectively numerically equivalent to MW and can be used to estimate the performance of any system that can be represented as numerical sequences of arithmetic, data movement, and delay processes. The CMW fundamental symmetry group is introduced and CMW’s category theoretic formalism is used to facilitate the identification of associated model invariants. The formalism also yields a natural approach to dividing systems into subsystems in a manner that preserves performance. Closed form models are developed and studied statistically, and special case closed form models are used to abstractly quantify the effect of parallelization upon processing time vs. loading, as well as to establish a system performance stationary action principle.

scholarly journals Some remarks on the Zarankiewicz problem

2021 ◽  
pp. 1-7
Author(s):  
DAVID CONLON
Keyword(s):  
Upper Bound ◽  
Algebraic Method ◽  
Zarankiewicz Problem

Abstract The Zarankiewicz problem asks for an estimate on z(m, n; s, t), the largest number of 1’s in an m × n matrix with all entries 0 or 1 containing no s × t submatrix consisting entirely of 1’s. We show that a classical upper bound for z(m, n; s, t) due to Kővári, Sós and Turán is tight up to the constant for a broad range of parameters. The proof relies on a new quantitative variant of the random algebraic method.

Sign in / Sign up

Export Citation Format

Share Document