A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
Filters
Possibilities and limitations of call-by-need space improvement
2001
Proceedings of the sixth ACM SIGPLAN international conference on Functional programming - ICFP '01
Preserved Fulltext
( $ 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
2001
SIGPLAN notices
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
( $ 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
2001
Proceedings of the sixth ACM SIGPLAN international conference on Functional programming - ICFP '01
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
( $ 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
2009
2009 Asia and South Pacific Design Automation Conference
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2013
Proceedings of the ACM SIGPLAN Workshop on Memory Systems Performance and Correctness - MSPC '13
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
2019
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2021
Journal of the Global Power and Propulsion Society
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2018
PROCEEDINGS OF THE THIRTIETH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE AND THE TWENTY-EIGHTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
2007
High Energy Physics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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]
2006
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
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
1993
Proceedings of the third international conference on Lisp users and vendors - LUV '93
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 1998; you can also visit the original URL.
The file type is application/pdf.
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
1993
ACM SIGPLAN Lisp Pointers
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 1998; you can also visit the original URL.
The file type is application/pdf.
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
2019
Ecological Questions
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
1976
IEEE Transactions on Software Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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