Aineistot 491-500 / 527
Search Interfaces on the Web: Querying and Characterizing
(Turku Centre for Computer Science, 2008-06-12)
Current-day web search engines (e.g., Google) do not crawl and index a significant portion of theWeb and, hence, web users relying on search engines only are unable to discover and access a large amount of information from ...
Thermal-Aware Networked Many-Core Systems
(Turku Centre for Computer Science, 2014-05-23)
Advancements in IC processing technology has led to the innovation and growth happening in the consumer electronics sector and the evolution of the IT infrastructure supporting this exponential growth. One of the most ...
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 inﬁnite sequences of symbols, or in the multidimensional case, inﬁnite grids of symbols. Classes of such sequences and grids deﬁned by collections ...
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 ...
Kahden merkkijonon pisimmän yhteisen alijonon ongelma ja sen ratkaiseminen
(Turku Centre for Computer Science, 2012-06-20)
Tämä tutkielma kuuluu merkkijonoalgoritmiikan piiriin. Merkkijono S on merkkijonojen X[1..m] ja Y[1..n] yhteinen alijono, mikäli se voidaan muodostaa poistamalla X:stä 0..m ja Y:stä 0..n kappaletta merkkejä mielivaltaisista ...
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)
Design Space Exploration for MPSoC Architectures
(Turku Centre for Computer Science, 2013-12-20)
Multiprocessor system-on-chip (MPSoC) designs utilize the available technology and communication architectures to meet the requirements of the upcoming applications. In MPSoC, the communication platform is both the key ...
A Co-Processor Approach for Efficient Java Execution in Embedded Systems
(Turku Centre for Computer Science, 2008-11-10)
This thesis deals with a hardware accelerated Java virtual machine, named REALJava. The REALJava virtual machine is targeted for resource constrained embedded systems. The goal is to attain increased computational performance ...
Hardware/Software Co-design for Multicore Architectures
(Turku Centre for Computer Science, 2012-09-12)