Hae
Aineistot 21-30 / 50
On Dynamic Monitoring Methods for Networks-on-Chip
(Turku Centre for Computer Science, 2012-12-12)
Rapid ongoing evolution of multiprocessors will lead to systems with hundreds of processing cores integrated in a single chip. An emerging challenge is the implementation of reliable and efficient interconnection between ...
On Hyperbolic Type Metrics
(Suomalainen tiedeakatemia, 2009-03-20)
On Commutation and Conjugacy of Rational Languages and the Fixed Point Method
(Turku Centre for Computer Science, 2009-04-03)
The research on language equations has been active during last decades. Compared to the equations on words the equations on languages are much more difficult to solve. Even very simple equations that are easy to solve for ...
Towards Optimal Application Mapping for Energy-Efficient Many-Core Platforms
(Turku Centre for Computer Science, 2013-12-09)
A Model-Based Development and Verification Framework for Distributed System-on-Chip Architecture
(Turku Centre for Computer Science, 2014-03-26)
The capabilities and thus, design complexity of VLSI-based embedded systems have increased tremendously in recent years, riding the wave of Moore’s law. The time-to-market requirements are also shrinking, imposing challenges ...
Structural and Computational Existence Results for Multidimensional Subshifts
(Turku Centre for Computer Science, 2015-07-31)
Symbolic dynamics is a branch of mathematics that studies the structure of infinite sequences of symbols, or in the multidimensional case, infinite grids of symbols. Classes of such sequences and grids defined by collections ...
On Identifying and Locating-Dominating Codes
(Turku Centre for Computer Science, 2011-06-22)
Changing Statehood: The spatial transformation of the Finnish state
(Turun yliopistoAnnales Universitatis Turkuensis A II 260, 2011-07-15)
Potential and Challenges of Analog Reconfigurable Computation in Modern and Future CMOS
(Turku Centre for Computer Science, 2014-12-05)
In this work, the feasibility of the floating-gate technology in analog computing platforms in a scaled down general-purpose CMOS technology is considered. When the technology is scaled down the performance of analog ...
Hierarchy and Expansiveness in Two-Dimensional Subshifts of Finite Type
(Turku Centre for Computer Science, 2016-03-11)
Subshifts are sets of configurations over an infinite grid defined by a set of forbidden patterns. In this thesis, we study two-dimensional subshifts offinite type (2D SFTs), where the underlying grid is Z2 and the ...