Program termination verification is a challenging research subject of significant practical importance. While there is already a rich body of literature on this subject, it is sti...
Interest in Graphical Processing Units (GPUs) is skyrocketing due to their potential to yield spectacular performance on many important computing applications. Unfortunately, writ...
This paper approaches the incremental view maintenance problem from an algebraic perspective. We construct a ring of databases and use it as the foundation of the design of a quer...
Aortic valve disease is an important cardio-vascular disorder, which affects 2.5% of the global population and often requires elaborate clinical management. Experts agree that visu...
Razvan Ioan Ionasec, Bogdan Georgescu, Eva Gassn...
Given the high cost of producing software, development of technology for prevention of software piracy is important for the software industry. In this paper we present a novel app...