Search
Now showing items 1-4 of 4
A gamified lesson preparation system
(2017-01)
Good games are embedded with many elements that make them attractive to play. If lessons could also be gamified, they would cease to be boring and become attractive as well. This could result in students spending more time ...
High level synthesis for rapid design of video processing pipes
(2017-01)
Pipelining concept is a fundamental technique in digital hardware design, which maximizes the clock frequency or minimizes the resources. Designing a pipelined Field Programmable Gate Array (FPGA) module using pipelined ...
Zeroability patterns of monomials in the sign-representation of boolean functions
(2017-06)
Boolean functions (BF) are one of the fundamental concepts in discrete mathematics. It is possible to represent any BF by a unique polynomial when one takes -1 as True and 1 as False. Coefficients of the polynomial ...
Generating runtime verification specifications based on static code analysis alerts
(2017-12)
There are various approaches in order to find bugs in a software system. One of these approaches is static code analysis, which tries to achieve this goal by analyzing code without executing it. Another complementary ...
Share this page