Prior to the introduction of guard systems for electronic mail, guards tended to be overly specialized and not versatile enough for today's user community. This paper examines the use of Type Enforcement to create...
详细信息
Prior to the introduction of guard systems for electronic mail, guards tended to be overly specialized and not versatile enough for today's user community. This paper examines the use of Type Enforcement to create a highly assured yet administrator configurable guard. The administrator must be able to trust that the configuration provided will indeed be followed. This occurs by using highly assured or trusted components. These trusted components are then linked together via Type Enforcement to form a pipeline, with one input channel for data to enter the guard, and one separate, connected output channel for data to exit the guard. These channels are connected via assured processes whose behavior is restricted by the Type Enforcement mechanism. Furthermore, Type Enforcement is also used to isolate many components of the guard, which simplifies the assurance arguments. This technology is applied in the latest operational guards developed by Secure computing Corporation.
When evaluating architectural and packaging options for an architecture, one commonly encounters the problem of meeting performance requirements within the constraints of weight, volume and power envelope as well as t...
详细信息
ISBN:
(纸本)0818677430
When evaluating architectural and packaging options for an architecture, one commonly encounters the problem of meeting performance requirements within the constraints of weight, volume and power envelope as well as the amount of computation performance that can be realized with a given physical envelope. This assessment process can be guided by a metric to be relatively consistent in past applications. It incorporates throughput in million operations per second (MOPS), weight in kilograms, and power in watts. The MOPS/(***) ratio has been used to evaluate technology and packaging tradeoffs.
This paper presents a new configurable pruning Gaussian image filter CMOS architecture to address energy efficiency requirements regarding edge detection applications. Low-energy consumption is key for Internet of Thi...
详细信息
ISBN:
(纸本)9781728109961
This paper presents a new configurable pruning Gaussian image filter CMOS architecture to address energy efficiency requirements regarding edge detection applications. Low-energy consumption is key for Internet of Things (IoT) devices. Many emerging IoT applications rely on cameras to extract video or image features by running power-hungry computer vision algorithms. The Gaussian image filter is one of the most compute intensive tasks for pre-processing edge detection techniques which are widely adopted in the computer vision domain. Therefore, our proposed 2D Gaussian filter architecture enables: i) a low power and low area overhead run-time configuration scheme based on clock gating technique to prune the Gaussian filter (GF) window size, and ii) run-time capability to balance the tradeoff between edge detection quality and energy efficiency. Our proposed configurable architecture is synthesized and mapped onto 45 nm technology for an ASIC implementation. Results show that for 6 different run-time profiles our proposed configurable architecture provides power dissipation reduction of up to 64% with multiple levels of edge detection quality, which is assessed by considering the performance conformance metric.
In this paper, an economy-based Grid simulator named as EcoGrid is presented. EcoGrid is developed as a test-bed for Grid scheduling algorithms that are based on dynamic load balancing. EcoGrid is dynamically configur...
详细信息
ISBN:
(纸本)9781450307505
In this paper, an economy-based Grid simulator named as EcoGrid is presented. EcoGrid is developed as a test-bed for Grid scheduling algorithms that are based on dynamic load balancing. EcoGrid is dynamically configurable. It optimizes the cost of execution of a process and maximizes the profit of a service provider system. As compared to other commonly used Grid simulation tools like GridSim and SimGrid, this simulator provides more enhanced features like configurable, scalable and extensible. This object oriented simulator also supports execution of Java applications. EcoGrid supports simulation of both the economy based and non-economy based scheduling algorithm. Copyright 2011 ACM.
Reconfigurable machines have recently been used as co-processors to accelerate the execution of certain algorithms or program subroutines. The problems with the above approach include high reconfiguration time and lim...
详细信息
ISBN:
(纸本)0819429872
Reconfigurable machines have recently been used as co-processors to accelerate the execution of certain algorithms or program subroutines. The problems with the above approach include high reconfiguration time and limited partial reconfiguration. By far the most critical problems are: 1) the small on-chip memory which results in slower execution time, and 2) small FPGA areas that cannot implement large subroutines. Dynamically Programmable Cache (DPC) is a novel architecture for embedded processors which offers solutions to the above problems. To solve memory accesses problems, DPC processors merge reconfigurable arrays with the data cache at various cache levels to create a multi-level reconfigurable machines. As a result DPC machines have both higher data accessibility and FPGA memory bandwidth. To solve the limited FPGA resource problem, DPC processors implement multi-context switching (Virtualization) concept. Virtualization allows implementation of large subroutines with fewer FPGA cells. Additionally, DPC processors can parallelize the execution of several operations resulting in faster execution time. In this paper, the speedup improvement for DPC machines are shown to be 5X raster than an Altera FLEX10K FPGA chip and 2X faster than a Sun Ultral SPARC station for two different algorithms (convolution and motion estimation).
The development of distributed smart homes is accelerating with the approach of the Pervasive computing era. Heterogeneous devices and network is a significant feature in these smart homes. However, the realization of...
详细信息
Introduction of re-configurable hardware into embedded systems has given a new direction to fault tolerant computing. It is now feasible to satisfy the reliability and performance constraints on demanding applications...
详细信息
ISBN:
(纸本)9783642194221
Introduction of re-configurable hardware into embedded systems has given a new direction to fault tolerant computing. It is now feasible to satisfy the reliability and performance constraints on demanding applications while reducing the overall cost of the system. In order to evaluate the system's performance metrics, the application's specifications are mapped and scheduled to the computing and communication resources and their dynamic reconfiguration capabilities are exploited. Our automated architecture design algorithm explores the design space and selects the optimal architecture which reconfigures itself into partial functional states in such a way that the most important services as perceived by the user are always available. The system availability is evaluated on the basis of Continuous Time Malloy model and user's importance of service availability in partly and fully functional states. Two multi-objective genetic algorithms have been employed for architecture optimization.
Software as a Service (SaaS) providers can serve thousands of customers, which have hundreds of thousands of overlapping requirements, using a single application instance to offer service at a lower price. Even with a...
详细信息
ISBN:
(纸本)9781479940936
Software as a Service (SaaS) providers can serve thousands of customers, which have hundreds of thousands of overlapping requirements, using a single application instance to offer service at a lower price. Even with a potentially large number of customers with varying requirements, a multi tenant application should make co-tenancy transparent to the tenants, which means that every tenant must appear to be the sole owner of the application, to achieve this, a highly configurable multi-tenant solution is needed. In this paper, we analyze variation in multiple tenants' requirements, to propose a classification for multi-tenant application requirements, and implement variability realization techniques depending on requirement levels. Furthermore, we prioritize the tenants' requirements to satisfy as many customer requirements as possible, and provide key guidelines to software architects and developers to implement a configuration layer in a multi-tenancy architecture.
Timing errors are a growing concern for system resilience as technology continues to scale. It is problematic to use low-fidelity errors such as single-bit flips to model realistic timing errors. We address the lack o...
详细信息
ISBN:
(数字)9781450362290
ISBN:
(纸本)9781450362290
Timing errors are a growing concern for system resilience as technology continues to scale. It is problematic to use low-fidelity errors such as single-bit flips to model realistic timing errors. We address the lack of holistic methodology and tool for evaluating resilience of applications against timing errors. The proposed technique is able to rapidly inject high-fidelity and configurable timing errors to applications at the instruction level. Our implementation has no runtime dependencies on proprietary tools, enabling full parallelism of error injection campaign. Furthermore, because an injection point may not generate an actual error for a particular application run, we propose an acceleration technique to maximize the likelihood of generating errors that contribute to the overall campaign with speedup up to 7X. With our tool, we show that realistic timing errors lead to distinct error profiles from those of radiation-induced errors at both the instruction level and the application level.
Low-density parity-check (LDPC) codes form an important subclass of error correcting coding techniques, and its implementation has been hot spot of domains such as signal process, magnetic recording or next generation...
详细信息
暂无评论