Filtyp
Guaranteeing stability of control applications in embedded systems, or cyber-physical systems, is perhaps the alpha and omega of implementing such applications. However, as opposed to the classical real-time systems where often the acceptance criterion is meeting the deadline, control applications do not primarily enforce hard deadlines. In the case of control applications, stability is considered
Substituted thiophene-1,1-dioxides were synthesized and their ring-opening reactions with omega-unsaturated secondary amines were investigated; this led to a synthetic route to azatrienes and to the preparation of some polyhydroisoindoles and polyhydroisoquinolines via an intramolecular Diels-Alder reaction. By using 2-substituted pyrrolidines and piperidines various tetrahydrobenzo[f]indolizidine
Program parallelization becomes increasingly important when new parallel and multi-core architectures provide ways to improve performance. In this paper, we address parallel search in constraint programming (CP) by proposing several load-balancing methods. We show how these methods improve the execution-time scalability of constraint programs. Scalability is the greatest challenge of parallelism a
Abstract is not available
