Search
Search Results
-
-
Design and Tool Solutions for Monolithic Three-Dimensional Integrated Circuits
This chapter is to identify the benefits and challenges of monolithic three-dimensional integrated circuits and to introduce physical design and tool...
-
Sparse Assembly Process
A detailed explanation (including examples) of the sparse (symbolic and numerical) assembling process to obtain finite element “system” stiffness...
-
Memory-Mapped Input/Output
Have you ever wondered how your computer seamlessly interacts with external devices, such as storage drives, network interfaces, and peripherals? The...
-
On Verifying Concurrent Programs Under Weak Consistency Models: Decidability and Complexity
We present an overview of existing results about the decidability and the complexity of verifying concurrent programs under weak memory consistency...
-
Coverability in Well-Formed Free-Choice Petri Nets
This paper recalls Hack’s two coverability theorems for free-choice Petri nets as well as the history of some of their proofs. It also describes two...
-
SynthLearn: A Tool for Guided Reactive Synthesis
In this paper, we introduce the SynthLearn tool. It implements an algorithm for reactive synthesis using LTL specifications, supplemented with...
-
Hidden Markov Models with Unobservable Transitions
We consider Hidden Markov Models (HMMs) that admit unobservable \(\varepsilon \)...
-
Logic of the Hide and Seek Game: Characterization, Axiomatization, Decidability
The logic of the hide and seek game \(\textsf{LHS}\) was...
-
Kleene Algebra of Weighted Programs with Domain
Weighted programs were recently introduced by Batz et al. (Proc. ACM Program. Lang. 2022) as a generalization of probabilistic programs which can...
-
Axiomatization of Hybrid Logic of Link Variations
In this paper, we investigate local and global dynamic modal operators which have the ability to update the accessibility relation of a model. For...
-
Functions
This chapter introduces the concept of functions, a cornerstone of computer programming, essential for code organization and reusability. Functions...
-
Moderate Examples
This chapter is focused on the importance of moderate examples in the learning curve of programming with MATLAB. Situated between basic tutorials and...
-
Loops
This chapter explains the significance of loops within computational theory and computer programming, highlighting their role as fundamental...
-
Traversal of Multidimensional Arrays
Here, we explore the critical operation of traversing multidimensional arrays in computer programming, a task central to handling complex data...
-
Arrays
This chapter presents the fundamental role of arrays within data structures, highlighting their critical function in the organized management of...
-
Conditional Branching
This chapter focuses on the critical role of decision-making in source code through conditional branching, a cornerstone of computer science and...
-
Matrix Operations
This chapter discusses the essence of matrix operations, a cornerstone in the field of mathematics and applied sciences such as linear algebra,...
-
Traversal of Multidimensional Arrays
This chapter focuses on the essential techniques for traversing multidimensional arrays in computer programming, a key operation when handling...
-
Conditional Branching
This chapter shows the essential concept of conditional branching in computer science, underscoring its role in enabling dynamic decision-making...