Minimization of power consumption in portable and batterypowered embedded systems has become an important aspect of processor and system design. Opportunities for power optimization and tradeoffs emphasizing low power are available across the entire design hierarchy. A review of low-power techniques applied at many levels of the design hierarchy is presented, and an example of low-power process...

the objective of the present paper is to study the male and the female in the family and islamic criminal laws in terms of their legal rights. to this end, all the articles in the two collections of family & islamic criminal laws (including the most recent amendments) published in the year 2000 which are related to private and public law were chosen and they were subjected to content analysis. ...

Designing wireless sensor networks should meet appropriate parameters such as quality of service (QoS) defined by different users. The variable physical conditions of the environment, processing and transmission power limitations and limited communication capabilities are the most important obstacles that influence QoS parameters such as throughput, delay, reliability and network lifetime. The ...

It has long been thought that the Internet, and its constituent networks, are hierarchical in nature. Consequently, the network topology generators most widely used by the Internet research community, GT-ITM [7] and Tiers [11], create networks with a deliberately hierarchical structure. However, recent work by Faloutsos et al. [13] revealed that the Internet’s degree distribution — the distribu...

Abst rac t . We considel' the hierarchy of wait-free shared objects, and show that this hierarchy does not express the computational power of shared objects. We prove that there are objects that are classified high in the hierarchy, yet, they can not implement objects that are classified much lower in the hierarchy. Our main result is: for any two levels kl > k2 in the hierarchy, there are shar...

Generalized quantiiers are an important concept in model-theoretic logic which has applications in diierent elds such as linguistics , philosophical logic and computer science. In this paper, we consider a novel application in the eld of logic programming, which has been presented recently. The enhancement of logic programs by generalized quantiiers is a convenient tool for interfacing extra-lo...

We show that examinations of the expressive power of logical formulae enriched by Lindström quantifiers over ordered finite structures have a well-studied complexity-theoretic counterpart: the leaf language approach to define complexity classes. Model classes of formulae with Lindström quantifiers are nothing else than leaf language definable sets. Along the way we tighten the best up to now kn...