Array processors are gaining importance as fabrication technology scales down. Thus a simple and systematic method to implement algorithms in array architectures is desirable. In this paper a general Integer Linear Pr...
详细信息
ISBN:
(纸本)9780780393899
Array processors are gaining importance as fabrication technology scales down. Thus a simple and systematic method to implement algorithms in array architectures is desirable. In this paper a general Integer Linear Program (ILP) is formulated to minimize computation time and interconnection length. The ILP is solved with various constraints on the parallel computation time and interconnect space. Different cost functions as desired by the designer can be added to the optimization process. Viterbi decoder is considered as a case study. Optimum array architecture is obtained using the proposed ILP.
This paper presents a non-conventional program pulse approach for Phase-Change Memories (PCMs). The cell programming curve is experimentally evaluated and discussed. The proposed Set-Sweep program pulse allows compens...
详细信息
ISBN:
(纸本)9780780393899
This paper presents a non-conventional program pulse approach for Phase-Change Memories (PCMs). The cell programming curve is experimentally evaluated and discussed. The proposed Set-Sweep program pulse allows compensating for spreads in cell physical parameters. This ensures a better SET condition for marginal cells and adequately narrow SET distributions, which results in improved read margin. Experimental results have been collected from a 8-Mb BJT-selected PCM demonstrator. The effectiveness of the proposed program pulse has been proved by comparing cell distributions obtained on the whole array by means of a conventional SET box and a Set-Sweep program pulse, respectively.
This paper presents a formal definition of Alan. Alan is a programming language that aims to integrate both the agent-oriented and the object-oriented programming. The end is to take advantages from both the paradigms...
详细信息
ISBN:
(纸本)9780978569907
This paper presents a formal definition of Alan. Alan is a programming language that aims to integrate both the agent-oriented and the object-oriented programming. The end is to take advantages from both the paradigms. We want to explore how we can reason in terms of encapsulation, inheritance, polymorphism, and so on while we program in terms of the the beliefs, the desires, and the plans of an agent. We define the formal specification of Alan in the rewriting logic language Maude. In this respect, this paper represents the first step towards a complete formal definition of the operational semantics of Alan. This opens us the possibilty of using the wide-spectrum of formal modeling and reasoning supported by Maude: analyzing Alan programs by means of model checking, proving properties of particular Alan programs, and proving general properties of the Alan language.
This paper proposes two new methods for optimizing hardware resources in finite wordlength implementation of multiple-output (MO) linear time invariant systems. The hardware complexity is measured by the exact interna...
详细信息
ISBN:
(纸本)9780780393899
This paper proposes two new methods for optimizing hardware resources in finite wordlength implementation of multiple-output (MO) linear time invariant systems. The hardware complexity is measured by the exact internal wordlength used for each intermediate data. The first method relaxes the wordlength from integer to real-value and formulates the design problem as a geometric programming, from which an optimal solution of the relaxed problem can be determined. The second method is based on a discrete optimization method called the Marginal Analysis method, and it yields the desired wordlengths in integer values. By combining these two methods, a hybrid method is also proposed, which is found to be very effective for large scale MO systems. Design example shows that the proposed algorithms offer better results and a lower design complexity than conventional methods.
The scope of this paper is how we can achieve reusability by merging two different programming languages. The two entirely different languages, Net and Java can be merged together to achieve huge benefits of reusabili...
详细信息
ISBN:
(纸本)0769525466
The scope of this paper is how we can achieve reusability by merging two different programming languages. The two entirely different languages, Net and Java can be merged together to achieve huge benefits of reusability. It is basically achieved by combining an existing system of any language (Net or Java) with the other language to give you a new product without changing your existing systems.
Approximately linear phase FIR Alters with reduced group delays are desirable in certain applications. Conventional design methods indirectly achieve the desired group delay by approximating the complex frequency resp...
详细信息
Java Media Framework (JMF) is platform-independent multimedia programming framework which enables easy and fast development of collaborative applications. This paper describes our work on building a high efficient mul...
详细信息
ISBN:
(纸本)9780978569907
Java Media Framework (JMF) is platform-independent multimedia programming framework which enables easy and fast development of collaborative applications. This paper describes our work on building a high efficient multimedia collaboration system using JMF. We introduce a new rendering approach to optimize the performance of JMF and add screen capturing capability as well as new codecs. Based on this enhanced framework, a high efficient and platform-independent conferencing client named Global-MMCS AVPortlet is developed. The performance evaluation shows that it outperforms other well-known video collaboration tools.
We present an incipient implementation of a programming language that allows programming of real-time applications distributed over a network. We have several goals in mind: First, the language should be built on a so...
详细信息
ISBN:
(纸本)0769526381
We present an incipient implementation of a programming language that allows programming of real-time applications distributed over a network. We have several goals in mind: First, the language should be built on a sound semantics and offer support for model-based conformance testing. At the same time the language should place the normal programmer (who tends to shy away from exceedingly formal constructs) in a comfortable environment. Thirdly, programs written in this language should run on commodity systems, without relying on real-time support from the kernel. Finally, the language separates the code from timing restrictions, thus allowing for code re-use.
Our homes are rapidly being filled with diverse types of products ranging from simple lighting systems to sophisticated entertainment systems, all adding to the functionality and convenience available to the home user...
详细信息
ISBN:
(纸本)1424403251
Our homes are rapidly being filled with diverse types of products ranging from simple lighting systems to sophisticated entertainment systems, all adding to the functionality and convenience available to the home user. In this paper we introduce a variant of end-user programming in the form of a tool called PiP that empowers non technical end users to be able to "program" the functionality of their personal pervasive computing environments to suit their particular needs. The paper also includes a user evaluation that shows end-users find this approach to be a useable and enjoyable experience.
A novel partial-product reduction circuit for use in integer multiplication is presented. The High-Performance Multiplier (HPM) reduction tree has the ease of layout of a simple carry-save reduction array, but is in f...
详细信息
ISBN:
(纸本)9780780393899
A novel partial-product reduction circuit for use in integer multiplication is presented. The High-Performance Multiplier (HPM) reduction tree has the ease of layout of a simple carry-save reduction array, but is in fact a high-speed low-power Dadda-style tree having a worst-case delay which depends on the logarithm (O (log N)) of the word length N.
暂无评论