Regional bonds are an alternative for local governments to obtain funds finance regional development. In the process of issuing bonds, collateral is needed in form assets ensure fulfillment investors' rights. Although guarantee issuance has been regulated Article 55 Law no. 33 2004 concerning Fiscal Balance between Central Government and Governments, its implementation will be difficult do beca...

This paper presents a probabilistic approach to guarantee the performance of a real-time system. While traditional real-time system analysis tends to guarantee that each task instance will complete its execution before its absolute deadline (hard guarantee), our approach permits to estimate the probability that it will happen. Such a statistical guarantee is performed based on interarrival and ...

Data reduction techniques are widely applied to deal with computationally hard problems in real world applications. It has been a long-standing challenge to formally express the efficiency and accuracy of these “pre-processing” procedures. The framework of parameterized complexity turns out to be particularly suitable for a mathematical analysis of pre-processing heuristics. A kernelization alg...