diff options
| -rw-r--r-- | source/wg01/wg01.tex | 4 | ||||
| -rw-r--r-- | source/wg02/wg02.tex | 6 | ||||
| -rw-r--r-- | source/wg05/wg05.tex | 12 |
3 files changed, 22 insertions, 0 deletions
diff --git a/source/wg01/wg01.tex b/source/wg01/wg01.tex index 1f2fe31..ae5d8a5 100644 --- a/source/wg01/wg01.tex +++ b/source/wg01/wg01.tex @@ -186,6 +186,10 @@ if constexpr (IsVettable<UnVettable>) { \item Sales, J., Tasker, M. (2005). Introducing EKA2. Symbian OS Internals. Wiley. Available at: \url{https://media.wiley.com/product_data/excerpt/47/04700252/0470025247.pdf} \item Driesen, K., Hölzle, U. (1996). The direct cost of virtual function calls in C++. \textit{OOPSLA '96}. ACM. DOI: 10.1145/236338.236369 + + \item El Mahrouss, A. (2026). Methodology for Process and Image Computation. (v1.0.0). Zenodo. https://doi.org/10.5281/zenodo.18362503 + + \item El Mahrouss, A. (2026). The Execution Semantics: On Axioms, Domains, and Authority. (v1.0.0). Zenodo. https://doi.org/10.5281/zenodo.18362375 \end{enumerate} \end{document} diff --git a/source/wg02/wg02.tex b/source/wg02/wg02.tex index 9db8fbb..9055ce3 100644 --- a/source/wg02/wg02.tex +++ b/source/wg02/wg02.tex @@ -156,9 +156,15 @@ struct ProcessImage final { \begin{enumerate} \item CoreProcessScheduler.h (2025), \href{https://github.com/nekernel-org/nekernel/blob/develop/src/kernel/KernelKit/CoreProcessScheduler.h}{github.com} + \item NeKernel.org (2025), \href{https://nekernel.org/nekernel}{nekernel.org} \item Scheduling: Introduction (2012), \href{https://pages.cs.wisc.edu/~remzi/OSTEP/cpu-sched.pdf}{pages.cs.wisc.edu} + \item Processor Affinity, Multiple CPU Scheduling (2003), \href{https://www.tmurgent.com/WhitePapers/ProcessorAffinity.pdf}{tmurgent.com} + + \item El Mahrouss, A. (2026). Methodology for Freestanding Development.\\ Zenodo. https://doi.org/10.5281/zenodo.18362425 + + \item El Mahrouss, A. (2026). The Execution Semantics: On Axioms, Domains, and Authority. (v1.0.0). Zenodo. https://doi.org/10.5281/zenodo.18362375 \end{enumerate} \end{document}
\ No newline at end of file diff --git a/source/wg05/wg05.tex b/source/wg05/wg05.tex index aa34cbc..1ced656 100644 --- a/source/wg05/wg05.tex +++ b/source/wg05/wg05.tex @@ -91,4 +91,16 @@ Let $C$ denote an execution domain in an execution context $E$. Let $Z$ denote a \item If $Z$ or $C$ are defined as a null execution context, then the said context—defined as $N$—is not equal to $\lnot N$. \end{itemize} +\section{Conclusion} + +Let $G$ be a theory that formally defines execution semantics—consisting of three foundational theories—the General Harvard Separation Axiom, Execution Domains Theory, and Execution Authority Theory. Together they establish $G$ as a framework that consists of the analysis of Execution Semantics. Or Execution Theory. + +\section{References} + +\begin{itemize} + \item El Mahrouss, A. (2026). Methodology for Freestanding Development. Zenodo. https://doi.org/10.5281/zenodo.18362425 + + \item El Mahrouss, A. (2026). Methodology for Process and Image Computation. (v1.0.0). Zenodo. https://doi.org/10.5281/zenodo.18362503 +\end{itemize} + \end{document} |