Filters








1,823,051 Hits in 7.7 sec

Possibilities and limitations of call-by-need space improvement

Jörgen Gustavsson, David Sands
2001 Proceedings of the sixth ACM SIGPLAN international conference on Functional programming - ICFP '01  
( $ 0 ) 1 © Q g © ¢ p E ¤ © Q ¢ e & E ¦ © Q B ) $ & © 3 © Q 1 7 ) ¢ & 8 § @ ) 8 C B E ¦ © @ ) b § ¥ % © ¦ V Limitations of Weak Improvement 3 5 0 ) ( ¢ F ¦ ) ( $ 0 b $ & © 3 T ¦ 8 # 4 r ¥ ( $ H ) ¢ B  ...  AND LIMITATIONS $ & 1 I © @ C & E ) A 1 I © @ ) ( ¢ ¤ 3 & ¥ H © 3 5 0 ) ¦ 8 3 E S 1 I " % $ & ¥ g © 1 I © ¢ " ¦ $ & ¥ " g © Q $ & 8 © 3 4 6 ¥ $ 9 $ & © § Q T ¦ $ & 3 8 g © X 4 6 T ¤ ¢ ¦ § Q & 8 ¥ ' ¢  ...  Case Study 6: Tupling RELATED WORK AND CONCLUSIONS  ... 
doi:10.1145/507663.507667 fatcat:ecknrzqidvci5kljxpmwtg4on4

Possibilities and limitations of call-by-need space improvement

Jörgen Gustavsson, David Sands
2001 SIGPLAN notices  
( $ 0 ) 1 © Q g © ¢ p E ¤ © Q ¢ e & E ¦ © Q B ) $ & © 3 © Q 1 7 ) ¢ & 8 § @ ) 8 C B E ¦ © @ ) b § ¥ % © ¦ V Limitations of Weak Improvement 3 5 0 ) ( ¢ F ¦ ) ( $ 0 b $ & © 3 T ¦ 8 # 4 r ¥ ( $ H ) ¢ B  ...  AND LIMITATIONS $ & 1 I © @ C & E ) A 1 I © @ ) ( ¢ ¤ 3 & ¥ H © 3 5 0 ) ¦ 8 3 E S 1 I " % $ & ¥ g © 1 I © ¢ " ¦ $ & ¥ " g © Q $ & 8 © 3 4 6 ¥ $ 9 $ & © § Q T ¦ $ & 3 8 g © X 4 6 T ¤ ¢ ¦ § Q & 8 ¥ ' ¢  ...  Case Study 6: Tupling RELATED WORK AND CONCLUSIONS  ... 
doi:10.1145/507669.507667 fatcat:zk7o4atl6bdmfpnmvspa5fi2pa

Possibilities and limitations of call-by-need space improvement

Jörgen Gustavsson, David Sands
2001 Proceedings of the sixth ACM SIGPLAN international conference on Functional programming - ICFP '01  
( $ 0 ) 1 © Q g © ¢ p E ¤ © Q ¢ e & E ¦ © Q B ) $ & © 3 © Q 1 7 ) ¢ & 8 § @ ) 8 C B E ¦ © @ ) b § ¥ % © ¦ V Limitations of Weak Improvement 3 5 0 ) ( ¢ F ¦ ) ( $ 0 b $ & © 3 T ¦ 8 # 4 r ¥ ( $ H ) ¢ B  ...  AND LIMITATIONS $ & 1 I © @ C & E ) A 1 I © @ ) ( ¢ ¤ 3 & ¥ H © 3 5 0 ) ¦ 8 3 E S 1 I " % $ & ¥ g © 1 I © ¢ " ¦ $ & ¥ " g © Q $ & 8 © 3 4 6 ¥ $ 9 $ & © § Q T ¦ $ & 3 8 g © X 4 6 T ¤ ¢ ¦ § Q & 8 ¥ ' ¢  ...  Case Study 6: Tupling RELATED WORK AND CONCLUSIONS  ... 
doi:10.1145/507635.507667 dblp:conf/icfp/GustavssonS01 fatcat:jb3fpdhrqfhdnjmhbsrx5lofiy

A software solution for dynamic stack management on scratch pad memory

Arun Kannan, Aviral Shrivastava, Amit Pabalkar, Jong-eun Lee
2009 2009 Asia and South Pacific Design Automation Conference  
Our experiments on benchmarks from MiBench [15] show average energy savings of 37% along with a performance improvement of 18%.  ...  As opposed to previous efforts, our solution does not mandate any hardware changes, does not need profile information, and SPM size at compile-time, and seamlessly integrates support for recursive functions  ...  The use of profile limits their scope of application, not only because of the difficulty in obtaining reasonable profiles, but also due to high space and time requirements to generate a profile.  ... 
doi:10.1109/aspdac.2009.4796548 dblp:conf/aspdac/KannanSPL09 fatcat:cy2acp7oerbinabsfndcgwu4pa

Introducing kernel-level page reuse for high performance computing

Sébastien Valat, Marc Pérache, William Jalby
2013 Proceedings of the ACM SIGPLAN Workshop on Memory Systems Performance and Correctness - MSPC '13  
In this paper, we detail a proposal to improve paging performance by removing the needs of this unproductive page zeroing through an extension of the mmap semantic.  ...  Due to computer architecture evolution, more and more HPC applications have to include thread-based parallelism and take care of memory consumption.  ...  A French FSN (Fond pour la Socit Numrique) cooperative project that associates academics and industrials partners in order to design then provide building blocks for a new generation of HPC datacenters  ... 
doi:10.1145/2492408.2492414 dblp:conf/pldi/ValatPJ13 fatcat:eg5su4jmk5axtksenidcawur7q

Optimizing Deep Neural Networks with Multiple Search Neuroevolution [article]

Ahmed Aly, David Weikersdorfer, Claire Delaunay
2019 arXiv   pre-print
This is by far the largest network ever evolved using a pool of only 50 samples.  ...  It is tested by training neural networks for two tasks, and compared with other optimization algorithms. The first task is to solve Global Optimization functions with challenging topographies.  ...  ACKNOWLEDGMENT We thank Vik Goel and Qiyang Li for their insightful comments and discussions.  ... 
arXiv:1901.05988v1 fatcat:qqgmtg2gobb7dbv4uez5dcw32u

Editorial: Data-driven modelling and high-fidelity simulations

Vittorio Michelassi, Li He
2021 Journal of the Global Power and Propulsion Society  
Still, the scope of gas-turbine technology development is strongly influenced (as well as limited) by the quality and capability of the conventional design methods and tools.  ...  Second, the foreseeable future will see a further step-change in technology and opportunities that call for significant extension of the design space and decisive nonconventional steps away from current  ...  Still, the scope of gas-turbine technology development is strongly influenced (as well as limited) by the quality and capability of the conventional design methods and tools.  ... 
doi:10.33737/jgpps/135933 fatcat:4z46peugf5e2jdvvbuxh6gr7xy

Sentient Ascend: AI-Based Massively Multivariate Conversion Rate Optimization

Risto Miikkulainen, Neil Iscoe, Aaron Shagrin, Ryan Rapp, Sam Nazari, Patrick McGrath, Cory Schoolland, Elyas Achkar, Myles Brundage, Jeremy Miller, Jonathan Epstein, Gurmeet Lamba
2018 PROCEEDINGS OF THE THIRTIETH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE AND THE TWENTY-EIGHTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE  
Traditional CRO is thus limited to a small fraction of the design space only.  ...  A commercial product since September 2016, Ascend has been applied to numerous web interfaces across industries and search space sizes, with up to four-fold improvements over human design.  ...  First, web designers, who are used to A/B and multivariate testing, often try to minimize the search space as much as possible, i.e. limit the number of elements and values, thereby not giving evolution  ... 
doi:10.1609/aaai.v32i1.11387 fatcat:hsckkxnlwfcx5acq5nhqkufu24

Page 313 of Astronomy and Astrophysics Vol. 200, Issue 1-2 [page]

1988 Astronomy and Astrophysics  
The smoothing idea One way to decrease the number of 6-functions needed and to go to lower levels, is to smooth the map and the dirty beam and use CLEAN on the smooth map because this produces improvements  ...  A disadvantage of their method is that it is only applicable when the source is strongly limited in size. Moreover good uv-coverage is needed.  ... 

LATTICE QCD WITH LIGHT TWISTED QUARKS: FIRST RESULTS

A. SHINDLER
2007 High Energy Physics  
Recent improvements of the HMC algorithm allow simulations of pseudoscalar masses below 300 MeV on volumes L 3 · 2L with L > 2 fm and at values of the lattice spacing a 0.1 fm.  ...  I report on first results of the ETMC obtained simulating lattice QCD with two degenerate flavours of Wilson twisted mass fermions, for which physical observables are automatically O(a) improved.  ...  Many choices are possible and some of them are under investigation by our collaboration.  ... 
doi:10.1142/9789812790873_0057 fatcat:kuvbpni3vfb3ljfzcc2uqsgxue

Lattice QCD with light twisted quarks: first results [article]

Andrea Shindler, ETM Collaboration
2006 arXiv   pre-print
Recent improvements of the HMC algorithm allow simulations of pseudoscalar masses below 300 MeV on volumes L^3 x 2L with L>2 fm and at values of the lattice spacing a<0.1 fm.  ...  I report on first results of the ETMC obtained simulating lattice QCD with two degenerate flavours of Wilson twisted mass fermions, for which physical observables are automatically O(a) improved.  ...  Many choices are possible and some of them are under investigation by our collaboration.  ... 
arXiv:hep-ph/0611264v1 fatcat:ls5yus2ohbanrgsrkiytbppjkq

Building common Lisp applications with reasonable performance

John Boreczky
1993 Proceedings of the third international conference on Lisp users and vendors - LUV '93  
This paper describes our experience with a number of methods that can be used to improve the performance of Common Lisp applications.  ...  The results of these optimizations are quantified and compared.  ...  White and Sayuri Nishimura at Lucid Inc. and Charles Cox at Franz Inc. for their help.  ... 
doi:10.1145/1040032.174174 fatcat:ciqexglevvdkdabqpillrjhxui

Building common Lisp applications with reasonable performance

John Boreczky
1993 ACM SIGPLAN Lisp Pointers  
This paper describes our experience with a number of methods that can be used to improve the performance of Common Lisp applications.  ...  The results of these optimizations are quantified and compared.  ...  White and Sayuri Nishimura at Lucid Inc. and Charles Cox at Franz Inc. for their help.  ... 
doi:10.1145/174169.174174 fatcat:vq5zbjjtuzeevhccvohz6a2wuq

Horticultural therapy as a tool of healing persons with disability on an example of Support Centre in Kownaty

Marzena Suchocka, Ewa Kosiacka-Beck, Anna Niewiarowska
2019 Ecological Questions  
In this type of horticultural therapy, we must take into account all aspects connected to design -personalised by exact needs of user, adjusted to dysfunctions and possibilities of people, who takes a  ...  Greenery is a basic and most valuable part of human lives, which accompanies people and also a priceless space both, near single-family houses and public spaces as well.  ...  spaces for resting, relaxing mobilization creating places more and less cozy, in the limits of possibilities of users' privacy control isolation possibilities, sense of safety districting some enshadowed  ... 
doi:10.12775/eq.2019.013 fatcat:ujwjogmkijfavaw2swkekh7jhq

Design and Specification of the Minimal Subset of an Operating System Family

D.L. Parnas, G. Handzel, H. Wurges
1976 IEEE Transactions on Software Engineering  
Through a series of improvements in both the design and the specification techniques we have achieved a much more compact description.  ...  The authors are engaged in a project to produce a precise description of a design for a family of operating systems. The design decisions ue being expressed by means of formal module specifications.  ...  ACKNOWLEDGMENT We are pleased to recognize the contributions made by W. Bartussek and other members of our research group during many discussions on the subject of this paper. Comments by D.  ... 
doi:10.1109/tse.1976.233836 fatcat:kzxmrpk72jf25mtdp4kov4dxp4
« Previous Showing results 1 — 15 out of 1,823,051 results