This thesis is a part of an ongoing research project at Link ̈oping University. The goal of the thesis work is to design and implement a prototype for a symbolic execution system that scales well with larger programs and is capable of performing symbolic execution on machine code. For this reason we have analyzed the current state of symbolic executors that are able to perform symbolic execution on machine code to see if we could use that implementation as base for our prototype. We wanted to know if any of the existing systems scaled well with large software. We found that neither of the existing systems worked well with the real life software in our evaluation. Furthermore, even if it would have been possible to fix one of the existing systems, the time required to figure out the faults in their implementation would most likely have been too great. For this reason we decided to create an implementation of our own from scratch. However, we did note that some approaches in the existing systems seemed to work better with large software. Specifically saving as little state as possible about the program seemed favorable. Armed with the knowledge gained from the analysis, we managed to implement a system that compared quite well with the existing systems. Our system was able to execute all the real-life programs used in our tests, but unfortunately had some issues with high memory usage for certain programs. In order to lessen the problem with high memory usage, we present and discuss several potential ways to mitigate this issue.

No description available.

No description available.

With the recent move to multi-core architectures it has become important to create the means to exploit the performance made available to us by these architectures. Unfortunately parallel programming is often a difficult and time-intensive process, even to expert programmers. Auto-parallelisation tools have aimed to fill the performance gap this has created, but static analysis commonly employed by such tools are unable to provide the performance improvements required due to lack of information at compile-time. More recent aggressive parallelisation tools use profiled-execution to discover new parallel opportunities, but these tools are inherently unsafe. They require either manual confirmation that their changes are safe, completely ruling out auto-parallelisation, or they rely upon speculative execution such as software thread-level speculation (SW-TLS) to confirm safe execution at runtime. SW-TLS schemes are currently very heavyweight and often fail to provide speedups for a program. Performance gains are dependent upon suitable parallel opportunities, correct selection and configuration, and appropriate execution platforms. Little research has been completed into the automated implemention of SW-TLS programs. This thesis presents an automated, machine-learning based technique to select and configure suitable speculation schemes when appropriate. This is performed by extracting metrics from potential parallel opportunities and using them to determine if a loop is suitable for speculative execution and if so, which speculation policy should be used. An extensive evaluation of this technique is presented, verifying that SW-TLS configuration can indeed be automated and provide reliable performance gains. This work has shown that on an 8-core machine, up to 7.75X and a geometric mean of 1.64X speedups can be obtained through automatic configuration, providing on average 74% of the speedup obtainable through manual configuration. Beyond automated configuration, this thesis explores the idea that many SW-TLS schemes focus too heavily on recovery from detecting a dependence violation. Doing so often results in worse than sequential performance for many real-world applications, therefore this work hypothesises that for many highly-likely parallel candidates, discovered through aggressive parallelisation techniques, would benefit from a simple dependence check without the ability to roll back. Dependence violations become extremely expensive in this scenario, however this would be incredibly rare. With a thorough evaluation of the technique this thesis confirms the hypothesis whilst achieving speedups of up to 22.53X, and a geometric mean of 2.16X on a 32-core machine. In a competitive scheduling scenario performance loss can be restricted to at least sequential speeds, even when a dependence has been detected. As a means to lower costs further this thesis explores other platforms to aid in the execution of speculative error checking. Introduced is the use of a GPU to offload some of the costs to during execution that confirms that using an auxiliary device is a legitimate means to obtain further speedup. Evaluation demonstrates that doing so can achieve up to 14.74X and a geometric mean of 1.99X speedup on a 12-core hyperthreaded machine. Compared to standard CPU-only techniques this performs slightly slower with a geometric mean of 0.96X speedup, however this is likely to improve with upcoming GPU designs. With the knowledge that GPU’s can be used to reduce speculation costs, this thesis also investigates their use to speculatively improve execution times also. Presented is a novel SW-TLS scheme that targets GPU-based execution for use with aggressive auto-parallelisers. This scheme is executed using a competitive scheduling model, ensuring performance is no lower than sequential execution, whilst being able to provide speedups of up to 99X and on average 3.2X over sequential. On average this technique outperformed static analysis alone by a factor of 7X and achieved approximately 99% of the speedup obtained from manual parallel implementations and outperformed the state-of-the-art in GPU SW-TLS by a factor of 1.45.

Before the age of sensibility, the literary scaffold was a device, albeit one with its own set of associations. Its purpose was to arrest plot, create tension, and render character. Fictional representations of execution typically did not question the place of capital punishment in society. They were heroic events in which protagonists were threatened with a judicial device that was presumed righteous in every other case but their own. But in the eighteenth century, the fictional scaffold acquired new significance: it deepened a Gothic or sublime tone, tested reader and character sensibility, and eventually challenged the judicial status quo. The reliance on the scaffold to generate atmosphere, to wring our compassion, or to examine the legal value of the individual resulted in a new type of literature that I call scaffold fiction, a genre that persists to this day. Representations of execution in eighteenth-century tragedy, in Gothic narratives, and in novels of sensibility centered more and more on a hero’s scaffold anxiety as a means of enlarging pathos while subverting legal tradition. Lingering on a character’s last hours became the norm as establishment tools like execution broadsheets and criminal biography gave way to scaffold fictions like Lee’s The Recess and Smith’s The Banished Man—fictions that privilege the body of the condemned rather than her soul and no longer reaffirm the law’s prerogative. And because of this shift in the material worth of individuals, the revolutionary fictions of the Romantic era in particular induced questions about the scaffold’s own legitimacy. For the first time in Western literary history, representations of execution usually had something to imply about execution itself, not merely the justness of a particular individual’s fate. The first two chapters of my study are devoted to close readings of Georgian tragedy and Gothic novels, which provide a representative sample of the kinds of tropes particular to scaffold fiction (if they exist before the eighteenth century, they are less vivid, less present). The negotiation of a sentence, the last farewell, the lamentation of intimates, the imagined scaffold death of a loved one, and the taboo attachment of a condemned Christian to his flesh became more sustained and elaborate, opening up new arguments about the era’s obsession with sublimity, imagination, and sympathy, which in turn provide me with critical frameworks. The last two chapters pull back from the page in order to examine how literary representations of execution shifted as perspectives on the death penalty shifted. Anti-Jacobin fictions that feature the scaffold, for instance, were confounded by the device’s now vexed status as a judicial solution. Challenging the supposed authoritarian thrust of texts like Mangin’s George the Third and Craik’s Adelaide de Narbonne, the anti-Jacobin scaffold was swept up in a general reimagining of the object and its moral implication, which by extension helps to dismantle the reductive Jacobin/anti-Jacobin binary which critics increasingly mistrust. My final chapter devotes space to William Godwin, whose novels underscore the moral horror of the scaffold not just as the ultimate reification of the law’s power but, more interestingly, as the terminus of the “poor deserted individual, with the whole force of the community conspiring his ruin” (Political Justice). Godwin, a Romantic writer who anticipates Victorian and twentieth-century capital reforms, brings the scaffold fiction of writers like Defoe and Fielding into fruition as he wrote and agitated at the height of the Bloody Code, creating a template for Dickens, Camus and a host of modern authors and filmmakers.

Before the age of sensibility, the literary scaffold was a device, albeit one with its own set of associations. Its purpose was to arrest plot, create tension, and render character. Fictional representations of execution typically did not question the place of capital punishment in society. They were heroic events in which protagonists were threatened with a judicial device that was presumed righteous in every other case but their own. But in the eighteenth century, the fictional scaffold acquired new significance: it deepened a Gothic or sublime tone, tested reader and character sensibility, and eventually challenged the judicial status quo. The reliance on the scaffold to generate atmosphere, to wring our compassion, or to examine the legal value of the individual resulted in a new type of literature that I call scaffold fiction, a genre that persists to this day. Representations of execution in eighteenth-century tragedy, in Gothic narratives, and in novels of sensibility centered more and more on a hero’s scaffold anxiety as a means of enlarging pathos while subverting legal tradition. Lingering on a character’s last hours became the norm as establishment tools like execution broadsheets and criminal biography gave way to scaffold fictions like Lee’s The Recess and Smith’s The Banished Man—fictions that privilege the body of the condemned rather than her soul and no longer reaffirm the law’s prerogative. And because of this shift in the material worth of individuals, the revolutionary fictions of the Romantic era in particular induced questions about the scaffold’s own legitimacy. For the first time in Western literary history, representations of execution usually had something to imply about execution itself, not merely the justness of a particular individual’s fate. The first two chapters of my study are devoted to close readings of Georgian tragedy and Gothic novels, which provide a representative sample of the kinds of tropes particular to scaffold fiction (if they exist before the eighteenth century, they are less vivid, less present). The negotiation of a sentence, the last farewell, the lamentation of intimates, the imagined scaffold death of a loved one, and the taboo attachment of a condemned Christian to his flesh became more sustained and elaborate, opening up new arguments about the era’s obsession with sublimity, imagination, and sympathy, which in turn provide me with critical frameworks. The last two chapters pull back from the page in order to examine how literary representations of execution shifted as perspectives on the death penalty shifted. Anti-Jacobin fictions that feature the scaffold, for instance, were confounded by the device’s now vexed status as a judicial solution. Challenging the supposed authoritarian thrust of texts like Mangin’s George the Third and Craik’s Adelaide de Narbonne, the anti-Jacobin scaffold was swept up in a general reimagining of the object and its moral implication, which by extension helps to dismantle the reductive Jacobin/anti-Jacobin binary which critics increasingly mistrust. My final chapter devotes space to William Godwin, whose novels underscore the moral horror of the scaffold not just as the ultimate reification of the law’s power but, more interestingly, as the terminus of the “poor deserted individual, with the whole force of the community conspiring his ruin” (Political Justice). Godwin, a Romantic writer who anticipates Victorian and twentieth-century capital reforms, brings the scaffold fiction of writers like Defoe and Fielding into fruition as he wrote and agitated at the height of the Bloody Code, creating a template for Dickens, Camus and a host of modern authors and filmmakers.

The uncertainty factors of management environmental variation, often can affect the enterprise operation. Thus, correct direction and effective management is a prerequisite for the enterprise to pursue perpetual victory. However, the effective management must draw support from the effective method. In the early time¡§the policy management¡¨ most applies in the TQM (Total Quality Management) ¡AUntil now ¡ATQM has been unified mutually with the enterprise strategy plan and becomes management method of the strategy execution which unified the company mission, the management idea, the company value, the cultural prospect, the policy goal, the strategy plan, the execution plan, as well as company resources overall management . Practically there are many Japanese enterprises penetrate the implementation of the policy management. Appropriately eagerly anticipates the superintendent's work from various social strata, and to faces forward the overall goal of enterprise. But the application and the appliance were still few in domestic; even having also belongs to the application of the quality control domain category. Hence it needs more study on whether the domestic enterprise penetrates the policy management to bring the synthesis effect for its organization and enables to achieve the goal of organization smoothly. Moreover, because enterprise's management strategy must rely on its resources and to impel continually, this makes the strategy into action and strategy execution result will displays in the management achievement. When the enterprise would like to rely on the policy management impetus to change the strategy into the concrete action, the strength and the weakness of appliance would affect the impetus achievement. Many enterprises neglect the relations among to carry out the appliance and the policy and the management achievements, which make the operation of business performance unable to obtain the anticipated effect. This research is to discussing the relations among policy management, implement ability, and the management achievements. This research is to review the relations among policy management, implement ability, and the management achievement and use Mektec Co as a research object as well as the interview with three top managers and the special survey from 150 employees by quantification analysis to discuss the relations among policy management, Execution and production achievement. Finally by the real diagnosis research analysis, proposes the conclusion and the suggestion. This research comprehensive as follows conclusion: 1. The enterprise picks policy management can provide the leadership implement strategy attempt of ¡§the strategy, the policy, and the goal management method integration¡¨. 2. To confirm the interaction connection among ¡§the policy management, Execution, the organization achievements¡¨. 3. The four factors of Execution display intermediary function in the policy management 4. The enterprise wants to pursue the strategy goal achievements. After practical analysis, the control system pattern of ¡§the strategy as the shape, the policy as the action¡¨ can be used.

Zugl.: Marburg, Univ., Diss., 2008

Before the age of sensibility, the literary scaffold was a device, albeit one with its own set of associations. Its purpose was to arrest plot, create tension, and render character. Fictional representations of execution typically did not question the place of capital punishment in society. They were heroic events in which protagonists were threatened with a judicial device that was presumed righteous in every other case but their own. But in the eighteenth century, the fictional scaffold acquired new significance: it deepened a Gothic or sublime tone, tested reader and character sensibility, and eventually challenged the judicial status quo. The reliance on the scaffold to generate atmosphere, to wring our compassion, or to examine the legal value of the individual resulted in a new type of literature that I call scaffold fiction, a genre that persists to this day. Representations of execution in eighteenth-century tragedy, in Gothic narratives, and in novels of sensibility centered more and more on a hero’s scaffold anxiety as a means of enlarging pathos while subverting legal tradition. Lingering on a character’s last hours became the norm as establishment tools like execution broadsheets and criminal biography gave way to scaffold fictions like Lee’s The Recess and Smith’s The Banished Man—fictions that privilege the body of the condemned rather than her soul and no longer reaffirm the law’s prerogative. And because of this shift in the material worth of individuals, the revolutionary fictions of the Romantic era in particular induced questions about the scaffold’s own legitimacy. For the first time in Western literary history, representations of execution usually had something to imply about execution itself, not merely the justness of a particular individual’s fate. The first two chapters of my study are devoted to close readings of Georgian tragedy and Gothic novels, which provide a representative sample of the kinds of tropes particular to scaffold fiction (if they exist before the eighteenth century, they are less vivid, less present). The negotiation of a sentence, the last farewell, the lamentation of intimates, the imagined scaffold death of a loved one, and the taboo attachment of a condemned Christian to his flesh became more sustained and elaborate, opening up new arguments about the era’s obsession with sublimity, imagination, and sympathy, which in turn provide me with critical frameworks. The last two chapters pull back from the page in order to examine how literary representations of execution shifted as perspectives on the death penalty shifted. Anti-Jacobin fictions that feature the scaffold, for instance, were confounded by the device’s now vexed status as a judicial solution. Challenging the supposed authoritarian thrust of texts like Mangin’s George the Third and Craik’s Adelaide de Narbonne, the anti-Jacobin scaffold was swept up in a general reimagining of the object and its moral implication, which by extension helps to dismantle the reductive Jacobin/anti-Jacobin binary which critics increasingly mistrust. My final chapter devotes space to William Godwin, whose novels underscore the moral horror of the scaffold not just as the ultimate reification of the law’s power but, more interestingly, as the terminus of the “poor deserted individual, with the whole force of the community conspiring his ruin” (Political Justice). Godwin, a Romantic writer who anticipates Victorian and twentieth-century capital reforms, brings the scaffold fiction of writers like Defoe and Fielding into fruition as he wrote and agitated at the height of the Bloody Code, creating a template for Dickens, Camus and a host of modern authors and filmmakers.

A review of the literature reveals that the ability to execute strategy is more important than the quality of the strategy itself. Researchers indicate that despite the importance of the strategy execution process, far more research has been carried out into strategy formulation rather than into strategy execution. The literature shows that executives fail to execute up to 70 percent of their strategic initiatives, this research set out to explore the drivers and inhibitors of executing strategy. This research involved a qualitative study which consisted of in-depth, face-to-face interviews. A total of 25 executives were interviewed from a large South African financial institution. Content and frequency analysis were used to extract key constructs from the data obtained during the interview process. The outcome of this research has resulted in drivers and inhibitors critical to effective strategy execution being explicitly defined. The findings have been used to develop an empirically based framework which highlights six key factors which must be considered simultaneously in order to successfully execute strategy. These are: obtaining top executive commitment, generating engagement at all levels, communicating a clear, tangible strategy, cascading accountabilities, selecting the best people to drive key initiatives, and the ability to monitor and track progress. Copyright / Dissertation (MBA)--University of Pretoria, 2010. / Gordon Institute of Business Science (GIBS) / unrestricted