In this paper, we introduce new concepts and methods for checking the correctness of control flow instructions during the execution of programs in embedded CPUs. Detecting and avoi...
— Architecture Description Languages (ADLs) are widely used to perform design space exploration for Application Specific Instruction Set Processors (ASIPs). While the design spa...
Oliver Schliebusch, Anupam Chattopadhyay, David Ka...
As computing moves into every aspect of our daily lives, the process, values and assumptions that underlie our technical practices may unwittingly be propagated throughout our cul...
Many scientific and engineering applications require optimization methods to find more than one solution to multimodal optimization problems. This paper presents a new particle ...
R. Brits, Andries Petrus Engelbrecht, F. Van den B...
There is a growing interest in numeric-algebraic techniques in the computer algebra community as such techniques can speed up many applications. This paper is concerned with one su...
Jihun Yu, Chee Yap, Zilin Du, Sylvain Pion, Herv&e...