Determining points-to sets is an important static-analysis problem. Most of the classic static analyses (used e.g., by compilers or in programming env...

Prime implicates and implicants are used in several areas of Artificial Intelligence. However, their calculation is not always an easy task. Neverthel...

The computational model of membrane computing (formalized through membrane systems, also called P systems) is based on the way that biological membran...

Compiler support for power and energy management is effective in reducing power and energy consumption of programs. This work investigates the benefit...

Many dynamic voltage scaling algorithms rely on measuring hardware events (such as cache misses) for predicting how much a workload can be slowed down...