On the Influence of Models at Run-Time Traces in Dynamic Feature Location

In our world, where most systems become embedded systems, the approach of designing embedded systems is still frequently similar to the approach of designing organic systems (or not embedded systems). An organic system, like a personal computer or a work station, must be able to run any task submitted to it at any time (with certain constrains depending on the machine). Consequently, it must have a sophisticated general purpose Operating System (OS) to schedule, dispatch, maintain and monitor the tasks and assist them in special cases (particularly communication and synchronization between them and with external devices). These OSs require an overhead on the memory, on the cache and on the run time. Moreover, generally they are task oriented rather than machine oriented; therefore the processor's throughput is penalized. On the other hand, an embedded system, like an Anti-lock Braking System (ABS), executes always the same software application. Frequently it is a small or medium size system, or made up of several such systems. Many small or medium size embedded systems, with limited number of tasks, can be scheduled by our proposed hardware architecture, based on the Motorola 500MHz MPC7410 processor, enhancing its throughput and avoiding the software OS overhead, complexity, maintenance and price. Encouraged by our experimental results, we shall develop a compiler to assist our method. In the meantime we will present here our proposal and the experimental results.

Download Full-text

Critical Thinking and Its Implications for Contemporary Ijtihad

American Journal of Islamic Social Sciences ◽

10.35632/ajiss.v27i4.370 ◽

2010 ◽

Vol 27 (4) ◽

pp. 45-67

Author(s):

Sayed Sikandar Shah ◽

Mek Wok Mahmud

Keyword(s):

Critical Thinking ◽

Legal Theory ◽

Dynamic Feature ◽

Islamic Revival ◽

Current State ◽

Islamic Legal Theory ◽

Islamic Jurisprudence ◽

Revival Movements ◽

State Of Affairs ◽

Islamic Civilization

As an intellectual process, critical thinking plays a dynamic role in reconstructing human thought. In Islamic legal thought, this intellectual tool was pivotal in building a full-fledged jurisprudential system during the golden age of Islamic civilization. With the solidification of the science of Islamic legal theory and the entrenchment of classical Islamic jurisprudence, this process abated somewhat. Recent Islamic revival movements have engendered a great zeal for reinstituting this process. The current state of affairs in constructing and reconstructing Islamic jurisprudence by and large do not, however, reflect the dynamic feature of intellectual thought in this particular discipline. Thus this article attempts to briefly delineate this concept, unveil the reality on the ground, and identify some hands-on strategies for applying critical thinking in contemporary ijtihad.

Download Full-text

Statically Detect and Run-Time Check Integer-Based Vulnerabilities with Information Flow

Journal of Software ◽

10.3724/sp.j.1001.2013.04385 ◽

2014 ◽

Vol 24 (12) ◽

pp. 2767-2781

Author(s):

Hao SUN ◽

Hui-Peng LI ◽

Qing-Kai ZENG

Keyword(s):

Information Flow ◽

Run Time

Download Full-text