We designed a job management system for improving automation level of job execution process in manufacturing grid. System function included job modeling and programming, resource matching, job scheduling and status mo...
详细信息
We designed a job management system for improving automation level of job execution process in manufacturing grid. System function included job modeling and programming, resource matching, job scheduling and status monitoring. Each function component was encapsulated as a grid service according to grid paradigm and invoked through a job management centre, which makes manufacturing resources and job execution process shared availably in a transparent way. The exploitation of most function components has been completed. The system will be integrated to a regional network manufacturing platform and provide grid services for enterprises.
This paper addresses two challenges of the consumer semiconductor industry: (1) economical and social forces are increasingly reducing the length of product life cycles, and (2) the continuing exponential growth of th...
详细信息
ISBN:
(纸本)0780364120
This paper addresses two challenges of the consumer semiconductor industry: (1) economical and social forces are increasingly reducing the length of product life cycles, and (2) the continuing exponential growth of the on-chip transistor count is pushing design complexity. In concert these two trends represent a formidable challenge for semiconductor companies that aim to benefit from future technological developments in highly competitive markets. The paper derives a relation between on-chip memory real estate and compute logic, suggesting that homogeneous multiprocessors are an unavoidable consequence of the technology curve. A particular approach to homogeneous multiprocessing is then presented that combines scalability with high computational performance and with high power efficiency. We also present the implementation of a programming paradigm for homogeneous multiprocessors that focuses on reuse of tested and approved functions at the software level. This enables a shift from today's not-so-successful practice of hardware core reuse to the reuse of functions that have very well defined and uniform interfaces. The time frame for large scale commercial application of this type of homogeneous multiprocessor architecture is expected to coincide with the arrival of 0.07 micron technology for consumer products, i.e. 2006 and beyond. The paper concludes with a case study of an MPEG2 decoder and how a few simple guidelines can significantly increase the exposed concurrency of the application.
In getting to the next millennium, we are confronted with a serious challenge that threatens the catastrophic collapse of our information systems infrastructure. The effort to deal with that will, of necessity, lead u...
详细信息
In getting to the next millennium, we are confronted with a serious challenge that threatens the catastrophic collapse of our information systems infrastructure. The effort to deal with that will, of necessity, lead us to new ways of understanding and managing our data and information systems. This paper explores the nature of this infrastructure and some new concepts and techniques that will be needed to save it. If applied successfully, such concepts and techniques will transform the way we manage our data and information systems.
The authors present a new dependence test which can detect disjoint regions of an iteration space. The test therefore reports accurate dependences for a class of conditional statements. The proposed algorithm can disc...
详细信息
The authors present a new dependence test which can detect disjoint regions of an iteration space. The test therefore reports accurate dependences for a class of conditional statements. The proposed algorithm can discover large-scale parallelism in cases where previous decision algorithms fail. The methods and algorithms for solving the subdomain dependence test are described. Also considered is the application of the subdomain dependence test to the problem of 'dependence cycle breaking' and the use of the subdomain dependence test in analyzing functional programs.< >
Static Single Assignment (SSA) is the workhorse of modern optimizing compilers for imperative programming languages. However, functional languages have been slow to adopt SSA and prefer to use intermediate representat...
详细信息
functional programming typically emphasizes programmingwith first-class functions and immutable data. Immutable data types enable fault tolerance in distributed systems, and ensure process isolation in message-passing...
详细信息
We propose a methodological approach for the formal specification and verification of RISC processor microarchitectures within a functional framework. The approach exploits only the next state function to formally spe...
详细信息
We propose a methodological approach for the formal specification and verification of RISC processor microarchitectures within a functional framework. The approach exploits only the next state function to formally specify both ISA and MA levels and proves their equivalence in a systematic way. Moreover, the proof could be performed at different architectural levels. The central idea consists of decomposing the next state function into coordinates such that to model the microarchitecture at the component level. Such decomposition allows the proof to be systematically decomposed into a set of verification conditions more simple to reason about and to verify. The potential features of the proof methodology are demonstrated over the MIPS processor within Haskell framework.
In an on-chip Back-Propagation (BP) algorithm learning neuron, both the sigmoidal activation function and its derivative are needed. A novel analog circuit is proposed, which can realize both functions. The neuron can...
详细信息
ISBN:
(纸本)0780362535
In an on-chip Back-Propagation (BP) algorithm learning neuron, both the sigmoidal activation function and its derivative are needed. A novel analog circuit is proposed, which can realize both functions. The neuron can be adapted to various environments by programming the threshold and the gain factor of the sigmoidal function. The nonlinear partition problem is used to verify the operation of the proposed circuit.
We demonstrate a natural mapping from XML element types to ML module expressions. The mapping is inductive and definitions of common XML operations can be derived as the module expressions are composed. We show how to...
详细信息
ISBN:
(纸本)9781581134155
We demonstrate a natural mapping from XML element types to ML module expressions. The mapping is inductive and definitions of common XML operations can be derived as the module expressions are composed. We show how to derive, in a generic way, the validation function, which checks an XML document for conformance to its DTD (Document Type Definition). One can view validation as assigning ML types to XML elements and the validation procedure a pre-requisite for typeful XML programming in ML. Our mapping uses the parametric module facility of ML in some contrived way. For example, in validating WML (WAP Markup Language) documents, we need to use 36ary type constructors, as well as higher-order modules that take in as many as 17 modules as input. That one can systematically model XML DTDs at the module level suggests ML-like languages are suitable for type-safe prototyping of DTD-aware XML applications.
Many applications of real-time systems feature a combination of "continuous" (possibly sampled) and discrete (sequencing and task control) behaviors, both reactive to the evolutions of the execution environm...
详细信息
Many applications of real-time systems feature a combination of "continuous" (possibly sampled) and discrete (sequencing and task control) behaviors, both reactive to the evolutions of the execution environment. In particular, robotics applications involve the programming of the control functions for each task, and the sequencing of such tasks at a higher level. In the framework of the real-time synchronized data-flow language SIGNAL, we propose extensions based on time intervals, enabling the specification of tasks, and of their suspension or abortion for their sequencing in reaction to discrete events. This paper illustrates the application of these constructs to active vision in robotics, where successive phases have to be sequenced, each associated with a particular control law, in order to recognise a complex environment.< >
暂无评论