Filters








2,561 Hits in 4.3 sec

Automatic array alignment for distributed memory multicomputers

Wolfe, Ikei
1994 Proceedings of the Twenty-Seventh Hawaii International Conference on System Sciences HICSS-94  
Languages such a s F ortran-D and High Performance Fortran use explicit virtual processor arrays (Templates or Decompositions) to which the programmer explicitly aligns the arrays of the program.  ...  Our compiler technique \resurrects" the lost dimensions of the data arrays to successfully apply automatic data alignment.  ...  Conclusion We h a ve implemented automatic array alignment in the Tiny program restructuring tool.  ... 
doi:10.1109/hicss.1994.323282 fatcat:f3pu32tsqjhnhhqgsqsgs3e63i

Loop parallelisation tool for message-passing systems

Alfred C.K. Heng, Malcolm Y.H. Low
1997 Microprocessors and microsystems  
The tool is useful for experimenting with parallel programming and will be our testbed for future research. 0 1997 Elsevier Science B.V.  ...  On the other hand, parallelisation for message-passing systems is not as well researched.  ...  Acknowledgement The authors are grateful to Wen-Jing for reviewing the paper.  ... 
doi:10.1016/s0141-9331(96)01107-6 fatcat:4ub7wt6fgzcsjfsal76xbmwjle

Reverse Engineering through Formal Transformation: Knuth's 'Polynomial Addition' Algorithm

M. P. Ward
1994 Computer journal  
The transformations are carried out in the WSL language, a \wide spectrum language" which includes both low-level program operations and high level speci cations, and which has been speci cally designed  ...  Our aim is to manipulate the program, using semantics-preserving operations, into an equivalent high-level speci cation.  ...  Acknowledgements The research described in this paper has been supported by SERC 1 project \A Proof Theory for Program Re nement and Equivalence: Extensions".  ... 
doi:10.1093/comjnl/37.9.795 fatcat:fn6lwvm4tje4bmi4vgz4rwmdla

Sensorless Starting of Direct Drive Horizontal Axis Washing Machines

Anton Dianov, Nam Su Kim, Seung Moo Lim
2014 Journal of international Conference on Electrical Machines and Systems  
This paper suggests modified open-loop starting, where control system is closed shortly after beginning at low speed and rotates the drum until laundry restructuring.  ...  Inertia of the tub and water, torque from the laundry make load torque at starting higher than rated one and sometimes even higher than the maximum torque of the motor, which makes sensorless starting  ...  The corrected pulses have tiny asymmetry relative to the PWM period (half of the dead-time), but it does not significantly affect the current.  ... 
doi:10.11142/jicems.2014.3.2.148 fatcat:r4wz4xdd5vgkxknw55fwoanaly

Boosting the performance of computational fluid dynamics codes for interactive supercomputing

Paul R. Woodward, Jagan Jayaraj, Pei-Hung Lin, Pen-Chung Yew, Michael Knox, Jim Greensky, Anthony Nowatski, Karl Stoffels
2010 Procedia Computer Science  
The code restructuring required to achieve the necessary CPU performance boost, as well as the parallel computing methods and systems used to enable interactive flow simulation are described.  ...  Requirements for these techniques to be applied to other codes are discussed, and our plans for tools that will assist programmers to exploit these techniques are briefly described.  ...  Research work reported here as well as the development of our multifluid PPM gas dynamics code and translation tools for the Cell processor and Roadrunner system has been supported through a contract from  ... 
doi:10.1016/j.procs.2010.04.230 fatcat:5jpcbpx2pnaana2dxo2f6p3siq

Automated Mass Maintenance of Software Assets

Niels Veerman
2007 11th European Conference on Software Maintenance and Reengineering (CSMR'07)  
The research in this chapter was supported by the Software Improvement Group Amsterdam [184] , who also provided the source code for the case studies.  ...  Philip Pirovano helped us with the partitioning of the call graph. Road map We discussed how portfolio-wide changes can be carried out consistently and at low risk by using automatic tools.  ...  Furthermore, the research showed that automatic tools can detect this kind of problems prematurely, and they can be isolated using restructuring techniques, such as the technique we presented in Chapter  ... 
doi:10.1109/csmr.2007.15 dblp:conf/csmr/Veerman07 fatcat:wbdt5nlnunbinfdutdlmmliub4

The Omega test: a fast and practical integer programming algorithm for dependence analysis

William Pugh
1991 Proceedings of the 1991 ACM/IEEE conference on Supercomputing - Supercomputing '91  
The Omega test is an integer programming  ...  The tiny loop restructuring research tool. In Proc of 1991 International Conference on Parallel P~ocess8ng, 1991. Michael Wolfe and Chau-Wen Tseng.  ...  We applied this tool to the programs 1, 3, 4, 5 and 7 of the NASA NAS benchmark suite and to all the tiny source files distributed with tiny, (which include Cholesky decomposition, LU  ... 
doi:10.1145/125826.125848 dblp:conf/sc/Pught91 fatcat:et532mooanfj7exj5kzxwfwmmy

Program Analysis by Formal Transformation

M. P. Ward
1996 Computer journal  
the algorithm.  ...  Besides a complex control flow, the program uses arrays to represent various linked lists and sets, which are manipulated in various "ingenious" ways so as to squeeze the last ounce of performance from  ...  Acknowledgements The research described in this paper has been supported by an EPSRC 3 project "A Proof Theory for Program Refinement and Equivalence: Extensions".  ... 
doi:10.1093/comjnl/39.7.598 fatcat:3ma4zd3znngyln4wlunrejb2ru

The Case for Care: Multiyear teachers are the future of mobilizing care in education

Daisy Culkins
2017 #CritEdPol Journal of Critical Education Policy Studies at Swarthmore College  
Looping is an academically effective and cost-effective way of mobilizing care in public education as supported by psychology and education research.  ...  Education researchers have studied caring teachers to define what care looks like in practice: getting to know students personally, listening to the wants and needs of the child, their parents and the  ...  Despite clear evidence on the effectiveness of looping, restructuring a school is still a daunting task for any administrator.  ... 
doi:10.24968/2473-912x.2.1.4 fatcat:xafbmcqiijdrfeciakqdhr6vey

Eliminating false data dependences using the Omega test

William Pugh, David Wonnacott
1992 SIGPLAN notices  
Permission to copy without fee all or part of this material is granted provided that the copies are not made or distributed for direct commercial advantage, the ACM copyright notice and the title of the  ...  These false dependence arise because the questions asked are conservative approximations to the questions we really should be asking.  ...  Also, special thanks to Michael Wolfe for making his tiny program freely available,  ... 
doi:10.1145/143103.143129 fatcat:w5dnm2besrblxnqkl4boge3uqy

Optimization of Economic Load Dispatch Problem by Using Particle Swarm Optimization Technique-A Review

2016 International Journal of Science and Research (IJSR)  
The economic load dispatch plays a crucial role in the operation of the power grid.  ...  dispatch is that the online economic dispatch, whereby it's needed to distribute the load amongst offered generating units paralleled with the system in such a way.  ...  Most of the facility transfer is distributed through wheeling transactions within the restructured power market. ELD used a robust assistant tool in each designing and in operation stage.  ... 
doi:10.21275/v5i3.nov161726 fatcat:nyh26kyhd5hopgekmscd643vwy

Implementing Information Systems to support knowledge work: an exploration of work motifs

Christopher J. Davis, Ellen M. Hufnagel
2004 European Conference on Information Systems  
The paper suggests a number of avenues for future KMS implementation research.  ...  The research presented in this paper is part of a larger study of the organizational impacts of information systems on knowledge work.  ...  to the successful implementation of new systems and tools to support knowledge workers.  ... 
dblp:conf/ecis/DavisH04 fatcat:ezeahlz65vh6hpyxjznusfz7ta

Influenza A Virus Entry Inhibitors Targeting the Hemagglutinin

Jie Yang, Minmin Li, Xintian Shen, Shuwen Liu
2013 Viruses  
Here we reviewed the recent progress in the study of conformational changes of HA during viral fusion process and the development of HA-based IAV entry inhibitors, which may provide a new choice for controlling  ...  Therefore, HA is an attractive target for developing anti-IAV drugs to block the entry step of IAV infection.  ...  The statements in this paper reflect the reviews of the authors and we apologize for any unintended missed reference in this review.  ... 
doi:10.3390/v5010352 pmid:23340380 pmcid:PMC3564125 fatcat:uvnsxor2inghdfyubwodr52iwq

The privilege to select in an unequal research system

Lisa Engström, Wiebke Keim
2020 Nordic Journal of Library and Information Studies  
of this tool of self-observation of the research system, the emergence of research in the 'periphery' [see Chapter 3] was still easy to ignore, and postcolonial theory was only known to some literature  ...  However, this is inadequate, since those databases cover only a tiny part of global research output. In particular, they tend to marginalise the global Souths.  ... 
doi:10.7146/njlis.v1i2.122916 fatcat:bqmbxl6cpbhgjlcriy7uynzrvm

Janus: Statically-Driven and Profile-Guided Automatic Dynamic Binary Parallelisation

Ruoyu Zhou, Timothy M. Jones
2019 2019 IEEE/ACM International Symposium on Code Generation and Optimization (CGO)  
These are encoded as a series of rewrite rules, the steps needed to convert a serial loop into parallel form.  ...  A static binary analyser first examines a binary executable, to determine the loops that are amenable to parallelisation and the transformations required.  ...  ACKNOWLEDGEMENTS This work was supported by the Engineering and Physical Sciences Research Council (EPSRC) through grant references EP/K026399/1 and EP/P020011/1, and Arm Ltd.  ... 
doi:10.1109/cgo.2019.8661196 dblp:conf/cgo/Zhou019 fatcat:u23nm37usncgrhblqtzwjcpkoy
« Previous Showing results 1 — 15 out of 2,561 results