the Constraint Simplification Rules (CSR) subset of CHR and the flat subset of LCC, where agent nesting is restricted, are very close syntactically and semantically. the first contribution of this paper is to provide ...
详细信息
Summary form only given. Clusters revolutionized computing by making supercomputer capabilities widely available. But one of the main drivers of that revolution, the rapid doubling of processor clock rates, ran out of...
详细信息
ISBN:
(纸本)9780769540399
Summary form only given. Clusters revolutionized computing by making supercomputer capabilities widely available. But one of the main drivers of that revolution, the rapid doubling of processor clock rates, ran out of steam several years ago. To maintain (or even increase) the historic rate of improvement in computing power, processor designs are rapidly increasing parallelism at all levels, including more functional units, more cores, and ways to share resources among threads. Heterogeneous designs that use more specialized processors such as GPGPUs are becoming common. the scale of high-end systems is also getting larger, with1000-core systems becoming commonplace and systems with over 300,000 cores planned for 2011. However, the software and algorithms for these systems are still basically the same as when the cluster revolution began. Drawing on experiences withthe sustained PetaFLOPS system, called Blue Waters, to be installed at Illinois in 2011, and with exploratory work into Exascale system designs, this talk will discuss some of the challenges facing the cluster community as scalability becomes increasingly important and reviews some of the developments in algorithms, programming models, and software frameworks that must complement the evolution of cluster hardware.
In the paper techniques for writing simple, transparent and effective programs for solving some problems in optimal control are presented. the calculation of functional gradients is the background for the fixed-time p...
详细信息
ISBN:
(纸本)9789616165303
In the paper techniques for writing simple, transparent and effective programs for solving some problems in optimal control are presented. the calculation of functional gradients is the background for the fixed-time problems. the terminal function can be constant or else it has to be minimized. the direct algorithm is based on Euler discretization of a dynamic system and object functional. the discretized system is linearized. then the best solution is searched using linear programming iteratively. the advantage of this algorithm is that the constraints in the control and state variables reduce the computational complexity of a non constraint problem. Typical examples illustrate the use of the described formalism. All solutions are validated with other methods.
this paper presents the Total Optimisation using Answer Set Technology (TOAST) system, which can be used to generate optimal code sequences for machine architectures via if technique known as superoptimisation. Answer...
详细信息
ISBN:
(纸本)9783642042379
this paper presents the Total Optimisation using Answer Set Technology (TOAST) system, which can be used to generate optimal code sequences for machine architectures via if technique known as superoptimisation. Answer set programming (ASP) is utilised as the modelling and computational framework for searching over the large. complex search spaces and for proving the functional equivalence of two code sequences. Experimental results are given showing the progress made in solver performance over the previous few years, along with an Outline Of future developments to the system and applications within compiler toolchanis.
All major parameters of electronic PCM characterization happen to have some significant "non-universalities." the presence of electrical contacts and interfaces allows only limited application of programming...
详细信息
ISBN:
(纸本)9781424449538
All major parameters of electronic PCM characterization happen to have some significant "non-universalities." the presence of electrical contacts and interfaces allows only limited application of programming mechanisms typical for optical memory to electronic PCM. the fine structure of current voltage (IV) in a prethreshold (prethreshold conduction mechanisms can be affected by device size), and post. threshold range of currents and resistance current (RI) characteristics, will be discussed together withthe dimensionality effects and the specifics of set and reset resistance programming in devices with different contact geometry. Some of discussed phenomena, and general functional possibilities of the effects of negative differential conductivity and switching in noncrystallizing and memory alloys, are presented.
We introduce a new programming language construct, Interactors, supporting the agent-oriented view that programming is a dialog between simple, self-contained, autonomous building blocks. We define Interactors as an a...
详细信息
ISBN:
(纸本)9783540929949
We introduce a new programming language construct, Interactors, supporting the agent-oriented view that programming is a dialog between simple, self-contained, autonomous building blocks. We define Interactors as an abstraction of answer generation and refinement in logic Engines resulting in expressive language extension and metaprogramming patterns. As a first step toward a declarative semantics, we sketch a pure Prolog specification showing that Interactors can be expressed at source level, in a relatively simple and natural way. Interactors extend language constructs like Ruby, Python and C#'s multiple coroutining block returns through yield statements and they can emulate the action of fold operations and monadic constructs in functional languages. Using the Interactor API, we describe at source level, language extensions like dynamic databases and algorithms involving generation of infinite answer streams.
In this paper we present the work in progress on LogCHEM, an ILP based tool for discriminative interactive mining of chemical fragments. In particular, we describe the integration with a molecule visualisation softwar...
详细信息
ISBN:
(纸本)9783642024801
In this paper we present the work in progress on LogCHEM, an ILP based tool for discriminative interactive mining of chemical fragments. In particular, we describe the integration with a molecule visualisation software that allows the chemist to graphically control the search for interesting patterns in chemical fragments. Furthermore, we show how structured information, such as rings, functional groups like carboxyl, amine, methyl, ester, etc are integrated and exploited in LogCHEM.
In this paper, inequalities of integer hull polyhedrons are used in mixed integer linear programming (MILP) to model the behavior of combinational subsystems, introducing a new solution for the satisfiability (SAT) pr...
详细信息
In this paper, inequalities of integer hull polyhedrons are used in mixed integer linear programming (MILP) to model the behavior of combinational subsystems, introducing a new solution for the satisfiability (SAT) problem at register transfer level (RTL). Since in these models the vertexes are located at integer positions, they can be used with linear programming (LP) to solve SAT problems. Unfortunately, when combining together several models to make up a compound RTL description, internal vertexes may appear forcing to declare one or more variables as integer. However, the use of these models inside an RTL SAT problem reduces the number of branches needed to solve the whole integer problem. Results show a CPU solution time reduction greater than one order of magnitude, growing withthe size of the problem.
All major parameters of electronic PCM characterization happen to have some significant ¿nonuniversalities.¿ the presence of electrical contacts and interfaces allows only limited application of programming ...
详细信息
ISBN:
(纸本)9781424449538;9781424449545
All major parameters of electronic PCM characterization happen to have some significant ¿nonuniversalities.¿ the presence of electrical contacts and interfaces allows only limited application of programming mechanisms typical for optical memory to electronic PCM. the fine structure of current voltage (IV) in a prethreshold (prethreshold conduction mechanisms can be affected by device size), and post-threshold range of currents and resistance current (RI) characteristics, will be discussed together withthe dimensionality effects and the specifics of set and reset resistance programming in devices with different contact geometry. Some of discussed phenomena, and general functional possibilities of the effects of negative differential conductivity and switching in noncrystallizing and memory alloys, are presented.
In this paper we propose a way to study the ultimate technological node for Flash cell described in the international Technology Roadmap for Semiconductors (ITRS), corresponding to the 22 nm feature size. We have firs...
详细信息
ISBN:
(纸本)9781424449538;9781424449545
In this paper we propose a way to study the ultimate technological node for Flash cell described in the international Technology Roadmap for Semiconductors (ITRS), corresponding to the 22 nm feature size. We have first developed a 2D TCAD simulation of a 4-bit-NAND string based on classical microelectronics recipes, to validate the whole process conditions. To check the good behavior of our processed cells, we first evaluate the programmed and erased threshold voltages by electrically simulating the Drain Current versus Control Gate Voltage. then we also investigate the impact of the short space between neighbor cells on disturb between cells inside the NAND string. We have developed a 3D TCAD simulation of a 3 × 3 array, based on the previous 2D process simulation, in order to extract the values of parasitic capacitances, disturbing the whole functioning of the array.
暂无评论