this conference proceedings includes 41 papers discussing recent advancements in steel forging technology. Covered are topics such as manufacture of forging steel ingots;advanced steelmaking processes;steel ingot forg...
详细信息
this conference proceedings includes 41 papers discussing recent advancements in steel forging technology. Covered are topics such as manufacture of forging steel ingots;advanced steelmaking processes;steel ingot forging techniques;heat treatment and embrittlement of steel forgings;segregation in steel forgings;manufacture of turbine rotor, pressure vessel, and other forgings;forging machines and their control and automation;computer applications in forging operations;forging machine programming;heating furnaces for forging operations;etc. Twenty four papers are in English, 15 in German, and 2 in French. Technical and professional papers from this conference are indexed withthe conference code no. 00802 in the Ei Engineering Meetings (TM) database produced by Engineering Information, Inc.
this conference proceedings includes 41 papers discussing recent advancements in steel forging technology. Covered are topics such as manufacture of forging steel ingots; advanced steelmaking processes; steel ingot fo...
详细信息
this conference proceedings includes 41 papers discussing recent advancements in steel forging technology. Covered are topics such as manufacture of forging steel ingots; advanced steelmaking processes; steel ingot forging techniques; heat treatment and embrittlement of steel forgings; segregation in steel forgings; manufacture of turbine rotor, pressure vessel, and other forgings; forging machines and their control and automation; computer applications in forging operations; forging machine programming; heating furnaces for forging operations; etc. Twenty four papers are in English, 15 in German, and 2 in French. Technical and professional papers from this conference are indexed withthe conference code no. 00802 in the Ei Engineering Meetings (TM) database produced by Engineering Information, Inc.
A class of integrated-circuit implementations of algorithms for inverting an n x n triangular matrix is described. these networks have area A and time T, with an area x time**2 product AT**2 equals 0(n**4) for all val...
详细信息
A class of integrated-circuit implementations of algorithms for inverting an n x n triangular matrix is described. these networks have area A and time T, with an area x time**2 product AT**2 equals 0(n**4) for all values of T such that 0(log**2n) less than equivalent to T less than equivalent to 0(n). the presented networks are asymptotically optimal in the VLSI model.
the success of high performance multiple processor systems depends upon the ability to decompose a program into small segments suitable for execution on one processor. It is argued that purely applicative languages ar...
详细信息
the success of high performance multiple processor systems depends upon the ability to decompose a program into small segments suitable for execution on one processor. It is argued that purely applicative languages are better suited for parallel processing because they offer considerable advantage over Fortran-like languages in program transformation and decomposition. A scheme for decomposing applicative programs is described through examples.
Presented is a specification language for expressing properties required among operations accessing shared resources in a concurrent environment. Such constraints are necessary in order to maintain the integrity of re...
详细信息
Presented is a specification language for expressing properties required among operations accessing shared resources in a concurrent environment. Such constraints are necessary in order to maintain the integrity of resources. the language is founded on Temporal Logic and possesses constructs for expressing, in a natural manner, properties such as mutual exclusion of operation execution, priority among operations, invariance of resource state, and scheduling disciplines. Feasibility of the specification and synthesis technique is demonstrated by applying it to a standard synchronization problem.
Aspects of the design and implementation of CSP/80, a language based on Hoare9;s communicating sequential processes, are discussed. the goal of the design has been to stay as close to Hoare9;s original notation ...
详细信息
Aspects of the design and implementation of CSP/80, a language based on Hoare's communicating sequential processes, are discussed. the goal of the design has been to stay as close to Hoare's original notation as possible. the goal of the implementation has been to reduce the amount of reinvention by making utmost use of facilities provided by the operating system (UNIX). this has shortened the implementation time considerably. CSP/80 is to be used for evaluating CSP as a programming language for distributed processing applications.
the success of high performance multiple processor systems depends upon the ability to decompose a program into small segments suitable for execution on one processor. It is argued that purely applicative languages ar...
详细信息
the success of high performance multiple processor systems depends upon the ability to decompose a program into small segments suitable for execution on one processor. It is argued that purely applicative languages are better suited for parallel processing because they offer considerable advantage over Fortran-like languages in program transformation and decomposition. A scheme for decomposing applicative programs is described through examples.
Presented is a specification language for expressing properties required among operations accessing shared resources in a concurrent environment. Such constraints are necessary in order to maintain the integrity of re...
详细信息
Presented is a specification language for expressing properties required among operations accessing shared resources in a concurrent environment. Such constraints are necessary in order to maintain the integrity of resources. the language is founded on Temporal Logic and possesses constructs for expressing, in a natural manner, properties such as mutual exclusion of operation execution, priority among operations, invariance of resource state, and scheduling disciplines. Feasibility of the specification and synthesis technique is demonstrated by applying it to a standard synchronization problem.
the analysis of a distributed evaluator for an applicative language FGL (Function Graph Language) is outlined. the goal is to show that the least fixed point semantics of FGL are faithfully implemented by the hardware...
详细信息
the analysis of a distributed evaluator for an applicative language FGL (Function Graph Language) is outlined. the goal is to show that the least fixed point semantics of FGL are faithfully implemented by the hardware evaluator envisioned in the Applicative Multi-Processor Systems AMPS. Included in the analysis are a formalization of demand-driven computation, the introduction of an intermediate graphic language IGL to aid in the proofs, and discussion of pragmatic issues involved in the AMPS machine language design.
A class of integrated-circuit implementations of algorithms for inverting an n x n triangular matrix is described. these networks have area A and time T, with an area x time**2 product AT**2 equals 0(n**4) for all val...
详细信息
A class of integrated-circuit implementations of algorithms for inverting an n x n triangular matrix is described. these networks have area A and time T, with an area x time**2 product AT**2 equals 0(n**4) for all values of T such that 0(log**2n) less than equivalent to T less than equivalent to 0(n). the presented networks are asymptotically optimal in the VLSI model.
暂无评论