46 Hits in 1.3 sec

Strictness optimization for graph reduction machines (why id might not be strict)

Marcel Beemster
1994 ACM Transactions on Programming Languages and Systems  
Marcel Beemster ( Table 4 4 of Johnsson Table I Test I In the right part ofTable II the dynamic Program Sizes and Descnptlons Program Lines Functions Description arti 42 13 Contrived  ... 
doi:10.1145/186025.186040 fatcat:q4emkta32vgxblaqqrfeisnhnu

Benchmarking implementations of functional languages with 'Pseudoknot', a float-intensive benchmark

Pieter H. Hartel, Marc Feeley, Martin Alt, Lennart Augustsson, Peter Baumann, Marcel Beemster, Emmanuel Chailloux, Christine H. Flood, Wolfgang Grieskamp, John H. G. Van Groningen, Kevin Hammond, Bogumil Hausman (+15 others)
1996 Journal of functional programming  
AbstractOver 25 implementations of different functional languages are benchmarked using the same program, a floating-point intensive application taken from molecular biology. The principal aspects studied are compile time and execution time for the various implementations that were benchmarked. An important consideration is how the program can be modified and tuned to obtain maximal performance on each language implementation. With few exceptions, the compilers take a significant amount of time
more » ... to compile this program, though most compilers were faster than the then current GNU C compiler (GCC version 2.5.8). Compilers that generate C or Lisp are often slower than those that generate native code directly: the cost of compiling the intermediate form is normally a large fraction of the total compilation time. There is no clear distinction between the runtime performance of eager and lazy implementations when appropriate annotations are used: lazy implementations have clearly come of age when it comes to implementing largely strict applications, such as the Pseudoknot program. The speed of C can be approached by some implementations, but to achieve this performance, special measures such as strictness annotations are required by non-strict implementations. The benchmark results have to be interpreted with care. Firstly, a benchmark based on a single program cannot cover a wide spectrum of 'typical' applications. Secondly, the compilers vary in the kind and level of optimisations offered, so the effort required to obtain an optimal version of the program is similarly varied.
doi:10.1017/s0956796800001891 fatcat:psvn6vpwrffbxcncnjla7e2j2i

That's C, baby. C! [article]

Roberto Bagnara
2019 arXiv   pre-print
Hill (BUGSENG), Marcel Beemster (Solid Sands).  ... 
arXiv:1909.06353v1 fatcat:6ostzcwbanfafoomnjzn3tdrza

Abundance of Migratory and Wintering Geese in Relation to Vegetation Succession in Man-Made Wetlands: The Effects of Grazing Regimes

J. Theo Vulink, Mennobart R. van Eerden, Rudi H. Drent
2010 Ardea  
, Bram Smit and Marcel Huijser for collecting most of the data in the Oostvaardersplassen nature reserve.  ...  ACKNOWLEDGEMENTS We wish to thank Jouke Prop and Nico Beemster who helped coordinate the goose counts in the Lauwersmeer nature reserve, and Wouter Dubbeldam, Jan Griekspoor, Fré van der Klei, Niels Kooijman  ...  ., Beemster N. & Zijlstra M. 1996. Het Lauwersmeergebied, een wetland in beweging; 13 jaar vogeltellingen (1981 -1994 . Flevobericht 370.  ... 
doi:10.5253/078.098.0306 fatcat:ainvcd24mfbtbhil2ifxkw6gmq

GROWSCREEN-Rhizo is a novel phenotyping robot enabling simultaneous measurements of root and shoot growth for plants grown in soil-filled rhizotrons

Kerstin A. Nagel, Alexander Putz, Frank Gilmer, Kathrin Heinz, Andreas Fischbach, Johannes Pfeifer, Marc Faget, Stephan Blossfeld, Michaela Ernst, Chryssa Dimaki, Bernd Kastenholz, Ann-Katrin Kleinert (+4 others)
2012 Functional Plant Biology  
This is apparently in contrast to the findings of Beemster et 29 al.  ...  Beside the correlation We are indebted to Thorsten Brehm, Marcel Schneider, Beate Uhlig, and Franz-Wilhelm Paszkiewicz S, Cooper M (2009) Can changes in canopy and/or root system architecture  ... 
doi:10.1071/fp12023 pmid:32480839 fatcat:xwmipkxftbflhin67pzjsmvcxy

Paradigms and laboratories in the core computer science curriculum

Pieter H. Hartel, L. O. Hertzberger
1995 ACM SIGCSE Bulletin  
Acknowledgements We thank Marcel Beemster, Hugh McEvoy, Hans van der Meer and Jon Mountjoy for their comments on draft versions of the paper.  ... 
doi:10.1145/216511.216521 fatcat:4bs7c5bcmjajdoua34km72c6xi

A role for brassinosteroid signaling in decision-making processes in the Arabidopsis seedling [article]

Nils Kalbfuss, Alexander Strohmayr, Marcel Kegel, Lien Le, Friederike Grosseholz, Barbara Brunschweiger, Katharina Stoeckl, Christian Wiese, Carina Franke, Caroline Schiestl, Sophia Prem, Shuyao Sha (+7 others)
2022 bioRxiv   pre-print
Using kinematic methods, it has also been shown that accelerating root elongation is driven predominantly by an increased number of dividing cells (Beemster and Baskin 1998) .  ...  differentially regulates cell elongation in the root apical meristem in response to additive stress It is generally accepted that root growth correlates with the size of the root apical meristem (RAM; Beemster  ...  ., & Beemster, G. T. S. (2004) . Cell cycle modulation in the response of the primary root of Arabidopsis to salt stress.  ... 
doi:10.1101/2022.07.15.499689 fatcat:foz47y6ihjd3xpcm3v7gbgjdau

The resource constrained shortest path problem implemented in a lazy functional language

Pieter H. Hartel, Hugh Glaser
1996 Journal of functional programming  
Acknowledgements We thank Marcel Beemster, Andy Gravell, Hugh McEvoy, Jon Mountjoy and the two referees for their comments on draft versions of the paper.  ... 
doi:10.1017/s0956796800001568 fatcat:3hnliopy3jhltfwoa5cwe3cma4

Basic proof skills of computer science students [chapter]

Pieter H. Hartel, Bert Es, Dick Tromp
1995 Lecture Notes in Computer Science  
Acknowledgements We thank Natasha Alechina, Marcel Beemster, Johan van Benthem, Jan Bergstra, Mark van den Brand, Ben Bruidegom, Kees Doets, Edo Dooijes, Peter van Emde Boas, Theo Janssen, Paul Klint,  ... 
doi:10.1007/3-540-60675-0_50 fatcat:len5uekrf5epvmw7z4xjwevx3y

Testing and Verification of Compilers

Junjie Chen, Alastair Donaldson, Andreas Zeller, Hongyu Zhang, David Maciver, Junjie Chen, Alastair Donaldson, Andreas Zeller, Hongyu Zhang, Dagstuhl Reports, Junjie Chen, Alastair Donaldson (+2 others)
Dagstuhl Reports   unpublished
Aftandilian Marcel Beemster (Solid Sands -Amsterdam, NL) License Creative Commons BY 3.0 Unported license © Marcel Beemster Julia Lawall (INRIA -Paris, FR) License Creative Commons BY 3.0 Unported  ... 

Mermaid: Modelling and evaluation research in MIMD architecture design [chapter]

A. D. Pimentel, J. van Brummen, T. Papathanassiadis, P. M. A. Sloot, L. O. Hertzberger
1995 Lecture Notes in Computer Science  
Acknowledgements We would like to thank Marcel Beemster for his comments on draft versions of the article and Alfons Hoekstra for his contributions with respect to the Elastic Light Scattering benchmark  ... 
doi:10.1007/bfb0046649 fatcat:6y54rqt4pvbxtds3ntqyk3v6uy

Modular Operational Semantic Specification of Transport Triggered Architectures [chapter]

Jon Mountjoy, Pieter Hartel, Henk Corporaal
1997 Hardware Description Languages and their Applications  
ACKNOWLEDGEMENTS The authors thank Marcel Beemster, Hugh McEvoy and the referees for their comments which greatly improved the paper.  ... 
doi:10.1007/978-0-387-35064-6_22 fatcat:anelmdgqrbhl3mq6c5nclku4va

FCG: A code generator for lazy functional languages [chapter]

Koen Langendoen, Pieter H. Hartel
1992 Lecture Notes in Computer Science  
Acknowledgements We thank Marcel Beemster, Rutger Hofman and Henk Muller for their comments on a draft version of the paper.  ... 
doi:10.1007/3-540-55984-1_26 fatcat:lgaybdd7lrhx5mxg625mhsxkni

Experience with a clustered parallel reduction machine

M Beemster, P.H Hartel, L.O Hertzberger, R.F.H Hofman, K.G Langendoen, L.L Li, R Milikowski, WG Vree, H.P Barendregt, J.C Mulder
1993 Future generations computer systems  
Marcel Beemster received the Master's degree in Computer Science in 1986 from the University of Amsterdam.  ... 
doi:10.1016/0167-739x(93)90011-d fatcat:ank45yd6czgm5hmbfoaqws33mm

Local linear logic for locality consciousness in multiset transformation [chapter]

Hugh McEvoy, Pieter H. Hartel
1995 Lecture Notes in Computer Science  
Acknowledgments We would like to thank Anne Troelstra, Yi-Ke Guo, Marcel Beemster and Jon Mountjoy for proof reading this paper and providing a number of comments.  ... 
doi:10.1007/bfb0026830 fatcat:d5taqrch2nfrlblbwo3a5uxufi
« Previous Showing results 1 — 15 out of 46 results