|
|
|
题名
|
作者
|
年代
|
出处
|
被引量
|
| 1 | Highly reliable transient stability solution method using energy function显示文摘 | Ando Ryuuichi Shinichi Iwamoto Waseda University | 1988 | ElectricalEngineering in Japan1988，108，4： | 1 |
| 2 | Loop Peeling Based on Quasi-Invariance/Induction Variables显示文摘Loop optimization plays an important role in compiler optimization and program transformation. Many sophisticated techniques such as loop invariance code motion have been developed. Loop peeling is a technique to assist parallelization of loops by unfolding loops a few times. This paper introduces a novel technique called loop peeling based on quasi invariance/induction variables. It aims at finding a general and automatic method to derive how many times a given loop should be peeled. Our technique allows for a number of iterations before some variables assigned inside a given loop become invariance or induction variables. In this paper we define the notion of quasi invariance/induction variables, present an algorithm for statically computing the optimal peeling length of a given loop. Our technique can increase the accuracy of program analyses, improve the effectiveness of loop peeling and is well suited as supporting other optimization techniques in the context of supercomputers. | Litong Song, Robert Glück, Yoshihiko Futamura Institute for Software Production Technology, Waseda University, Okubo 3 4 1, Shinjuku ku Tokyo 169 8555, Japan | 2001 | Wuhan University Journal of Natural Sciences2001，6，Z1： | 1 |
| 3 | Automatic Generation of Very Efficient Programs by Generalized Partial Computation显示文摘Generalized Partial Computation (GPC) is a program transformation method utilizing partial information about input data, properties of auxiliary functions and the logical structure of a source program. GPC uses both an inference engine such as a theorem prover and a classical partial evaluator to optimize programs. Therefore, GPC is more powerful than classical partial evaluators but harder to implement and control. We have implemented an experimental GPC system called WSDFU (Waseda Simplify Distribute Fold Unfold). This paper discusses the power of the program transformation system, its theorem prover and future works. | Yoshihiko Futamura 1,Zenjiro Konishi 2, Robert Glück 3 1.Department of Informationr and Computer Science,Waseda University, 3 4 1 Okubo, Shinjuku, Tokyo 169 8555, Japan 2. Institute for Software Production Technology,Waseda University, 3 4 | 2001 | Wuhan University Journal of Natural Sciences2001，6，Z1： | 0 |
| 4 | Inverse Computation and the Universal Resolving Algorithm显示文摘We survey fundamental concepts for inverse programming and then present the Universal Resolving Algorithm, an algorithm for inverse computation in a first order, functional programming language. We discuss the key concepts of the algorithm, including a three step approach based on the notion of a perfect process tree, and demonstrate our implementation with several examples of inverse computation. | Sergei Abramov 1, Robert Glück 2 1 Program Systems Institute Russian Academy of Sciences, RU 152140 Pereslavl Zalessky, Russia 2 PRESTO,JST & Institute for Software Production Technology, Waseda University, Tokyo 169 8555, Japan | 2001 | Wuhan University Journal of Natural Sciences2001，6，Z1： | 0 |
| 5 | SEMIDISCRETIZATION IN SPACE OF NONLINEAR DEGENERATE MRABOLIC EQUATIONS WITH BLOW-UP OF THE SOLUTIONS显示文摘Semidiscretization in space of nonlinear degenerate parabolic equations of nondivergent form is presented, under zero Dirichlet boundary condition. It is shown that semidiscrete solutions blow up in finite time. In particular, the asymptotic behavior of blowing-up solutions, is discussed precisely. | Tetsuya Ishiwata (Post Doctoral Fellow of High-Tech Research Center, Faculty of Science and Technology, Ryukoku University, SETA, OHTSU, 520-2194, Japan) Masayoshi Tsutsumi (Department of Applied Physics, Waseda University, Tokyo 169, Japan) | 2000 | Journal of Computational Mathematics2000，18，6： | 0 |
| 6 | Abstraction from Constructors and Functional Constructors and Their Applications显示文摘Structures using constructors are of ordinary use in functional programming to represent data structures of unbound size. Lack of associativity of constructors, however, hinders program analyses or efficient executions. This paper describes ideas of abstraction toward constructors, and similarly abstraction from constructing functions, which we call functional constructors. We demonstrate our ideas making program analyses easier and enable transformation to efficient execution. | Kazuhiko Kakehi 1, Robert Gluck 2, Yoshihiko Futamura 3 1 JSPS Research Fellow Graduate School of Science and Engineering, Waseda University,Tokyo 169 8555, Japan 2 PRESTO, JST & Institute for Software Production Technology, Waseda Universi | 2001 | Wuhan University Journal of Natural Sciences2001，6，Z1： | 0 |
| 7 | Human Serum Albumin Hybrid Incorporating Synthetic Hemes:A Novel O_2-Carrying Hemoprotein显示文摘Incorporation of synthetic heme(FeP) into recombinant human serum albumin(rHSA) provides an artificial hemoprotein(rHSA-FeP) which can bind and release oxygen reversibly under physiological conditions(in aqueous media, pH 7 3, 37 ℃) like hemoglobin(Hb) and myoglobin. An rHSA host absorbs maximally eight FeP molecules, and the solution properties are almost identical to those of rHSA itself. The second-order structure and surface charge distribution of rHSA were always constant independent of the binding numbers of FeP. Its O 2-binding ability satisfies the initial clinical requirements for red cell substitute. Although the NO-binding affinity is 8-fold high compared to the Hbs, administration of this fluid into rats showed negligible change in the blood pressure. Physiological responses to exchange transfusion with this rHSA-FeP into anaesthetized rats have also been evaluated. | Eishun TSUCHIDA *, Teruyuki KOMATSU, Yuping WU, Yubin HUANG(Department of Polymer Chemistry,Advanced Research Institute for Science and Engineering,Waseda University,Tokyo 169-8555,Japan) Dedicated to the Occasion of the 80th Birthday of Prof.HUANG | 2001 | 应用化学2001，18，5： | 0 |
| 8 | CREATION OF OPTIMAL MOVEMENT STRATEGY OF PLURAL MOVING OB-JECTS BY GA显示文摘CREATIONOFOPTIMALMOVEMENTSTRATEGYOFPLURALMOVINGOB-JECTSBYGACREATIONOFOPTIMALMOVEMENTSTRATEGYOFPLURALMOVINGOB-JECTSBYGASuSuche... | Su Suchen Tsuchiya Kiichi( Waseda University, Japan) | 1995 | Chinese Journal of Mechanical Engineering1995，8，2： | 0 |
您所在的机构暂未开通此部分的功能，请联系管理员