Logic Power Research Articles

A server-side accelerator framework for multi-core CPUs and Intel Xeon Phi co-processor systems

Processing-intensive web server requests can lead to low Quality of Service (QoS), such as longer mean response time and lower throughput, which calls for a new web server software framework that can improve the performance of web servers. The characteristic of request-level parallelism in web servers is fit for many-core architecture accelerators, such as GPU and Intel Xeon Phi co-processors, but traditional web server model cannot make full use of the performance of these accelerators. We proposed a new web server software framework— called MIC-based Server-side Accelerator Framework (MSAF)—for a machine with not only multi-core CPUs but also Intel Xeon Phi co-processors based on Staged Event Driven Architecture (SEDA). The framework can fully exploit the performance of Intel Xeon Phi co-processors and multi-core CPUs, and improve power/energy efficiency by offloading the stage of handling requests to Intel Xeon Phi co-processors. We implemented the web server simulation software based on MSAF framework on a machine with multi-core CPUs and Intel Xeon Phi co-processors, and evaluated it by means of Apache Benchmark (AB). Our evaluation of MSAF shows its performance is about equivalent to that of a web server cluster consisting of four to five computing nodes. This paper indicates that if MSAF is applied to, Intel Xeon Phi co-processors are suitable for server side software, such as web servers, DNS servers, and database servers, because of its characteristic of lower communication latency between Intel Xeon Phi co-processors and host, more powerful logic processing ability, and more energy efficiency.

O-Köşesi Yorumu Nedir ve Geleneksel Karşıtlık Karesini Kurtarabilir mi?

To salvage traditional logic and traditional square of opposition from the problem of existential import, logicians have been offering solutions for centuries. In this paper, firstly it will be argued that as far as we know, the historically first solution proposed by Abelard in 11th century and by Seuren in 2002 is actually a version of the O-Corner Interpretation of traditional logic, which is generally attributed to the 14th century logician Ockham. Secondly, it will be advocated that two systems of Abelard and of Ockham have the same logical power. Lastly, the main claim will be that Abelard’s and Seuren’s system shall be favored over Ockham’s system.

Design of Low Power Transceiver on Spartan-3 and Spartan-6 FPGA

In this research work, a low power transceiver is designed using Spartan-3 and Spartan-6 Field-Programmable Gate Array (FPGA). In this work, a Universal Asynchronous Receiver Transmitter (UART) device is used as a transceiver. The implementation of UART is possible with EDA tools called Xilinx 14.1 and the results of the power analysis are targeted on Spartan-3 and Spartan-6 FPGA. The variation of different power of chips that are fabricated on FPGA for e.g., Input/Output (I/O) power consumption, Leakage power dissipation, Signal power utilization, Logic power usage, and the use of Total power, is observed by changing the voltage supply. This research work shows how the change in voltage influence the power consumption of UART on Spartan-3 and Spartan-6 FPGA devices. It is observed that Spartan-6 is found to be more powerefficient as voltage supply increases.

Design of Low Power Transceiver on Spartan-3 and Spartan-6 FPGA

In this research work, a low power transceiver is designed using Spartan-3 and Spartan-6 Field-Programmable Gate Array (FPGA). In this work, a Universal Asynchronous Receiver Transmitter (UART) device is used as a transceiver. The implementation of UART is possible with EDA tools called Xilinx 14.1 and the results of the power analysis are targeted on Spartan-3 and Spartan-6 FPGA. The variation of different power of chips that are fabricated on FPGA for e.g., Input/Output (I/O) power consumption, Leakage power dissipation, Signal power utilization, Logic power usage, and the use of Total power, is observed by changing the voltage supply. This research work shows how the change in voltage influence the power consumption of UART on Spartan-3 and Spartan-6 FPGA devices. It is observed that Spartan-6 is found to be more powerefficient as voltage supply increases.

Actris: session-type based reasoning in separation logic

Message passing is a useful abstraction to implement concurrent programs. For real-world systems, however, it is often combined with other programming and concurrency paradigms, such as higher-order functions, mutable state, shared-memory concurrency, and locks. We present Actris: a logic for proving functional correctness of programs that use a combination of the aforementioned features. Actris combines the power of modern concurrent separation logics with a first-class protocol mechanism—based on session types—for reasoning about message passing in the presence of other concurrency paradigms. We show that Actris provides a suitable level of abstraction by proving functional correctness of a variety of examples, including a distributed merge sort, a distributed load-balancing mapper, and a variant of the map-reduce model, using relatively simple specifications. Soundness of Actris is proved using a model of its protocol mechanism in the Iris framework. We mechanised the theory of Actris, together with tactics for symbolic execution of programs, as well as all examples in the paper, in the Coq proof assistant.

The power of modal separation logics

AbstractWe introduce a modal separation logic MSL whose models are memory states from separation logic and the logical connectives include modal operators as well as separating conjunction and implication from separation logic. With such a combination of operators, some fragments of MSL can be seen as genuine modal logics whereas some others capture standard separation logics, leading to an original language to speak about memory states. We analyse the decidability status and the computational complexity of several fragments of MSL, obtaining surprising results by design of proof methods that take into account the modal and separation features of MSL. For example, the satisfiability problem for the fragment of MSL with $\Diamond $, the difference modality $\langle \neq \rangle $ and separating conjunction $\ast $ is shown Tower-complete whereas the restriction either to $\Diamond $ and $\ast $ or to $\langle \neq \rangle $ and $\ast $ is only NP-complete. We establish that the full logic MSL admits an undecidable satisfiability problem. Furthermore, we investigate variants of MSL with alternative semantics and we build bridges with interval temporal logics and with logics equipped with sabotage operators.

The Influence of the Test Operator on the Expressive Power of PDL-like Logics

Abstract Berman and Paterson proved that test-free propositional dynamic logic (PDL) is weaker than PDL. One would raise questions: does a similar result also hold for extensions of PDL? For example, is test-free converse-PDL (CPDL) weaker than CPDL? In what circumstances the test operator can be eliminated without reducing the expressive power of a PDL-based logical formalism? These problems have not yet been studied. As the description logics $\mathcal{ALC}_{trans}$ and $\mathcal{ALC}_{reg}$ are, respectively, variants of test-free PDL and PDL, there is a concept of $\mathcal{ALC}_{reg}$ that is not equivalent to any concept of $\mathcal{ALC}_{trans}$. Generalizing this, we prove that there is a concept of $\mathcal{ALC}_{reg}$ that is not equivalent to any concept of the logic that extends $\mathcal{ALC}_{trans}$ with inverse roles, nominals, qualified number restrictions, the universal role and local reflexivity of roles. We also provide some results for the case with RBoxes and TBoxes. One of them states that tests can be eliminated from TBoxes of the deterministic Horn fragment of $\mathcal{ALC}_{reg}$.

Shaping the Evolution of Regime Complex

Abstract Regime complex has been widely recognized in many governance issues, but the evolutionary dynamics in regime complex are largely overlooked. This article explores the evolutionary dynamics by conducting a case study on the regime complex for human genetic data, which has evolved as an alternation between stable and unstable periods, known as punctuated equilibrium. Given that existing theories fail to explain the evolutionary pattern, a multiactor analysis framework is set up with the core argument that the evolution of regime complex is shaped by interactions between governance issues outside the regime complex, and a combination of actor power and institutional logics within them. Besides its specific contribution to the literature on regime complex, this article has general implications for research in global governance.

Critical Health Communication Method as Embodied Practice of Resistance: Culturally Centering Structural Transformation Through Struggle for Voice

The Marxist roots of critical methodology envision method as anchor to an emancipatory politics that seeks structural transformation. Drawing on our negotiations of carrying out culture-centered health communication projects amidst neoliberal authoritarianism, we explore the nature of academic-activist-community collaborations in envisioning democratic infrastructures for socialist organizing of health. Method is thus inverted from the hegemonic structures of Whiteness that construct extractive relationships perpetuating existing and entrenched health inequities to partnerships of solidarity with subaltern communities committed to a politics of “placing the body on the line.” We work through the concept of “placing the body on the line” to depict the ways in which the body of the academic, turned vulnerable and weaponized in active resistance to neocolonial/capitalist structures, disrupts the hegemonic logics of power and control that shape health within these structures. Examples of culture-centered projects at the global margins offer conceptual bases for theorizing embodied practice as resistance to state-market structures that produce health injustices. The body of the academic as a methodological site decolonizes the capitalist framework of knowledge production through its voicing of an openly resistive politics that stands in defiance to the neoliberal structures that produce health inequities. We challenge the communication literature on micro-practices of resistance, interrogating concepts such as “strategic ambiguity,” “pragmatic interventionism” and “practical engagement” to offer method as embodied practice of open/public resistance, as direct antagonism to state-market structures. Through the re-working of method as embodied resistance that is explicitly socialist in its commitment to imagining health, culture-centered interventions imagine and practice Marxist advocacy and activist interventions that disrupt the intertwined hegemonic logics of capital and empire.

Copts and the Security State: Violence, Coercion, and Sectarianism in Contemporary Egypt

Copts and the Security State: Violence, Coercion, and Sectarianism in Contemporary Egypt

Infrared nano-spectroscopy of ferroelastic domain walls in hybrid improper ferroelectric Ca3Ti2O7

Ferroic materials are well known to exhibit heterogeneity in the form of domain walls. Understanding the properties of these boundaries is crucial for controlling functionality with external stimuli and for realizing their potential for ultra-low power memory and logic devices as well as novel computing architectures. In this work, we employ synchrotron-based near-field infrared nano-spectroscopy to reveal the vibrational properties of ferroelastic (90{}^{circ } ferroelectric) domain walls in the hybrid improper ferroelectric Ca{}_{3}Ti{}_{2}O{}_{7}. By locally mapping the Ti-O stretching and Ti-O-Ti bending modes, we reveal how structural order parameters rotate across a wall. Thus, we link observed near-field amplitude changes to underlying structural modulations and test ferroelectric switching models against real space measurements of local structure. This initiative opens the door to broadband infrared nano-imaging of heterogeneity in ferroics.

When entrepreneurs instigate institutional change through coopetition: The case of winemakers in south of France

AbstractWinemakers in South France combine contingently institutional logics to achieve economic performance. Entrepreneurs who decide to cooperate with their competitors must manage four phases of “coopetition”: launch, formalization, protection, and reinforcement. They engage in the coopetition process by referring to a professional logic that becomes dominant, and they complete the process by fostering a community logic that is combined with the professional logic. Identity and legitimacy are the key elements that entrepreneurs segregate and blend, which entails new combinations in the respective influential power of state logic, professional logic and community logic.

THE RETURN OF MEDIEVAL SOCIETY – CONTROL, SURVEILLANCE AND NEO-FEUDALISM IN THE AGE OF THE INTERNET

In this paper the medieval period is used as a prism to analyze and contextualize the intersection of mutual surveillance, corporate capitalism and information control. It is claimed that the interplay between big tech companies, nation states’ battle for control and citizens’ participatory surveillance, for instance exercised through social media, resembles medieval principles of feudalism and tight social control. As such, this is basically a paper discussing power related to the Internet, as it turns 50 years.
 The main argument is that apparently distinct social phenomena related to the dominance of Internet technologies share the same logics of control, surveillance and power as the feudalism that dominated medieval society. The states and big corporations both compete and cooperate, just like the states and the church in Middle Ages.

Hollow parties and their movement-ization: The populist conundrum

This article focuses on the relationship between social movements and political parties in the context of populist challenges to constitutional democracy. There are many reasons for the current plight of democracy but I focus here on one aspect: the decline of mainstream political parties, the emergence of new forms of populist movement parties and the general crisis of political representation in long consolidated Western democracies. This article analyses the specific political logic and dynamics of social movements – the logic of influence, and distinguishes it from that of political parties – the logic of power. It addresses transformations in movements, parties and their relationships. It looks at the shifts in movement and party types that constitute the political opportunity structure for the emergence of new populist movement party forms and relationships, focusing on the hollowing out and movement-ization of political parties. Contemporary populist movement parties are not the cause of the hollowing out or movement-ization of political parties. Rather they are a response to the crisis of political representation exemplified by hollow parties and cartel parties. But it is my thesis that thanks to its specific logic, populism fosters the worst version of movement party relationships, undermining the democratic functions of both.

Institutional logics of ungating communities in China

Setting against the global trend of gated communities, this paper uncovers the phenomenon of ungating communities in China and discusses its rationale from the institutional logics perspective. With focuses on work unit compounds and commodity housing estates, the paper provides an understanding of gated communities as the interplay of state, market, and community logics. It attributes the rationale of ungating to 1) institutional entrepreneurship in the urban profession for intensive land use; 2) structural overlap between the professional logics of sustainable urbanization, the state logics of governance legitimacy, the market logics of continuous economic growth, and the community logics of distributive justice; 3) event sequencing through a series of policies to shift the societal focus-of-attention from scale and speed of urbanization to sustainability and justice. Challenges of ungating communities exist in the scale of spatial subdivision, the legitimacy of club goods, and the managerial and democratic turn of urban governance. In contrast to the neoliberal assertion of the weakening professions and the spreading market logics, this paper reveals the power of professional logics in promoting ungating communities and its potential of triggering more profound societal changes.

A Binary Line Buffer Circuit Featuring Lossy Data Compression at Fixed Maximum Data Rate

Video processing requires an increasing amount of buffered data. The paper proposes a multi-line buffer circuit that stores compressed data thus saving logic and power. The lossy compression algorithm provides the output stream with a fixed, decided by the user, delay from the input stream. Further, the amount of memory of the compressed buffer can be designed to trade off the correctness of the output with the logic resources footprint. The circuit is tested in a computer vision processing chain as a binary line buffer for the stream of foreground pixels. The paper also proposes a multi-line buffer circuit that integrates a morphological operation. The latter, when compared against the state of the art and against the proposed multi-line lossy buffer, allows larger saving of logic resources (up to 75%) and power (up to 85%), with reduced penalty on video quality.

The Stuplime Loops of Becoming-Slug: A Prosthetic Intervention in Orientalist Animality

The Stuplime Loops of Becoming-Slug: A Prosthetic Intervention in Orientalist Animality

Pinter’s The Dwarfs: Bullying, Silent Violence and the Trauma

The purpose of this study is to interpretate Harold Pinter‘s The Dwarfs, on the perspective of bullying. Bullying is a sort of violence; silent violence that stabs with a dagger into someone’s heart could be more dangerous and threatening rather than physical violence. In fact, Bullying is a serious social issue, since it is not limited to adolescents but has spread to adults. In the play, we can deduce the aspects of bullying that accompanies mental and emotional violence resulting from cryptic relationships of the unpleasant characters, Pete, Mark and Len. Len, the victim of bullying of the two friends, suffers from Post-Traumatic Stress Disorder, exposed to extreme anxiety, and eventually he gets hospitalized. As is well known, the socio-political issues that Pinter intends to deal with through his plays is largely an uncomfortable truth, driven by the logic of coercive power, but like The Dwarfs, some are metaphors for the inevitable suffering of helpless individuals. This study highlights the latter.

Multi-objective algebraic rewriting in XOR-majority graphs

XOR-Majority graph (XMG) is a logic representation that is using exclusive-OR (XOR), majority-of-three (MAJ), and inverters as primitives, which is an extension of Majority-Inverter Graph (MIG). Previous work presented an axiomatic system, Ω, and its derived transformation rules for the manipulation of MIGs. By additionally introducing XOR primitive, to enable powerful logic rewriting in XMGs is inseparable from the development of the identities of MAJ-XOR operations. Further, since many emerging nanotechnologies, such as quantum-dot cellular automata (QCA) technology, are inherently majority-based, XMGs/MIGs are efficient logic representations to map into these nanotechnologies. In this paper, we first proposed two MAJ-XOR identities and exploited their potential optimization opportunities during structural rewriting. Then, we consider the inversion optimization in XMGs since the cost to implement inversion is prohibitive in some nanotechnologies. After that, we discuss the rewriting rules for multi-objective optimization. Finally, the experiments conducted over EPFL benchmark suites show that the proposed method can optimize the number of nodes, inverters, and levels of XMGs, which in turn benefits to the implementation cost of these circuits using QCA as well as quantum circuits.

Electrical Characteristics Assessment on Heterojunction Tunnel FET (HTFET) by Optimizing Various High-κ Materials: HfO2/ZrO2

In this paper, DC performance of double gate tunnel field effect transistor with heterojunction has been assessed by various III-V compound semiconductor materials using 2-D Technology Computer Aided Design (TCAD) simulations. Different hetero high-κ dielectric materials like HfO2, ZrO2 have been incorporated to achieve better electrical characteristics, viz. high ON-state current drivability, improved switching ratio and high tunneling probability. In this work, lower band gap materials have been used as hetero gate dielectric to enhance mobility using band to band tunneling (BTBT), transconductance and steeper subthreshold-slope. The heterojunction TFET (HTFET) then incorporated with various hetero dielectrics (high-κ and low-κ combination), where the ZrO2 – SiO2 combination of dielectric having thickness of 2 nm both in front and back gate, attains maximum value of ION as 1.522 × 10-5 A/μm. The subthreshold swing (ss) has also been recorded best as 23.93 mV/dec in comparison with conventional homo dielectric i.e. SiO2-SiO2 oxide throughout the 50 nm channel of HTFET as 34.22 mV/dec, can serve as better alternative tunnel FETs in low power logic applications.