@article{JSS_2010.pdf, title = {Identification of refactoring opportunities introducing polymorphism}, journal = {Journal of Systems and Software}, volume = {83}, number = {3}, pages = {391--404}, year = {2010}, issn = {0164-1212}, doi = {10.1016/j.jss.2009.09.017}, url = {HTTPS://WWW.ScienceDirect.com/science/article/pii/S0164121209002337}, author = {Nikolaos Tsantalis and Alexander Chatzigeorgiou}, keywords = {Refactoring, Polymorphism, design pattern, Object-oriented design}, abstract = {Polymorphism is one of the most important features offered by object-oriented programming languages, since it allows to extend/modify the behavior of a class without altering its source code, in accordance to the Open/Closed Principle. However, there is a lack of methods and tools for the identification of places in the code of an existing system that could benefit from the employment of polymorphism. In this paper we propose a technique that extracts refactoring suggestions introducing polymorphism. The approach ensures the behavior preservation of the code and the applicability of the refactoring suggestions based on the examination of a set of preconditions.} } @article{Obvious, author = {{de Gloucester}, Paul Colin}, title = {{Referees Often Miss Obvious Errors in Computer and Electronic Publications}}, journal = {Accountability in Research}, volume = {20}, number = {3}, pages = {143--166}, year = {2013}, publisher = {Taylor & Francis}, doi = {10.1080/08989621.2013.788379}, note ={{PMID: 23672521}}, URL = {HTTPS://DOI.org/10.1080/08989621.2013.788379} } @inproceedings{Zoglauer2008__filename_document.pdf, author = {Andreas Zoglauer and Robert Andritschke and Boggs, Steven E. and Florian Schopper and Georg Weidenspointner and Wunderer, Cornelia B.}, title = {{MEGAlib --- Simulation and Data Analysis for Low-to-medium-energy Gamma-ray Telescopes}}, volume = {7011}, booktitle = {Space Telescopes and Instrumentation 2008: Ultraviolet to Gamma Ray}, editor = {Martin J. L. Turner and Kathryn A. Flanagan}, organization = {International Society for Optics and Photonics}, publisher = {SPIE}, pages = {70113F}, abstract = {The Medium-Energy Gamma-ray Astronomy library MEGAlib is an open-source object-oriented software library designed to simulate and analyze data of low-to-medium-energy gamma-ray telescopes, especially Compton telescopes. The library comprises all necessary simulation and data analysis tools including geometry construction, Monte-Carlo simulation, response creation, event reconstruction, image reconstruction, and other high-level data-analysis tools.}, keywords = {gamma-ray astronomy, Monte-Carlo simulation, event reconstruction, image reconstruction, Compton telescope}, year = {2008}, doi = {10.1117/12.789537}, URL = {HTTPS://DOI.org/10.1117/12.789537}, address = {Marseille, France} } @misc{Edinburgh_University, url = {http://web.Archive.org/web/20070104225826/http://WWW.inf.Ed.ac.UK/postgraduate/phdprojects.html}, title = {{``BAD SMELLS'' IN CODE}}, year={2007}, author = {Perdita Stevens} } @misc{BookForToolDev.pdf, url = {HTTPS://Geant4-UserDoc.web.CERN.CH/UsersGuides/ForToolkitDeveloper/BackupVersions/V9.6/fo/BookForToolDev.pdf}, title = {{Geant4 User's Guide for Toolkit Developers Version: geant4 9.6.0}}, year={2012}, organization = {CERN} } @misc{BookForToolkitDevelopers.pdf, url = {HTTPS://Geant4-UserDoc.web.CERN.CH/UsersGuides/ForToolkitDeveloper/fo/BookForToolkitDevelopers.pdf}, title = {{Geant4 User's Guide for Toolkit Developers Release 11.1}}, year={2022}, organization = {CERN} } @article{260541.260547.pdf, author = {Wheeler, David A.}, title = {{Ada, C, C++, and Java vs. the Steelman}}, year = {1997}, issue_date = {July/Aug. 1997}, publisher = {Association for Computing Machinery}, address = {New York, NY, USA}, volume = {XVII}, number = {4}, issn = {1094-3641}, url = {HTTPS://DOI.org/10.1145/260541.260547}, doi = {10.1145/260541.260547}, abstract = {This paper compares four computer programming languages (Ada95, C, C++, and Java) with the requirements of "Steelman", the original 1978 requirements document for the Ada computer programming language. This paper provides a view of the capabilities of each of these languages, and should help those trying to understand their technical similarities, differences, and capabilities.}, journal = {Ada Letters}, month = {jul}, pages = {88–-112}, numpages = {25} } @misc{ccc-443.html, url = {HTTP://RSICC.ORNL.gov/codes/ccc/ccc4/ccc-443.html}, title = {{RSIC CODE PACKAGE CCC-443 REAC*3: Computer Code System for Activation and Transmutation}}, year={1996}, organization = {Hanford Engineering Development Laboratory} } @misc{Ada83_standard_Generic_Units, url = {HTTP://archive.AdaIC.com/standards/83lrm/html/lrm-12.html}, title = {{Ada '83 Language Reference Manual}}, year={1983}, organization = {The Government of the United States of America} } @misc{Ada83_standard_IMAGE, url = {HTTP://archive.AdaIC.com/standards/83lrm/html/lrm-A.html}, title = {{Ada '83 Language Reference Manual}}, year={1983}, organization = {The Government of the United States of America} } @techreport{there-is-no-need-for-parameterized-classes.pdf, title={{CLOS, Eiffel, and Sather: A Comparison}}, author={Schmidt, Heinz W. and Omohundro, Stephen M.}, year={1991}, institution={International Computer Science Institute, Berkeley, California}, url = {HTTPS://CiteSeerX.IST.PSU.edu/document?repid=rep1&type=pdf&doi=0e29247cd2b1900ad7303d7b9304a9bf7a3909fb}, note = {TR-91-047} } @book{Gang_of_Four_in_German, author = {Gamma, Erich and Helm, Richard and Johnson, Ralph and Vlissides, John and Dirk Riehle}, title = {{Entwurfsmuster: Elemente wiederverwendbarer objektorientierter Software}}, year = {2011}, isbn = {978-3-8273-3043-7}, publisher = {Addison-Wesley Verlag}, address = {Munich, Germany}, } @article{3RD-GEANT4-PAPER__filename_1-s2.0-S0168900216306957-main.pdf, title = {{Recent developments in Geant4}}, journal = {Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment}, volume = {835}, pages = {186--225}, year = {2016}, issn = {0168-9002}, doi = {10.1016/j.nima.2016.06.125}, url = {HTTPS://WWW.ScienceDirect.com/science/article/pii/S0168900216306957}, author = {J. Allison and K. Amako and J. Apostolakis and P. Arce and M. Asai and T. Aso and E. Bagli and A. Bagulya and S. Banerjee and G. Barrand and B.R. Beck and A.G. Bogdanov and D. Brandt and J.M.C. Brown and H. Burkhardt and Ph. Canal and D. Cano-Ott and S. Chauvie and K. Cho and G.A.P. Cirrone and G. Cooperman and M.A. Cort{\'{e}}s-Giraldo and G. Cosmo and G. Cuttone and G. Depaola and L. Desorgher and X. Dong and A. Dotti and V.D. Elvira and G. Folger and Z. Francis and A. Galoyan and L. Garnier and M. Gayer and K.L. Genser and V.M. Grichine and S. Guatelli and P. Gu{\`{e}}ye and P. Gumplinger and A.S. Howard and I. H{\v{r}}ivn{\'{a}}{\v{c}}ov{\'{a}} and S. Hwang and S. Incerti and A. Ivanchenko and V.N. Ivanchenko and F.W. Jones and S.Y. Jun and P. Kaitaniemi and N. Karakatsanis and M. Karamitros and M. Kelsey and A. Kimura and T. Koi and H. Kurashige and A. Lechner and S.B. Lee and F. Longo and M. Maire and D. Mancusi and A. Mantero and E. Mendoza and B. Morgan and K. Murakami and T. Nikitina and L. Pandola and P. Paprocki and J. Perl and I. Petrovi{\'c} and M.G. Pia and W. Pokorski and J.M. Quesada and M. Raine and M.A. Reis and A. Ribon and {Risti{\'c} Fira}, A. and F. Romano and G. Russo and G. Santin and T. Sasaki and D. Sawkey and J.I. Shin and I.I. Strakovsky and A. Taborda and S. Tanaka and B. Tom{\'{e}} and T. Toshito and H.N. Tran and P.R. Truscott and L. Urban and V. Uzhinsky and J.M. Verbeke and M. Verderi and B.L. Wendt and H. Wenzel and D.H. Wright and D.M. Wright and T. Yamashita and J. Yarba and H. Yoshida}, keywords = {High energy physics, Nuclear physics, Radiation, Simulation, Computing}, abstract = {Geant4 is a software toolkit for the simulation of the passage of particles through matter. It is used by a large number of experiments and projects in a variety of application domains, including high energy physics, astrophysics and space science, medical physics and radiation protection. Over the past several years, major changes have been made to the toolkit in order to accommodate the needs of these user communities, and to efficiently exploit the growth of computing power made available by advances in technology. The adaptation of Geant4 to multithreading, advances in physics, detector modeling and visualization, extensions to the toolkit, including biasing and reverse Monte Carlo, and tools for physics and release validation are discussed here.} } @INPROCEEDINGS{RD_for_co-working_condensed_and_discrete_transport.pdf, author={Pia, Maria Grazia and Paolo Saracco and Manju Sudhakar and Andreas Zoglauer and Mauro Augelli and Elisabetta Gargioni and Chan Hyeong Kim and Lina Quintieri and {Pacheco de Queiroz Filho}, Pedro and {de Souza Santos}, Denison and Reinhard Schulte and Andrew Wroe and Georg Weidenspointner and Bernd Grosswendt and Marcia Begalli}, booktitle={2009 International Conference on Mathematics, Computational Methods \& Reactor Physics (M\&C 2009)}, title={{R\&D FOR CO-WORKING CONDENSED AND DISCRETE TRANSPORT METHODS IN GEANT4 KERNEL}}, year={2009}, publisher = {American Nuclear Society}, address = {Saratoga Springs, New York}, numpages=12 } @INPROCEEDINGS{0912.1705.pdf, author={Augelli, M. and Begalli, M. and Evans, T. and Gargioni, E. and Hauf, S. and Kim, C. H. and Kuster, M. and Pia, M. G. and {Queiroz Filho}, P. and Quintieri, L. and Saracco, P. and {Souza Santos}, D. and Weidenspointner, G. and Zoglauer, A.}, booktitle={2009 IEEE Nuclear Science Symposium Conference Record (NSS/MIC)}, title={{Geant4-related R\&D for new particle transport methods}}, year={2009}, volume={}, number={}, pages={173--176}, doi={10.1109/NSSMIC.2009.5401819}, publisher = {IEEE}, address = {Orlando, FL, USA} } @inproceedings{Kay_against_C++, author = {Kay, Alan Curtis}, title = {{The Computer Revolution Hasn't Happened Yet.}}, booktitle = {{The 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications.}}, year = {1997}, publisher = {Association for Computing Machinery}, address = {New York, NY, USA}, note = {\burl{HTTP://files.Squeak.org/Media/AlanKay/Alan\%20Kay\%20at\%20OOPSLA\%201997\%20-\%20The\%20computer\%20revolution\%20hasnt\%20happened\%20yet.ogg} , almost transcribed on \burl{HTTP://blog.Moryton.net/2007/12/computer-revolution-hasnt-happened-yet.html}} } @article{GEANT4_2003_paper, title = "Geant4---a simulation toolkit", journal = "Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment", volume = "506", number = "3", pages = "250--303", year = "2003", issn = "0168-9002", author = "S. Agostinelli and J. Allison and K. Amako and J. Apostolakis and H. Araujo and P. Arce and M. Asai and D. Axen and S. Banerjee and G. Barrand and F. Behner and L. Bellagamba and J. Boudreau and L. Broglia and A. Brunengo and H. Burkhardt and S. Chauvie and J. Chuma and R. Chytracek and G. Cooperman and G. Cosmo and P. Degtyarenko and A. Dell'Acqua and G. Depaola and D. Dietrich and R. Enami and A. Feliciello and C. Ferguson and H. Fesefeldt and G. Folger and F. Foppiano and A. Forti and S. Garelli and S. Giani and R. Giannitrapani and D. Gibin and J. J. G\'{o}mez Cadenas and I. Gonz\'{a}lez and G. Gracia Abril and G. Greeniaus and W. Greiner and V. Grichine and A. Grossheim and S. Guatelli and P. Gumplinger and R. Hamatsu and K. Hashimoto and H. Hasui and A. Heikkinen and A. Howard and V. Ivanchenko and A. Johnson and F. W. Jones and J. Kallenbach and N. Kanaya and M. Kawabata and Y. Kawabata and M. Kawaguti and S. Kelner and P. Kent and A. Kimura and T. Kodama and R. Kokoulin and M. Kossov and H. Kurashige and E. Lamanna and T. Lamp\'{e}n and V. Lara and V. Lefebure and F. Lei and M. Liendl and W. Lockman and F. Longo and S. Magni and M. Maire and E. Medernach and K. Minamimoto and P. Mora de Freitas and Y. Morita and K. Murakami and M. Nagamatu and R. Nartallo and P. Nieminen and T. Nishimura and K. Ohtsubo and M. Okamura and S. O'Neale and Y. Oohata and K. Paech and J. Perl and A. Pfeiffer and M. G. Pia and F. Ranjard and A. Rybin and S. Sadilov and E. Di Salvo and G. Santin and T. Sasaki and N. Savvas and Y. Sawada and S. Scherer and S. Sei and V. Sirotenko and D. Smith and N. Starkov and H. Stoecker and J. Sulkimo and M. Takahata and S. Tanaka and E. Tcherniaev and E. Safai Tehrani and M. Tropeano and P. Truscott and H. Uno and L. Urban and P. Urban and M. Verderi and A. Walkden and W. Wander and H. Weber and J. P. Wellisch and T. Wenaus and D. C. Williams and D. Wright and T. Yamada and H. Yoshida and D. Zschiesche", keywords = "Simulation", keywords = "Particle interactions", keywords = "Geometrical modelling", keywords = "Software engineering", keywords = "Object-oriented technology", keywords = "Distributed software development" } @ARTICLE{GEANT4_2006_paper, author={Allison, J. and Amako, K. and Apostolakis, J. and Araujo, H. and Dubois, P.A. and Asai, M. and Barrand, G. and Capra, R. and Chauvie, S. and Chytracek, R. and Cirrone, G.A.P. and Cooperman, G. and Cosmo, G. and Cuttone, G. and Daquino, G.G. and Donszelmann, M. and Dressel, M. and Folger, G. and Foppiano, F. and Generowicz, J. and Grichine, V. and Guatelli, S. and Gumplinger, P. and Heikkinen, A. and Hrivnacova, I. and Howard, A. and Incerti, S. and Ivanchenko, V. and Johnson, T. and Jones, F. and Koi, T. and Kokoulin, R. and Kossov, M. and Kurashige, H. and Lara, V. and Larsson, S. and Lei, F. and Link, O. and Longo, F. and Maire, M. and Mantero, A. and Mascialino, B. and McLaren, I. and Lorenzo, P.M. and Minamimoto, K. and Murakami, K. and Nieminen, P. and Pandola, L. and Parlati, S. and Peralta, L. and Perl, J. and Pfeiffer, A. and Pia, M.G. and Ribon, A. and Rodrigues, P. and Russo, G. and Sadilov, S. and Santin, G. and Sasaki, T. and Smith, D. and Starkov, N. and Tanaka, S. and Tcherniaev, E. and Tome, B. and Trindade, A. and Truscott, P. and Urban, L. and Verderi, M. and Walkden, A. and Wellisch, J.P. and Williams, D.C. and Wright, D. and Yoshida, H.}, journal={Nuclear Science, IEEE Transactions on}, title={Geant4 developments and applications}, year={2006}, month={feb. }, volume={53}, number={1}, pages={270--278}, keywords={Geant4;astrophysics;high energy physics;performance optimization;space science;physics computing;}, ISSN={0018-9499},} @article{from-Dr-Miguel, title = {{Gamma-ray spectroscopy using angular distribution of Compton scattering}}, journal = {Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment}, volume = {1031}, pages = {166502}, year = {2022}, issn = {0168-9002}, doi = {10.1016/j.nima.2022.166502}, url = {HTTPS://WWW.ScienceDirect.com/science/article/pii/S0168900222001231}, author = {Wilhelm, Andrew S. and Igor Jovanovic}, keywords = {Gamma-ray spectroscopy, Pileup, Inverse Compton scattering, Inverse problems}, abstract = {We present a novel method to perform gamma-ray spectroscopy suitable for extreme pileup situations, wherein traditional pulse-height spectroscopy is infeasible or impractical. One example of such application is spectral characterization of intense laser-based radiation sources that employ laser wakefield acceleration, in which a large number of photons can be produced in a well-collimated beam on a picosecond or shorter timescale. The method relies on the angularly-resolved calorimetric measurement of Compton scattering. The probability for a photon to undergo Compton scattering into a given solid angle is a function of its energy and is described by the Klein–Nishina formula. By first Compton scattering the incident beam and then measuring the total energies deposited in multiple detectors placed at various scattering angles, the incident beam energy spectrum can be reconstructed without resolving the individual events in detectors. We compare the performance of an maximum likelihood expectation maximization algorithm with that of an artificial neural network to measure the energy spectrum of a beam of monoenergetic gamma rays from 137Cs decay. We demonstrate that the method can be used to reconstruct the characteristic inverse Compton scattering spectra.} } @INPROCEEDINGS{MCNPX, author = {{Waters}, Laurie S. and {McKinney}, Gregg W. and {Durkee}, Joe W. and {Fensin}, Michael L. and {Hendricks}, John S. and {James}, Michael R. and {Johns}, Russell C. and {Pelowitz}, Denise B.}, title = "{The MCNPX Monte Carlo Radiation Transport Code}", keywords = {24.10.Lx, 29.85.+c, 25.70.-z, 28.20.Gd, Monte Carlo simulations, Computer data analysis, Low and intermediate energy heavy-ion reactions, Neutron transport: diffusion and moderation}, booktitle = {Hadronic Shower Simulition Workshop}, year = 2007, editor = {{Albrow}, Michael and {Raja}, Rajendran}, series = {American Institute of Physics Conference Series}, volume = {896}, month = mar, pages = {81--90}, doi = {10.1063/1.2720459}, adsurl = {https://ui.adsabs.harvard.edu/abs/2007AIPC..896...81W}, adsnote = {Provided by the SAO/NASA Astrophysics Data System}, publisher = {American Institute of Physics}, address = {Batavia, Illinois (USA)} } @article{Volume1.pdf, title = {{Comparison between codes MCNPX and Gate/Geant4 in volume fraction studies}}, journal = {Applied Radiation and Isotopes}, volume = {164}, pages = {109226}, year = {2020}, issn = {0969-8043}, doi = {https://doi.org/10.1016/j.apradiso.2020.109226}, url = {https://www.sciencedirect.com/science/article/pii/S0969804320303766}, author = {{Werneck Affonso}, Renato Raoni and {Mattos Barbosa}, Caroline and Roos S.F. Dam and William L. Salgado and {X. da Silva}, Ademir and {M. Salgado}, C{\'e}sar}, keywords = {Gamma-rays, Monte Carlo, Artificial neural networks, Volume fractions}, abstract = {Knowing the volume fraction in a multiphase flow is of fundamental importance in predicting the performance of many systems and processes, it has been possible to model an experimental apparatus for volume fraction studies using Monte Carlo codes. Artificial neural networks have been applied for the recognition of the pulse height distributions in order to obtain the prediction of the volume fractions of the flow. In this sense, some researchers are unsure of which Monte Carlo code to use for volume fractions studies in two-phase flows. This work aims to model a biphasic flow (water and air) experiment in a stratified regime in two Monte Carlo-based codes (MCNP-X and Gate/Geant4), and to verify which one has the greatest benefits for researchers, focusing on volume fractions studies.} } @article{nihms231283.pdf, author = {S. D. Randeniya and P. J. Taddei and W. D. Newhauser and P. Yepes}, title = {{Intercomparision of Monte Carlo Radiation Transport Codes MCNPX, GEANT4, and FLUKA for Simulating Proton Radiotherapy of the Eye}}, journal = {Nuclear Technology}, volume = {168}, number = {3}, pages = {810--814}, year = {2009}, publisher = {Taylor & Francis}, doi = {10.13182/NT09-A9310}, URL = {HTTPS://DOI.org/10.13182/NT09-A9310}, abstract = { AbstractMonte Carlo simulations of an ocular treatment beamline consisting of a nozzle and a water phantom were carried out using MCNPX, GEANT4, and FLUKA to compare the dosimetric accuracy and the simulation efficiency of the codes. Simulated central axis percent depth-dose profiles and cross-field dose profiles were compared with experimentally measured data for the comparison. Simulation speed was evaluated by comparing the number of proton histories simulated per second using each code. The results indicate that all the Monte Carlo transport codes calculate sufficiently accurate proton dose distributions in the eye and that the FLUKA transport code has the highest simulation efficiency. } } @article{special_code_faster_than_FLUKA_and_Geant4, author = {Fippel, Matthias and Soukup, Martin}, title = {{A Monte Carlo dose calculation algorithm for proton therapy}}, journal = {Medical Physics}, volume = {31}, number = {8}, pages = {2263--2273}, keywords = {proton therapy, Monte Carlo, treatment planning, Treatment strategy, Monte Carlo methods, Dosimetry/exposure assessment, Dosimetry/exposure assessment, Radiation therapy equipment, Monte Carlo methods, planning, proton effects, biological effects of ionising radiation, radiation therapy, biological tissues, dosimetry, medical computing, modelling, Monte Carlo algorithms, Protons, Monte Carlo methods, Proton therapy, Multiple scattering, Medical treatment planning, Tissues, Cancer, Photons, Electromagnetic interactions}, doi = {10.1118/1.1769631}, url = {HTTPS://AAPM.OnLineLibrary.Wiley.com/doi/abs/10.1118/1.1769631}, abstract = {A Monte Carlo (MC) code (VMCpro) for treatment planning in proton beam therapy of cancer is introduced. It is based on ideas of the Voxel Monte Carlo algorithm for photons and electrons and is applicable to human tissue for clinical proton energies. In the present paper the implementation of electromagnetic and nuclear interactions is described. They are modeled by a Class II condensed history algorithm with continuous energy loss, ionization, multiple scattering, range straggling, δ-electron transport, nuclear elastic proton nucleus scattering and inelastic proton nucleus reactions. VMCpro is faster than the general purpose MC codes FLUKA by a factor of 13 and GEANT4 by a factor of 35 for simulations in a phantom with inhomogeneities. For dose calculations in patients the speed improvement is larger, because VMCpro has only a weak dependency on the heterogeneity of the calculation grid. Dose distributions produced with VMCpro are in agreement with GEANT4 results. Integrated or broad beam depth dose curves show maximum deviations not larger than 1\% or 0.5 mm in regions with large dose gradients for the examples presented here.}, year = {2004} } @article{penelopet_PSM_2009_ps.pdf, doi = {10.1088/0031-9155/54/6/021}, url = {HTTPS://DOI.org/10.1088/0031-9155/54/6/021}, year = 2009, month = {feb}, publisher = {{IOP} Publishing}, volume = {54}, number = {6}, pages = {1723--1742}, author = {S Espa{\~{n}}a and J L Herraiz and E Vicente and J J Vaquero and M Desco and J M Udias}, title = {{PeneloPET}, a Monte Carlo {PET} simulation tool based on {PENELOPE}: features and validation}, journal = {Physics in Medicine and Biology}, abstract = {Monte Carlo simulations play an important role in positron emission tomography (PET) imaging, as an essential tool for the research and development of new scanners and for advanced image reconstruction. PeneloPET, a PET-dedicated Monte Carlo tool, is presented and validated in this work. PeneloPET is based on PENELOPE, a Monte Carlo code for the simulation of the transport in matter of electrons, positrons and photons, with energies from a few hundred eV to 1 GeV. PENELOPE is robust, fast and very accurate, but it may be unfriendly to people not acquainted with the FORTRAN programming language. PeneloPET is an easy-to-use application which allows comprehensive simulations of PET systems within PENELOPE. Complex and realistic simulations can be set by modifying a few simple input text files. Different levels of output data are available for analysis, from sinogram and lines-of-response (LORs) histogramming to fully detailed list mode. These data can be further exploited with the preferred programming language, including ROOT. PeneloPET simulates PET systems based on crystal array blocks coupled to photodetectors and allows the user to define radioactive sources, detectors, shielding and other parts of the scanner. The acquisition chain is simulated in high level detail; for instance, the electronic processing can include pile-up rejection mechanisms and time stamping of events, if desired. This paper describes PeneloPET and shows the results of extensive validations and comparisons of simulations against real measurements from commercial acquisition systems. PeneloPET is being extensively employed to improve the image quality of commercial PET systems and for the development of new ones.} } @article{GEANT3_is_faster_than_Geant4, title={Pure tracking and geometry in GEANT4}, author={Kent, P}, journal={GEAnt4 internal note}, year={1995}, url={HTTPS://InspireHEP.net/files/4a07fe6f8ce4471448745c426177f9b1} } @article{Geant4_is_slow, title = {{Comment on ``Gamma-ray spectroscopy using angular distribution of Compton scattering'' [Nucl. Instr. and Meth. A 1031 (2022) 166502]}}, journal = {Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment}, volume = {1049}, pages = {167923}, year = {2023}, issn = {0168-9002}, doi = {10.1016/j.nima.2022.167923}, url = {HTTPS://WWW.ScienceDirect.com/science/article/pii/S0168900222012153}, author = {Gloster, Colin Paul} } @article{Smalltalk_HTTP_code_cloning, author = {Stephan Eggermont}, title = {{Issue 776: HTTPSocket class side duplicated code}}, journal = {}, volume = {}, number = {April}, year = {2009}, issn = {}, pages = {}, publisher = {}, address = {} } @article{Smalltalk_HTTP_code_cloning2, author = {N. Cellier and Bolot Kerimbaev and others}, title = {\url{{HTTP://WWW.SqueakSource.com/Pharo/Network-Protocols-adrian_lienhard.12.mcz}}}, journal = {}, volume = {}, number = {}, year = {2009}, issn = {}, pages = {}, publisher = {}, address = {}, } @article{Smalltalk_HTTP_code_cloning3, author = {Damien Cassou and Bolot Kerimbaev and others}, title = {\url{{HTTP://WWW.SqueakSource.com/Pharo/Network-Protocols-marcus_denker.3.mcz}}}, journal = {}, volume = {}, number = {}, year = {2009}, issn = {}, pages = {}, publisher = {}, address = {}, } @article{Smalltalk_HTTP_code_cloning4, author = {Damien Cassou and Bolot Kerimbaev and others}, title = {\url{{HTTP://WWW.SqueakSource.com/Pharo/Network-Protocols-michael_rueger.1.mcz}}}, journal = {}, volume = {}, number = {}, year = {2009}, issn = {}, pages = {}, publisher = {}, address = {}, } @article{Smalltalk_HTTP_code_cloning5, author = {N. Cellier and Bolot Kerimbaev and others}, title = {\url{{HTTP://WWW.SqueakSource.com/Pharo/Network-Protocols-stephane_ducasse.11.mcz}}}, journal = {}, volume = {}, number = {}, year = {2009}, issn = {}, pages = {}, publisher = {}, address = {}, } @article{OCCN3, title = {{OCCN: a NoC modeling framework for design exploration}}, journal = "Journal of Systems Architecture", volume = "50", number = "2--3", pages = "129--163", year = "2004", note = "Special issue on networks on chip", issn = "1383-7621", doi = "10.1016/j.sysarc.2003.07.002", author = "Marcello Coppola and Stephane Curaba and Miltos D. Grammatikakis and Riccardo Locatelli and Giuseppe Maruccia and Francesco Papariello", publisher = {Elsevier}, } @article{marbles, author = {Scott R. Klemmer and James A. Landay}, title = {{Toolkit Support for Integrating Physical and Digital Interactions}}, journal = {Human-Computer Interaction}, volume = {24}, number = {3}, year = {2009}, issn = {1532-7051}, pages = {315--366}, publisher = {Taylor \& Francis}, address = {}, } @article{Curtis, author = {Bill Curtis}, title = {{Objects of Our Desire: Empirical Research on Object-Oriented Development}}, journal = {Human-Computer Interaction}, volume = {10}, number = {2 \& 3}, year = {1995}, issn = {1532-7051}, pages = {337--344}, publisher = {Taylor \& Francis}, address = {}, } @article{HCI_Pascal, author = {James C. Spohrer and Elliot Soloway and Edgar Pope}, title = {{A Goal/Plan Analysis of Buggy Pascal Programs}}, journal = {Human-Computer Interaction}, volume = {1}, number = {2}, year = {1985}, issn = {1532-7051}, pages = {163--207}, publisher = {Taylor \& Francis}, address = {}, } @article{Fischer_et_al, author = {Gerhard Fischer and David Redmiles and Lloyd Williams and Gretchen I. Puhr and Atsushi Aoki and Kumiyo Nakakoji}, title = {{Beyond Object-Oriented Technology: Where Current Approaches Fall Short}}, journal = {Human-Computer Interaction}, volume = {10}, number = {1}, year = {1995}, issn = {1532-7051}, pages = {79--119}, publisher = {Taylor \& Francis}, address = {}, } @article{reproducibility, author = {M. Schwab and N. Karrenbach and J. Claerbout}, title = {{Making scientific computations reproducible}}, journal = {Computing in Science \& Engineering}, volume = {}, number = {}, year = {2000}, issn = {}, pages = {61--67}, publisher = {I.E.E.E.}, address = {}, } @article{SystemC_aviation_down_under, author = {Syed Mahfuzul Aziz}, title = {{A cycle-accurate transaction level SystemC model for a serial}}, journal = {Computers and Electrical Engineering}, volume = {35}, number = {}, year = {2009}, issn = {}, pages = {790--802}, publisher = {Elsevier}, address = {}, } @inproceedings{SystemC_in_Blanchardstown_Institute_of_Technology, author = {Gallery, Richard and Shakya, Deepesh M.}, title = {{Hardware/software partitioning and simulation with SystemC}}, booktitle = {{ICECS'03: Proceedings of the 2nd WSEAS International Conference on Electronics, Control and Signal Processing}}, year = {2003}, isbn = {960-8052-91-2}, pages = {1--4}, location = {Singapore}, publisher = {World Scientific and Engineering Academy and Society (WSEAS)}, address = {Stevens Point, Wisconsin, USA}, } @inproceedings{SystemC_in_University_College_Cork_with_STMicroelectronics, author = {Man, Ka Lok and Fedeli, Andrea and Mercaldi, Michele and Boubekeur, Menouer and Schellekens, Michel}, title = {{SC2SCFL: automated SystemC to SystemCFL translation}}, booktitle = {{SAMOS'07: Proceedings of the 7th international conference on Embedded computer systems}}, year = {2007}, isbn = {3-540-73622-0, 978-3-540-73622-6}, pages = {34--45}, location = {Samos, Greece}, publisher = {Springer-Verlag}, address = {Berlin, Heidelberg}, } @book{Richard_Shadbolt, author = {Ed Tittel and Steve James}, title = {{HTML for Dummies}}, edition = {2nd}, year = {}, isbn = {1-56884-647-9}, publisher = {IDG}, address = {}, } @article{Huw, author = {Huw Collingbourne}, title = {{Rants and Raves}}, journal = {PC Plus}, volume = {1}, number = {154}, year = {1999}, note = {\url{HTTP://WWW.RantsAndRaves.co.UK}}, issn = {}, pages = {}, publisher = {}, address = {UK}, } @inproceedings{Erlang_refactoring, author = {Huiqing Li and Simon Thompson}, title = {{Clone Detection and Removal for Erlang/OTP within a Refactoring Environment}}, booktitle = {{ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM'09)}}, year = {2009}, isbn = {}, pages = {}, location = {Savannah, Georgia, USA}, doi = {}, publisher = {ACM}, address = {}, } @article{Stadlmann, author = {Burkhard Stadlmann}, title = {{Ada Development for a Basic Train Control System for Regional Branch Lines}}, journal = {Ada User Journal}, volume = {26}, number = {3}, year = {2005}, issn = {1381-6551}, pages = {220--223}, publisher = {Ada-Europe}, address = {Europe}, } @article{joined_so-called_Partnership_for_Peace_undemocratically, author = {IrishTimes}, title = {{Only a No vote can allow time for a true debate}}, journal = {The Irish Times}, volume = {June}, number = {6th}, year = {2001}, issn = {}, pages = {}, doi = {}, note = {\url{HTTP://WWW.IrishTimes.com/newspaper/ireland/2001/0606/01060600042.html}}, publisher = {The Irish Times}, address = {D'Olier Street, Dublin 2, \'{E}ire}, } @article{Eilish, author = {Eilish O'Regan}, title = {{}}, journal = {Irish Independent}, volume = {October}, number = {3rd}, year = {2001}, issn = {}, pages = {9}, doi = {}, publisher = {Irish Independent}, address = {Dublin, \'{E}ire}, } @article{Colbert, author = {Maria J. Colbert}, title = {{}}, journal = {The Irish Times}, volume = {December}, number = {5th}, year = {2003}, issn = {}, pages = {}, doi = {}, publisher = {The Irish Times}, address = {D'Olier Street, Dublin 2, \'{E}ire}, } @phdthesis{Yates, author = {Roger Yates}, title = {{The Social Construction of Human Beings and Other Animals in Human-Nonhuman Relations. Welfare and Rights: A Contemporary Sociological Analysis.}}, year = {2004}, school = {School of Social Sciences}, address = {University of Wales at Bangor}, url ={HTTPS://research.Bangor.ac.UK/portal/files/20575179/null} } @article{Rickard_Lundin_feler, author = {Rickard Lundin}, title = {{Lecture notes for the course Principles of Space Instruments RYM007}}, journal = {}, volume = {}, number = {}, year = {2004}, issn = {}, pages = {}, doi = {}, publisher = {Lule{\aa} University of Technology}, address = {Norrland, Sweden}, } @article{Ejemalm_lectures, author = {Ejemalm, J.}, title = {{RYMD06 Space Environment Interaction}}, journal = {}, volume = {}, number = {}, year = {2004}, issn = {}, pages = {}, publisher = {Ume{\aa} University}, address = {Norrland, Sweden}, } @article{Lundin_on_housekeeping_and_TM, author = {Lundin, Rikard}, title = {{lecture notes for RYM007 Principles for Space Instruments lecture}}, journal = {}, volume = {}, number = {}, year = {}, issn = {}, pages = {}, publisher = {Lule{\aa} University of Technology}, address = {Norrland, Sweden}, } @article{Wannberg, author = {Wannberg, Gudmund}, title = {{RYM007 Principles for Space Instruments}}, journal = {}, volume = {December}, number = {8th}, year = {2004}, issn = {}, pages = {}, publisher = {Lule{\aa} University of Technology}, address = {Norrland, Sweden}, } @book{book_by_Peter_Berlin, author = {Berlin, Peter J.}, title = {{Satellite Platform Design}}, edition = {third}, year = {2004}, isbn = {}, publisher = {Peter J. Berlin}, address = {Sweden}, } @book{Enmark_exam1, author = {Enmark, Anita}, title = {{Examination for The Observational Platform for January 10th, 2000}}, edition = {}, year = {2000}, isbn = {}, publisher = {Ume{\aa} University and Lule{\aa} University of Technology}, address = {Norrland, Sweden}, } @book{Enmark_exam2, author = {Enmark, Anita}, title = {{Examination for The Observational Platform for February 21st, 2001}}, edition = {}, year = {2001}, isbn = {}, publisher = {Ume{\aa} University}, address = {Norrland, Sweden}, } @book{Enmark_exam3, author = {Enmark, Anita}, title = {{Examination for The Observational Platform for December 19th, 2000}}, edition = {}, year = {2000}, isbn = {}, publisher = {Ume{\aa} University}, address = {Norrland, Sweden}, } @book{Enmark_exam4, author = {Enmark, Anita}, title = {{Examination for The Observational Platform for January 16th, 2002}}, edition = {}, year = {2002}, isbn = {}, publisher = {Ume{\aa} University and Lule{\aa} University of Technology}, address = {Norrland, Sweden}, } @book{Enmark_exam5, author = {Enmark, Anita}, title = {{Examination for The Observational Platform for June 5th, 2002}}, edition = {}, year = {2002}, isbn = {}, publisher = {Ume{\aa} University and Lule{\aa} University of Technology}, address = {Norrland, Sweden}, } @book{Omnisys_notes, author = {Omnisys}, title = {{lecture notes for RYMD02/RYM016 The Observational Plaftform lecture}}, edition = {}, year = {}, isbn = {}, publisher = {Ume{\aa} University and Lule{\aa} University of Technology}, address = {Norrland, Sweden}, } @book{Fernando_knows_nothing_about_housekeeping, author = {Fernando, Priya}, title = {{BEXUS-II Project description}}, edition = {November 18th}, year = {2004}, isbn = {}, publisher = {Ume{\aa} University and Lule{\aa} University of Technology}, address = {Norrland, Sweden}, } @article{Fernando_claim_contradicted_by_Pokrupa, author = {Priya Fernando}, title = {{RYMD02/RYM016 The Observational Plaftform}}, journal = {}, volume = {November}, number = {26th}, year = {2004}, issn = {}, pages = {}, publisher = {Ume{\aa} University and Lule{\aa} University of Technology}, address = {Norrland, Sweden}, } @article{Wahlund, author = {Wahlund, Jan-Erik}, title = {{RYM007 Principles for Space Instruments}}, journal = {}, volume = {November}, number = {9th}, year = {2004}, issn = {}, pages = {}, publisher = {Lule{\aa} University of Technology}, address = {Norrland, Sweden}, } @article{Olsson1, author = {D Coggon and H Inskip}, title = {{Current Issues in Cancer: Is there an epidemic of cancer?}}, journal = {British Medical Journal}, volume = {308}, number = {March 12th, 1994}, year = {1994}, issn = {}, pages = {705--708}, publisher = {}, address = {UK}, } @article{Olsson14, author = {M. F. Sim and D. B. Yates and R. Parkinson and M. J. Cooling}, title = {{Cardiovascular effects of the novel arteriovenous dilator agent, flosequinan in conscious dogs and cats}}, journal = {British Journal of Pharmacology}, volume = {94}, number = {2}, year = {1988}, issn = {}, pages = {371--380}, publisher = {}, address = {UK}, } @article{phenylbutazone, author = {D. D. McCarthy and T. M. Chalmers}, title = {{Hematological Complications of Phenylbutazone Therapy: Review of the Literature and Report of Two Cases}}, journal = {Can Med Assoc J.}, volume = {90}, number = {18}, year = {1964}, issn = {}, pages = {}, publisher = {}, address = {Canada}, } @article{tienilic_acid, author = {Marie-Anne Robin and Marie Le Roy and V\'{e}ronique Descatoire and Dominique Pessayre}, title = {{Plasma membrane cytochromes P450 as neoantigens and autoimmune targets in drug-induced hepatitis}}, journal = {Journal of Hepatology}, volume = {26}, number = {Supplement 1}, year = {1997}, issn = {}, pages = {}, publisher = {}, address = {}, } @article{opren, author = {John Abraham}, title = {{Distributing the Benefit of the Doubt: Scientists, Regulators, and Drug Safety}}, journal = {Science, Technology \& Human Values}, volume = {19}, number = {4}, year = {1994}, issn = {}, pages = {}, publisher = {}, address = {}, } @article{Althesin, author = {John Abraham}, title = {{The politics and bio-ethics of regulatory trust: case-studies of pharmaceuticals}}, journal = {}, volume = {}, number = {}, year = {2008}, issn = {}, pages = {}, publisher = {}, address = {}, } @article{mianserin, author = {CommitteeonSafetyofMedicines}, title = {{CSM Update}}, journal = {British Medical Journal}, volume = {291}, number = {December 7th, 1985}, year = {1985}, issn = {}, pages = {1638}, publisher = {}, address = {UK}, } @article{fialuridine, author = {Munir Pirmohamed and Alasdair M Breckenridge and Neil R Kitteringham and B Kevin Park}, title = {{Adverse drug reactions}}, journal = {British Medical Journal}, volume = {316}, number = {April 25th, 1998}, year = {1998}, issn = {}, pages = {}, publisher = {}, address = {UK}, } @article{flosint, author = {Jarrod Bailey}, title = {{Non-human primates in medical research and drug development: a critical review}}, journal = {Biogenic Amines}, volume = {}, number = {}, year = {2005}, issn = {}, pages = {}, publisher = {}, address = {}, } @article{Seroxat_with_a_capital_S, author = {L McGoey and E Jackson}, title = {{Seroxat and the suppression of clinical trial data: regulatory failure and the uses of legal ambiguity}}, journal = {British Medical Journal}, volume = {}, number = {}, year = {}, issn = {}, pages = {}, publisher = {}, address = {}, } @inproceedings{example_by_American_in_Madrid_workshop_who_was_going_on_holiday_to_the_Arctic_circle, author = {Dennis Wright}, title = {{Recent Developments in Geant4 Hadronic Physics}}, booktitle = {{Geant4 Space Users' Workshop}}, year = {2009}, isbn = {}, pages = {}, location = {Spain}, publisher = {INTA}, address = {Spain}, note = {May 22nd, 2009} } @inproceedings{duine_garbh_na_hAda, author = {Etien, Anne and Muller, Alexis and Legrand, Thomas and Blanc, Xavier}, title = {{Combining independent model transformations}}, booktitle = {{SAC '10: Proceedings of the 2010 ACM Symposium on Applied Computing}}, year = {2010}, isbn = {978-1-60558-639-7}, pages = {2237--2243}, location = {Sierre, Switzerland}, doi = {10.1145/1774088.1774557}, publisher = {ACM}, address = {New York, NY, USA}, } @article{AdaIC, author = {Randall L. Brukardt}, title = {{}}, journal = {}, volume = {}, number = {}, year = {}, note = {\url{HTTP://WWW.AdaIC.com}}, issn = {}, pages = {}, publisher = {Ada Information Clearinghouse}, address = {USA}, } @article{buggy_CHIPS_mentioned_on_Hypernews, author = {scitechadvance}, title = {{Bertini Anti-Proton Annihilation}}, journal = {phys-list}, volume = {2010}, number = {545}, year = {2010}, note = {\url{HTTP://Hypernews.SLAC.Stanford.edu/HyperNews/geant4/get/phys-list/545.html}}, issn = {}, pages = {}, publisher = {Stanford University}, address = {Stanford, USA}, } @article{Graphs_Versus_Objects, author = {John Hebeler and Matt Fisher}, title = {{Graphs Versus Objects}}, journal = {Dr. Dobb's Journal}, volume = {}, number = {}, year = {}, note = {\url{HTTP://WWW.DDJ.com/architect/208801968}}, issn = {}, pages = {}, publisher = {}, address = {USA}, } @article{called_SPICE_but_unrelated_to_CANCER, author = {Ed Wright}, title = {{Porting the SPICE Library}}, journal = {Dr. Dobb's Journal}, volume = {1}, number = {306}, year = {1999}, issn = {}, pages = {}, publisher = {}, address = {USA}, } @article{SKILL_in_DDJ, author = {Christopher Nelson}, title = {{Tcl/Tk and SKILL Mix It Up}}, journal = {Dr. Dobb's Journal}, volume = {1}, number = {February}, year = {2002}, issn = {}, pages = {}, publisher = {}, address = {USA}, } @article{counterfeiting_in_DDJ, author = {David Perelman-Hall}, title = {{Sorting in Java \& C$\sharp$}}, journal = {Dr. Dobb's Journal}, volume = {1}, number = {January}, year = {2006}, issn = {}, pages = {}, publisher = {}, address = {USA}, } @article{DLLs, author = {Ping Ni and Mark Nelson}, title = {{Win32 Version Control}}, journal = {Dr. Dobb's Journal}, volume = {1}, number = {313}, year = {2000}, issn = {}, pages = {}, publisher = {}, address = {USA}, } @article{Verbruggen, author = {Renaat Verbruggen}, title = {{CA421 Software Metrics \& Object Oriented Design}}, journal = {}, volume = {}, number = {}, year = {2002}, issn = {}, pages = {}, publisher = {Dublin City University}, address = {Dublin, \'{E}ire}, } @article{Kay_on_LISP_and_Smalltalk, author = {Ram, S.}, title = {{Dr. Alan Kay on the Meaning of ``Object-Oriented Programming''}}, note = {\url{HTTP://WWW.Purl.org/stefan_ram/pub/doc_kay_oop_en}}, journal = {}, volume = {}, number = {}, year = {}, issn = {}, pages = {}, publisher = {}, address = {}, } @article{pretending_to_have_strong_typing_in_Smalltalk-80, author = {James C Althoff}, title = {{Building Data Structures in the Smalltalk-80 System}}, journal = {Byte}, volume = {1981}, number = {August}, year = {1981}, issn = {}, pages = {}, publisher = {}, address = {}, } @article{Ingalls_in_Byte, author = {Daniel H H Ingalls}, title = {{Design Principles Behind Smalltalk}}, journal = {Byte}, volume = {1981}, number = {August}, year = {1981}, issn = {}, pages = {286--298}, publisher = {}, address = {}, } @article{Levine_re_static, author = {John Levine}, title = {{Optimization of Uncommon Code (Was Java ByteCode ...)}}, journal = {news:comp.compilers}, volume = {1996}, number = {June}, year = {1996}, note = {As moderator to a post by David L Moore timestamped 30 Jun 1996 16:52:25 -0400 archived at for example \url{FTP://FTP.IECC.com/pub/articles/96-06.gz}}, issn = {}, pages = {}, publisher = {}, address = {}, } @article{lines_of_code_are_insignificant, author = {Newshutz}, title = {{Re: Cooley's VHDL vs. Verilog is silly}}, journal = {news:comp.cad.synthesis}, volume = {1995}, number = {June}, year = {1995}, note = {Message-ID: \texttt{<3r71hm\$173a@locutus.rchland.ibm.com>} timestamped 8 Jun 1995 14:30:14 GMT archived at for example \url{HTTP://WWW.SIGDA.org/Archives/NewsGroupArchives/comp.cad.synthesis/1995/Jun/comp.cad.synthesis.1060.txt}}, issn = {}, pages = {}, publisher = {}, address = {}, } @article{JHDLBits, author = {Neil Steiner}, title = {{Re: So what happened to JHDLBits?}}, journal = {news:comp.arch.fpga}, volume = {2006}, number = {January}, year = {2006}, note = {Message-ID: \texttt{<43D97452.9070103@vt.edu>} timestamped Thu, 26 Jan 2006 17:16:02 -0800 archived at for example \url{HTTP://newsgroups.derKeiler.com/Archive/Comp/comp.arch.fpga/2006-01/}}, issn = {}, pages = {}, publisher = {}, address = {}, } @article{review_of_Numerical_Recipes_in_Nature, author = {Colin Upstill}, title = {review of \textit{{Numerical Recipes in C}}}, journal = {Nature}, volume = {1988}, number = {June}, year = {1988}, issn = {}, pages = {}, publisher = {}, address = {}, } @article{JOOP_goop1, author = {Andrew Koenig and Barbara E. Moo}, title = {{Performance: Myths, Measurements, and Morals---Part 1: Myths}}, journal = {Journal of Object-Oriented Programming}, volume = {}, number = {October}, year = {1999}, issn = {1097-1408}, pages = {61--63; and 65}, publisher = {}, address = {}, } @article{Smalltalk_superset, author = {Deyi Xue}, title = {{Developing a Superset Language of Smalltalk for Modeling Mechanical Systems}}, journal = {Journal of Object-Oriented Programming}, volume = {}, number = {September}, year = {2000}, issn = {1097-1408}, pages = {}, publisher = {}, address = {}, } @article{wixin_letter, author = {Sheldon Nicholl}, title = {{letter}}, journal = {Journal of Object-Oriented Programming}, volume = {}, number = {November}, year = {2000}, issn = {1097-1408}, pages = {3}, publisher = {}, address = {}, } @article{Smalltalk_is_mathematically_sound, author = {Thomas K\"{u}hne}, title = {{SmallTalk for Students---A Giant Leap for Studentkind, Part 1}}, journal = {Journal of Object-Oriented Programming}, volume = {14}, number = {1}, year = {2001}, issn = {1097-1408}, pages = {19--25}, publisher = {}, address = {}, } @article{fulltext29.pdf, author = {Franco Fummi and Mirko Loghi and Giovanni Perbellini and Massimo Poncino}, title = {{SystemC co-simulation for core-based embedded systems}}, journal = {Des Autom Embed Syst}, volume = {}, number = {}, year = {2007}, issn = {}, pages = {141--166}, publisher = {Springer}, address = {}, } @article{luie_mens_in_Leiden_er_was_in_Gent_en_Delft, author = {Ed Deprettere and J\'{e}r\^{o}me Lemaitre and Sylvain Alliot}, title = {{Requirements for Interfacing IP-Components in Re-configurable Platforms}}, journal = {Journal of VLSI Signal Processing}, volume = {}, number = {}, year = {2006}, issn = {}, pages = {}, publisher = {Springer}, address = {}, } @article{fulltext11.pdf, author = {H. Posadas and J. A. Adamez and E. Villar and F. Blasco and F. Escuder}, title = {{RTOS modeling in SystemC for real-time embedded SW simulation: A POSIX model}}, journal = {Des Autom Embed Syst}, volume = {}, number = {}, year = {2006}, issn = {}, pages = {}, publisher = {Springer}, address = {}, } @article{Hypernews_in_Spring_2010, author = {Schaelicke, A.}, title = {{Re: Polarized Scattering of Gamma Rays}}, journal = {\\ HTTP://Hypernews.SLAC.Stanford.edu/HyperNews/geant4/get/emprocess/960/1/1.html}, volume = {2010}, number = {March}, year = {2010}, issn = {}, pages = {}, publisher = {}, address = {}, } @article{just_as_slow_as_another_language, author = {Stephens}, title = {``[Systemc-forum] systemc is as slow as verilog'', Message-ID: \texttt{{}}}, journal = {HTTPS://WWW.SystemC.org/mailman/archives/systemc-forum/2004/001679.html}, volume = {2004}, number = {1679}, year = {2004}, issn = {}, pages = {}, publisher = {}, address = {}, } @book{detector_dictionary_website, author = {Rudolf K. Bock and Angela Vasilescu}, title = {{The Particle Detector BriefBook}}, edition = {HTML}, year = {1998}, isbn = {}, publisher = {\url{HTTP://RKB.home.CERN.CH/rkb/PH14pp/}}, address = {Switzerland}, } @book{detector_dictionary, author = {Rudolf K. Bock and Angela Vasilescu}, title = {{The Particle Detector BriefBook}}, edition = {paper}, year = {1998}, isbn = {}, publisher = {Springer}, address = {}, } @book{Youth_Defence, author = {Eoghan de Faoite and Carolyn Johnston and Adrian O'Boyle}, title = {{No Exceptions --- Why Human Life Deserves Our Respect}}, year = {2005}, isbn = {0954831314}, publisher = {Youth Defence}, address = {60a Capel Street, Dublin 1, \'{E}ire}, } @book{The_Art_of_Compiler_Design, author = {Pittman and Peters}, title = {{The Art of Compiler Design: Theory and Practice}}, year = {1992}, isbn = {}, publisher = {Prentice-Hall}, address = {}, } @book{Fortress_specification, author = {Eric Allen and David Chase and Joe Hallett and Victor Luchangco and Jan-Willem Maessen and Sukyoung Ryu and Guy L. Steele and Sam Tobin-Hochstadt and Joao Dias and Carl Eastlund and Christine Flood and Yossi Lev and Cheryl McCosh and Janus Dam Nielsen and Dan Smith}, title = {{The Fortress Language Specification}}, edition = {}, year = {2008}, isbn = {}, publisher = {Sun Microsystems}, address = {}, } @book{Organick, author = {Organick, Elliott I.}, title = {{A FORTRAN Primer}}, year = {1966}, isbn = {}, publisher = {Addison-Wesley}, address = {}, } @book{SystemC_Synthesizable_Subset, author = {SynthesisWorkingGroupofOSCI}, title = {{SystemC Synthesizable Subset}}, edition = {Draft 1.1.18}, year = {2004}, isbn = {}, publisher = {OSCI}, address = {}, } @book{ac_lrm-v2.0.pdf, author = {Guido Ara\'{u}jo and Rodolfo Jardim de Azevedo and Paulo C\'{e}sar Centoducatte and Sandro Rigo and Marcus Bartholomeu and Bruno de Carvalho Albertini and M\'{a}rcio Rog\'{e}rio Juliato and Alexandro Baldassin and Thiago Massarioli Sigrist and Marilia Felippe Chiozo and Danilo Marcolin Caravana and Luis Felipe Strano Moraes}, title = {{The ArchC Architecture Description Language v2.0 Reference Manual}}, edition = {}, year = {2007}, isbn = {}, publisher = {}, address = {}, note = {\url{FTP://Download.Sourceforge.net/pub/sourceforge/a/project/ar/archc/ac_lrm/2.0/ac_lrm-v2.0.pdf}} } @book{The_Design_and_Evolution_of_C++, author = {Bjarne Stroustrup}, title = {{The Design and Evolution of C++}}, edition = {first printing of the first}, year = {1994}, isbn = {0201543303}, publisher = {Addison-Wesley}, address = {}, } @book{SystemC_standard, author = {IEEE}, title = {IEEE Standard SystemC\textsuperscript{{\textregistered}} Language Reference Manual}, year = {2006}, isbn = {0-7381-4870-9 SS95505}, publisher = {IEEE}, note = {{IEEE Std 1666$^{TM}$-2005}}, address = {}, } @INPROCEEDINGS{modem, author={Armaroli, A. and Coppola, M. and Nava, M.D. and Fanucci, L.}, booktitle={System-on-Chip for Real-Time Applications, 2003. Proceedings. The 3rd IEEE International Workshop on}, title={{High level modeling and simulation of a VDSL modem in SystemC 2.0-IPsim}}, year={2003}, month={30}, volume={}, number={}, pages={175--180}, keywords={ C++ library; C++ object oriented methodology; IPsim modeling; SystemC 2.0; VDSL modem; VHDL simulation; high level modeling; intellectual property core; system level specification; system level verification; system on chip design; very high speed integrated circuit hardware description language; very high-rate digital subscriber line; C++ language; digital simulation; digital subscriber lines; hardware description languages; high level synthesis; industrial property; modelling; modems; object-oriented programming; system-on-chip;}, doi={}, ISSN={ },} @book{Tricks, author = {LaMothe, A. and Ratcliff, J. and Seminatore, M. and Tyler, D.}, title = {{Tricks of the Game Programming Gurus}}, year = {1994}, isbn = {0672305070}, publisher = {Sams}, address = {Indianapolis, IN, USA}, } @book{red_dragon, author = {Aho, Alfred V. and Sethi, Ravi and Ullman, Jeffrey D.}, title = {{Compilers: principles, techniques, and tools}}, year = {``\copyright 1986'', ``Reprinted with corrections March, 1988''}, isbn = {0-201-10088-6}, publisher = {Addison-Wesley}, address = {}, } @book{Langmuir_probes_in_Principles_compendium, author = {Behlke, Rico and Sundkvist, David and Tjulin, Anders}, title = {Behlke, Rico and Sundkvist, David and Tjulin, Anders, Chapter 7 Langmuir probes, in Solveig H. H{{\o}ymork (editor) and Ingrid Sandahl (editrix), Sensors and Instruments for Space Exploration}}, year = {2002}, isbn = {}, publisher = {Swedish Institute of Space Physics}, address = {Norrland, Sweden}, } @book{relative_refractive_index_misnamed_as_reflection_index, author = {Andersson, Laila}, title = {Andersson, Laila, Chapter 10 Radio measurements, in Solveig H. H{{\o}ymork (editor) and Ingrid Sandahl (editrix), Sensors and Instruments for Space Exploration}}, year = {2002}, isbn = {}, publisher = {Swedish Institute of Space Physics}, address = {Norrland, Sweden}, } @book{wrong_equation_for_the_surface_area_of_a_sphere, author = {Sandahl, Ingrid}, title = {Sandahl, Ingrid, et al., Chapter 2 Basic concepts, in Solveig H. H{{\o}ymork (editor) and Ingrid Sandahl (editrix), Sensors and Instruments for Space Exploration}}, year = {2002}, isbn = {}, publisher = {Swedish Institute of Space Physics}, address = {Norrland, Sweden}, } @book{ST_re_portability6, author = {Eric Paire}, editor = {Frank Ghenassia}, title = {{Eric Paire, Chapter 4 Embedded Software Development: Through The TLM Approach, in Transaction Level Modeling with SystemC}}, year = {2005}, doi = {10.1007/0-387-26233-4_4}, url = {HTTP://WWW.SpringerLink.com/content/R121816622133253}, isbn = {}, publisher = {Springer}, address = {}, } @book{ST_re_portability7, author = {Laurent Maillet-Contoz and Frank Ghenassia}, editor = {Frank Ghenassia}, title = {{Laurent Maillet-Contoz and Frank Ghenassia, Chapter 2 Transaction Level Modeling: An Abstraction Beyond RTL, in Transaction Level Modeling with SystemC}}, year = {2005}, doi = {10.1007/0-387-26233-4_2}, url = {HTTP://WWW.SpringerLink.com/content/L5L756115257G877}, isbn = {}, publisher = {Springer}, address = {}, } @book{ST_re_portability8, author = {Thibaut Bultiaux and Stephane Guenot and Serge Hustin and Alexandre Blampey and Joseph Bulone and Matthieu Moy}, editor = {Frank Ghenassia}, title = {{Thibaut Bultiaux and Stephane Guenot and Serge Hustin and Alexandre Blampey and Joseph Bulone and Matthieu Moy, Chapter 5 Functional Verification: From The TLM Perspective, in Transaction Level Modeling with SystemC}}, year = {2005}, doi = {10.1007/0-387-26233-4_5}, url = {HTTP://WWW.SpringerLink.com/content/W443521086881415}, isbn = {}, publisher = {Springer}, address = {}, } @book{former_compiler_developer_in_More_Tricks, author = {Pendleton, B. and Anderson, G. and Julius, T. and Russell, W. and Larsen, S. and Jones, E. and Freese, P. and Taylor, L. and Norton, M. J. and Melton, T. and Weiner, K. and Lorenzen, E. and Seminatore, M. and Whitlock, B. and Lehrfeld, A. and Garno, B.}, title = {{Bob Pendleton, Chapter 13 Optimizing Your Code, in More Tricks of the Game Programming Gurus}}, year = {1995}, isbn = {0672306972}, publisher = {Sams}, address = {Indianapolis, IN, USA}, } @book{fulltext194.pdf, author = {}, title = {{Chapter 2 Platform-Centric SoC Design Methodology, in A Platform-Centric Approach to System-on-Chip (SOC) Design}}, year = {2005}, isbn = {}, publisher = {Springer}, address = {}, } @book{Cascina, author = {Keith R. Benson}, title = {{Keith R. Benson, Chapter 54 Fraud and Misconduct in Science: Crimes, Misdemeanors, and the Nine Circles of Hell, Pages 507 to 511 of Bioetica}}, year = {}, isbn = {}, publisher = {}, address = {Italy}, } @mastersthesis{examensarbet, author = {Colin Paul Gloster}, title = {{Onboard software of the Mechanical and data Acquisition Support System spacecraft of the Young Engineers' Satellite 2}}, year = {2005}, school = {Ume{\aa} University}, address = {Ume{\aa}, Sweden}, } @book{Prolog_operators, author = {Jonathan Bowen}, title = {{Chapter 10 Rapid Compiler Implementation in He, Jifeng, Provably Correct Systems: Modelling of Communication Languages and Design of Optimized Compilers}}, year = {1995}, isbn = {0077090527}, publisher = {McGraw-Hill, Inc.}, address = {New York, NY, USA}, } @book{book_coauthored_by_Ducasse, author = {Nierstrasz, Oscar and Ducasse, Stphane and Demeyer, Serge}, title = {{Object-Oriented Reengineering Patterns}}, year = {2008}, } @article{com-ments_may_be_ignored_when_comparing, author = {Borkowski, U.}, title = {{Supporting Code Clone Inspection using Parameterized Clone Pattern}}, journal = {Softwaretechnik-Trends}, volume = {29}, number = {2}, year = {2009}, issn = {0720-8928}, pages = {30--31}, publisher = {Gesellschaft f\"{u}r Informatik e.V.}, address = {Bonn, Germany}, } @article{dubious_activation_inspiration, author = {Cleve Moler and Charles Van Loan}, title = {{Nineteen Dubious Ways to Compute the Exponential of a Matrix, Twenty-Five Years Later}}, journal = {SIAM Review}, volume = {45}, number = {1}, year = {2003}, issn = {}, pages = {}, publisher = {}, address = {}, } @article{COBOL, author = {G\"{o}de, N. and Rausch, M.}, title = {{Clone Evolution Revisited}}, journal = {Softwaretechnik-Trends}, volume = {30}, number = {2}, year = {2010}, issn = {0720-8928}, pages = {60--61}, publisher = {Gesellschaft f\"{u}r Informatik e.V.}, address = {Bonn, Germany}, } @article{FCT, author = {J. Sousa and A.J.N. Batista and R.C. Pereira and C. Varandas}, title = {{A unified real-time control and data acquisition hardware platform}}, journal = {Fusion Engineering and Design }, volume = {81}, number = {}, year = {2006}, issn = {0920-3796}, pages = {1853--1858}, publisher = {Elsevier}, address = {The Netherlands}, } @article{Zoglauer1, author = {A. Zoglauer and R. Andritschke and F. Schopper}, title = {{MEGAlib - The Medium Energy Gamma-ray Astronomy Library}}, journal = {New Astronomy Reviews}, volume = {50}, number = {7-8}, year = {2006}, issn = {1387-6473}, pages = {629--632}, publisher = {Elsevier}, address = {}, } @article{MGGPOD, author = {G. Weidenspointner, S.J. Sturner, E.I. Novikova, M.J. Harris, A. Zoglauer, C.B. Wunderer, R.M. Kippen, P. Bloser, and Ch. Zeitnitz}, title = {{MGGPOD: A Monte Carlo Suite for Gamma Ray Astronomy --- Version 1.1}}, journal = {ArXiv:astro-ph}, number = {/0702623v1}, year = {2007}, publisher = {ArXiv}, address = {ArXiv.org}, } @article{pointers_are_bad1, author = {Finkelstein, Daniel Alex}, title = {{Spotlight: an Interview with 2006 Turing Award Winner Frances E. Allen}}, journal = {Crossroads}, volume = {14}, number = {2}, year = {2007}, issn = {1528-4972}, pages = {1}, doi = {http://doi.acm.org/10.1145/1373596.1373600}, publisher = {ACM}, address = {New York, NY, USA}, } @article{EXE_preprocessor, author = {Kevlin Henney}, title = {{The EXE Questionnaire: Kevlin Henney}}, journal = {EXE: The Software Developers' Magazine}, volume = {}, number = {January}, year = {2000}, issn = {}, pages = {}, publisher = {Centaur Communications Ltd.}, address = {London, England}, } @inproceedings{Demeter, author = {Lieberherr, K. and Holland, I. and Riel, A.}, title = {{Object-oriented programming: an objective sense of style}}, booktitle = {{OOPSLA '88: Conference proceedings on Object-oriented programming systems, languages and applications}}, year = {1988}, isbn = {0-89791-284-5}, pages = {323--334}, location = {San Diego, California, United States}, doi = {http://doi.acm.org/10.1145/62083.62113}, publisher = {ACM}, address = {New York, NY, USA}, } @inproceedings{Northern_Irish_ESA_employee_presentation_in_Armagh, author = {Michael McKay}, title = {{Mars: New Opportunities and Challenges for European Space Science}}, booktitle = {{Astronomy and Astrophysics in Ireland}}, year = {2004}, isbn = {}, pages = {}, location = {Armagh, Northern Ireland}, doi = {}, publisher = {Institute of Physics}, address = {Armagh, Northern Ireland}, } @book{dummies, edition = {2nd}, author = {Davis, Stephen Randy}, title = {{C++ for Dummies}}, year = {1996}, isbn = {1568846142}, publisher = {IDG Books Worldwide, Inc.}, address = {Foster City, CA, USA}, } @book{Deitel_and_Deitel, author = {Deitel, Harvey M. and Deitel, Paul J.}, title = {{C++: How to Program}}, year = {2001}, edition = {third}, publisher = {Prentice-Hall, Inc.}, address = {Upper Saddle River, NJ, USA}, } @book{refactoring, author = {Martin Fowler and Kent Beck and John Brant and William Opdyke and Don Roberts}, title = {{Refactoring: improving the design of existing code}}, year = {1999}, isbn = {0-201-48567-2}, publisher = {Addison-Wesley Longman Publishing Co., Inc.}, address = {Boston, MA, USA}, } @book{white_TPP, author = {Kernighan, Brian W. and Pike, Rob}, title = {{The practice of programming}}, year = {1999}, isbn = {0-201-61586-X}, publisher = {Addison-Wesley}, address = {Boston, MA, USA}, } @book{Daconta_Java, author = {Daconta, Michael C.}, title = {Java\textsuperscript{{TM} for C/C++ programmers}}, year = {1996}, isbn = {0-471-15324-9}, publisher = {John Wiley \& Sons, Inc.}, address = {New York, NY, USA}, } @book{Daconta_C++, author = {Daconta, Michael C.}, title = {{C++ pointers and dynamic memory management}}, year = {1995}, isbn = {0-471-04998-0}, publisher = {Wiley-QED Publishing}, address = {Somerset, NJ, USA}, } @book{black_TPP, author = {Hunt, Andrew and Thomas, David}, title = {{The pragmatic programmer: from journeyman to master}}, year = {2000}, isbn = {0-201-61622-X}, publisher = {Addison-Wesley Longman Publishing Co., Inc.}, address = {Boston, MA, USA}, } @book{Fenton_and_Hill, author = {Fenton, Norman E. and Hill, Gillian}, title = {{Systems Construction and Analysis: A Mathematical and Logical Framework}}, year = {1993}, publisher = {McGraw-Hill, Inc.}, address = {New York, NY, USA}, } @book{Java_Horstmann, author = {Horstmann, Cay S.}, title = {{Computing Concepts with Java 2 Essentials}}, year = {2000}, publisher = {John Wiley \& Sons, Inc.}, address = {New York, NY, USA}, } @book{Java_Winder, author = {Winder, Russel and Roberts, Graham}, title = {{Developing Java software}}, year = {1998}, isbn = {0-471-97655-5}, publisher = {John Wiley \& Sons, Inc.}, address = {New York, NY, USA}, } @book{Eliens, author = {Eli\"{e}ns, Anton}, title = {{Principles of Object-Oriented Software Development}}, year = {``Reprinted 1995''}, edition = {first}, isbn = {0201624443}, publisher = {Addison-Wesley}, address = {}, } @book{Schaum_C, author = {Gottfried, Byron S.}, title = {{Schaum's Outline of Theory and Problems of Programming with C}}, year = {1996}, edition = {second}, isbn = {0070240353, 9780070240353}, publisher = {McGraw-Hill, Inc.}, address = {New York, NY, USA}, } @inproceedings{Crocker, author = {Will Tracz}, title = {{Quote of the Day attributed to Ron Crocker}}, booktitle = {{Window On the World, Volume 1, Number 1, International Conference on Software Engineering 1995}}, year = {1995}, } @book{K_and_R, author = {Kernighan, Brian W. and Ritchie, Dennis M.}, title = {{The C programming language}}, year = {1988}, isbn = {0-13-110362-8}, publisher = {Prentice Hall Press}, address = {Upper Saddle River, NJ, USA}, } @book{Henderson-Sellers, author = {Henderson-Sellers, Brian}, title = {{Object-oriented metrics: measures of complexity}}, year = {1996}, isbn = {0-13-239872-9}, publisher = {Prentice-Hall, Inc.}, address = {Upper Saddle River, NJ, USA}, } @article{The_Design_and_Evolution_of_C++_review, author = {Colin Paul Gloster}, title = {Review of \textit{{The Design and Evolution of C++}}}, journal = {CVu}, volume = {}, number = {February}, year = {2008}, issn = {1354-3164}, pages = {}, publisher = {Association of C \& C++ Users}, address = {England}, } @article{a_review_by_me_of_a_Booch_book, author = {Colin Paul Gloster}, title = {{Review of Grady Booch, \textit{Software Engineering with Ada}}}, journal = {CVu}, volume = {16}, number = {2}, year = {2004}, issn = {1354-3164}, pages = {30}, publisher = {Association of C \& C++ Users}, address = {England}, url = {HTTPS://ACCU.org/bookreviews/2004/gloster_1288/} } @book{Shepperd_book, editor = {Shepperd, Martin}, title = {{Software engineering metrics I: measures and validations}}, year = {1993}, isbn = {0-07-707410-6}, publisher = {McGraw-Hill, Inc.}, address = {New York, NY, USA}, } @article{Shepperd_paper, author = {Shepperd, Martin}, title = {{A critique of cyclomatic complexity as a software metric}}, journal = {Softw. Eng. J.}, volume = {3}, number = {2}, year = {1988}, issn = {0268-6961}, pages = {30--36}, publisher = {Michael Faraday House}, address = {Herts, UK, UK}, } @article{McCabe1976, author = {McCabe, T. J.}, title = {{A Complexity Measure}}, journal = {IEEE Trans. Softw. Eng.}, volume = {2}, number = {4}, year = {1976}, issn = {0098-5589}, pages = {308--320}, doi = {http://dx.doi.org/10.1109/TSE.1976.233837}, publisher = {IEEE Press}, address = {Piscataway, NJ, USA}, } @article{McCabe1989, author = {McCabe, Thomas J. and Butler, Charles W.}, title = {{Design complexity measurement and testing}}, journal = {Commun. ACM}, volume = {32}, number = {12}, year = {1989}, issn = {0001-0782}, pages = {1415--1425}, doi = {http://doi.acm.org/10.1145/76380.76382}, publisher = {ACM}, address = {New York, NY, USA}, } @article{real_OO_experiment, author = {Potanin, Alex and Noble, James and Frean, Marcus and Biddle, Robert}, title = {{Scale-free geometry in OO programs}}, journal = {Commun. ACM}, volume = {48}, number = {5}, year = {2005}, issn = {0001-0782}, pages = {99--103}, doi = {http://doi.acm.org/10.1145/1060710.1060716}, publisher = {ACM}, address = {New York, NY, USA}, } @article{Software_Development_magazine_compact_disk_for_1989_to_1994, author = {Ochs, Tom}, title = {{Ada Comes of Age}}, journal = {Software Development}, volume = {}, number = {November}, year = {1993}, issn = {}, pages = {}, publisher = {Miller Freeman}, address = {}, } @inproceedings{structured_programming, author = {Weiner, Leonard H.}, title = {{The roots of structured programming}}, booktitle = {{SIGCSE '78: Papers of the SIGCSE/CSA technical symposium on Computer science education}}, year = {1978}, pages = {243--254}, location = {Detroit, Michigan}, doi = {http://doi.acm.org/10.1145/990555.990636}, publisher = {ACM}, address = {New York, NY, USA}, } @inproceedings{Fortran_good_enough_for_replacing_standard_subprograms_by_user-defined_subprograms, editor = {A. Kling et al.}, author = {M.B. Emmett and D.F. Hollenbach}, title = {{Current Status of the Oak Ridge Monte Carlo Codes: MORSE/SAS4 and KENO}}, booktitle = {{Advanced Monte Carlo for radiation physics, particle transport simulation, and applications: proceedings of the Monte Carlo 2000 Conference, Lisbon, 23--26 October 2000}}, year = {2001}, pages = {}, location = {Lisbon, Portugal}, publisher = {Springer}, address = {}, } @inproceedings{OCCN2, author = {Coppola, Marcello and Curaba, Stephane and Grammatikakis, Miltos D. and Maruccia, Giuseppe and Papariello, Francesco}, title = {{OCCN: A Network-On-Chip Modeling and Simulation Framework}}, booktitle = {{DATE '04: Proceedings of the conference on Design, automation and test in Europe}}, year = {2004}, isbn = {0-7695-2085-5-3}, pages = {174--179}, publisher = {IEEE Computer Society}, address = {Washington, DC, USA}, } @inproceedings{Lava1, author = {Bjesse, Per and Claessen, Koen and Sheeran, Mary and Singh, Satnam}, title = {{Lava: hardware design in Haskell}}, booktitle = {{ICFP '98: Proceedings of the third ACM SIGPLAN international conference on Functional programming}}, year = {1998}, isbn = {1-58113-024-4}, pages = {174--184}, location = {Baltimore, Maryland, United States}, doi = {http://doi.acm.org/10.1145/289423.289440}, publisher = {ACM}, address = {New York, NY, USA}, } @inproceedings{APL2, author = {Zein, D. A. and Ho, C. W. and Gruodis, A. J.}, title = {{Interactive circuit design program in APL}}, booktitle = {{APL '83: Proceedings of the international conference on APL}}, year = {1983}, isbn = {0-89791-095-8}, pages = {23--28}, location = {Washington, D.C., United States}, doi = {http://doi.acm.org/10.1145/800062.801191}, publisher = {ACM}, address = {New York, NY, USA}, } @inproceedings{APL3, author = {Zein, D. Z. and Engel, O. P. and Ditlow, G.}, title = {{HLSIM - A New Hierarchical Logic Simulator In APL}}, booktitle = {{IEEE VLSI Test Symposium 1992}}, year = {1992}, isbn = {}, pages = {}, location = {}, publisher = {IEEE Computer Society Press}, address = {}, } @inproceedings{APL4, author = {Ching, Wai-Mee and Katz, Alex}, title = {{An experimental APL compiler for a distributed memory parallel machine}}, booktitle = {{Supercomputing '94: Proceedings of the 1994 ACM/IEEE conference on Supercomputing}}, year = {1994}, isbn = {0-8186-6605-6}, pages = {59--68}, location = {Washington, D.C.}, doi = {http://doi.acm.org/10.1145/602770.602788}, publisher = {ACM}, address = {New York, NY, USA}, } @article{APL6, author = {Giloi, W. K. and Liebig, H.}, title = {{A Formalism for Description and Synthesis of Logical Algorithms and their Hardware Implementation}}, journal = {IEEE Trans. Comput.}, volume = {23}, number = {9}, year = {1974}, issn = {0018-9340}, pages = {897--906}, doi = {http://dx.doi.org/10.1109/T-C.1974.224053}, publisher = {IEEE Computer Society}, address = {Washington, DC, USA}, } @inproceedings{APL7, author = {Umrigar, Zerksis D. and Pitchumani, Vijay}, title = {{Formal verification of a real-time hardware design}}, booktitle = {{DAC '83: Proceedings of the 20th Design Automation Conference}}, year = {1983}, isbn = {0-8186-0026-8}, pages = {221--227}, location = {Miami Beach, Florida, United States}, publisher = {IEEE Press}, address = {Piscataway, NJ, USA}, } @inproceedings{CdTe_SPIE_conference_proceedings, author = {Tadayuki Takahashi and Kazuhiro Nakazawa and Tuneyoshi Kamae and Hiroyasu Tajima and Yasushi Fukazawa and Masaharu Nomachi and Motohide Kokubun}, editor = {Joachim E. Truemper and Harvey D. Tananbaum}, collaboration = {}, title = {{High resolution CdTe detectors for the next-generation multi-Compton gamma-ray telescope}}, publisher = {SPIE}, year = {2003}, booktitle = {{X-Ray and Gamma-Ray Telescopes and Instruments for Astronomy}}, volume = {4851}, number = {1}, pages = {1228--1235}, location = {Waikoloa, HI, USA}, url = {http://link.aip.org/link/?PSI/4851/1228/1}, doi = {10.1117/12.461287} } @article{Elsevier_CdTe, title = {{Recent achievements of the high resolution Schottky CdTe diode for $\gamma$-ray detectors}}, journal = "New Astronomy Reviews", volume = "48", number = "1-4", pages = "309 -- 313", year = "2004", issn = "1387-6473", doi = "DOI: 10.1016/j.newar.2003.11.036", author = "Takaai Tanaka and Yoshihito Kobayashi and Takefumi Mitani and Kazuhiro Nakazawa and Kousuke Oonuki and Goro Sato and Tadayuki Takahashi and Shin Watanabe", keywords = "Cadmium telluride (CdTe)", keywords = "CdTe diode detector", keywords = "[gamma]-ray", keywords = "X-ray" } @book{Structured_Programming:_Theory_and_Practice, author = {Mills, H. D. and Linger, Richard C. and Witt, Bernard I.}, title = {{Structured Programming; Theory and Practice the Systems Programming Series}}, year = {1979}, isbn = {0201144611}, publisher = {Addison-Wesley Longman Publishing Co., Inc.}, address = {Boston, MA, USA}, } @article{Ducasse1, author = {Ducasse, St\'{e}phane and Nierstrasz, Oscar and Rieger, Matthias}, title = {{On the effectiveness of clone detection by string matching: Research Articles}}, journal = {J. Softw. Maint. Evol.}, volume = {18}, number = {1}, year = {2006}, issn = {1532-060X}, pages = {37--58}, doi = {http://dx.doi.org/10.1002/smr.v18:1}, publisher = {John Wiley \& Sons, Inc.}, address = {New York, NY, USA}, } @inproceedings{Ducasse3, author = {Demeyer, Serge and Ducasse, St\'{e}phane and Nierstrasz, Oscar}, title = {{Finding refactorings via change metrics}}, booktitle = {{OOPSLA '00: Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications}}, year = {2000}, isbn = {1-58113-200-X}, pages = {166--177}, location = {Minneapolis, Minnesota, United States}, doi = {http://doi.acm.org/10.1145/353171.353183}, publisher = {ACM}, address = {New York, NY, USA}, } @inproceedings{Ducasse4, author = {Ducasse, S. et al.}, title = {{Towards A Process-Oriented Software Architecture Reconstruction Taxonomy}}, booktitle = {{CSMR '07: Proceedings of the 11th European Conference on Software Maintenance and Reengineering}}, year = {2007}, isbn = {0-7695-2802-3}, pages = {137--148}, doi = {http://dx.doi.org/10.1109/CSMR.2007.50}, publisher = {IEEE Computer Society}, address = {Washington, DC, USA}, } @inproceedings{Ducasse5, author = {Rieger, Matthias and Ducasse, St\'{e}phane and Lanza, Michele}, title = {{Insights into System-Wide Code Duplication}}, booktitle = {{WCRE '04: Proceedings of the 11th Working Conference on Reverse Engineering}}, year = {2004}, isbn = {0-7695-2243-2}, pages = {100--109}, publisher = {IEEE Computer Society}, address = {Washington, DC, USA}, } @inproceedings{Ducasse7, author = {Ducasse, St\'{e}phane and Rieger, Matthias and Demeyer, Serge}, title = {{A Language Independent Approach for Detecting Duplicated Code}}, booktitle = {{ICSM '99: Proceedings of the IEEE International Conference on Software Maintenance}}, year = {1999}, isbn = {0-7695-0016-1}, pages = {109}, publisher = {IEEE Computer Society}, address = {Washington, DC, USA}, } @inproceedings{Ducasse10, author = {G\^{\i}rba, Tudor and Ducasse, St\'{e}phane and Kuhn, Adrian and Marinescu, Radu and Daniel, Ra\c{t}iu}, title = {{Using concept analysis to detect co-change patterns}}, booktitle = {{IWPSE '07: Ninth international workshop on Principles of software evolution}}, year = {2007}, isbn = {978-1-59593-722-3}, pages = {83--89}, location = {Dubrovnik, Croatia}, doi = {http://doi.acm.org/10.1145/1294948.1294970}, publisher = {ACM}, address = {New York, NY, USA}, } @inproceedings{Ducasse14, author = {Rieger, Matthias and Ducasse, St\'{e}phane}, title = {{Visual Detection of Duplicated Code}}, booktitle = {{ECOOP '98: Workshop ion on Object-Oriented Technology}}, year = {1998}, isbn = {3-540-65460-7}, pages = {75--76}, publisher = {Springer-Verlag}, address = {London, UK}, } @inproceedings{Strongtalk_paper, author = {Bracha, Gilad and Griswold, David}, title = {{Strongtalk: typechecking Smalltalk in a production environment}}, booktitle = {{OOPSLA '93: Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications}}, year = {1993}, isbn = {0-89791-587-9}, pages = {215--230}, location = {Washington, D.C., United States}, doi = {10.1145/165854.165893}, publisher = {ACM}, address = {New York, NY, USA}, } @phdthesis{nonsense_that_Swedes_are_not_lazy3, author = {Hult, Carl}, note = {\url{HTTP://Urn.Kb.Se/resolve?urn=urn:nbn:se:umu:diva-343}}, title = {{The way we conform to paid labour: Commitment to employment and organization from a comparative perspective}}, year = {2004}, isbn = {91-7305-751-7}, order_no = {}, publisher = {Ume{\aa} University}, address = {Ume{\aa}, Sweden}, } @book{Philip's_Astronomy_Dictionary, editor = {Ridpath, Ian and Woodruff, John (editorial consultants)}, title = {{Philip's Astronomy Dictionary}}, year = {1995}, isbn = {0540060151}, publisher = {George Philip Limited}, address = {UK}, } @book{Afterglow_of_Creation, author = {Chown, Marcus}, title = {{Afterglow of Creation: From the fireball to the discovery of cosmic ripples}}, year = {1993}, isbn = {}, publisher = {Arrow Books}, address = {}, } @book{Beyond_the_Jupiter_Effect, author = {Gribbin, John and Plagemann, Stephen}, title = {{Beyond the Jupiter Effect}}, year = {1983}, isbn = {}, publisher = {Macdonald and Co (Publishers) Ltd}, address = {}, } @book{life's_losers, editor = {Simmons, Ian (compiler)}, title = {{The Fortean Times Book of Life's Losers}}, year = {1996}, isbn = {}, publisher = {}, address = {}, } @book{Newton's_childishness, author = {Porter, George}, title = {{Senior Physics}}, year = {}, isbn = {}, publisher = {Folens}, address = {}, } @book{someone_who_told_Marx_that_poor_people_would_become_evil_if_richer, editor = {Magee, Bryan}, title = {{The Great Philosophers: An Introduction to Western Philosophy}}, year = {2000 reissue}, isbn = {}, publisher = {Oxford}, address = {Oxford, England}, } @book{Relativity, author = {Sexl, Roman U. and Urbantke, Helmuth K.}, title = {{Relativity, Groups, Particles: Special Relativity and Relativistic Symmetry in Field and Particle Physics}}, year = {2001}, isbn = {}, publisher = {}, address = {}, } @book{almost_Z_coursebook, author = {Woodcock, Jim C. P. and Loomes, Martin}, title = {{Software Engineering Mathematics: Formal Methods Demystified}}, year = {1991 reprint}, isbn = {}, publisher = {Pitman Publishing}, address = {}, } @book{Ralston_re_LaTeX, author = {Anthony Ralston and Hugh Neill}, title = {{Teach Yourself Algorithms}}, year = {1997}, isbn = {}, publisher = {Hodder Headline Plc}, address = {}, } @book{arrogant_Aristotle, author = {Marlowe, Jack}, title = {{Truly Terrible Tales: Scientists}}, year = {1997}, isbn = {0340667230}, publisher = {Hodder}, address = {}, } @article{ethic_female_mathematicians_are_excellent, author = {Titu Andreescu, Joseph A. Gallian, Jonathan M. Kane, and Janet E. Mertz}, title = {{Cross-Cultural Analysis of Students with Exceptional Talent in Mathematical Problem Solving}}, journal = {Notices of the American Mathematical Society}, volume = {}, number = {November}, year = {2008}, issn = {}, pages = {}, doi = {HTTP://WWW.AMS.org/notices/200810/fea-gallian.pdf}, publisher = {American Mathematical Society}, address = {}, } @book{Monte_Carlo_Statistical_Methods_2nd_edition, author = {Robert, Christian P. and Casella, George}, title = {{Monte Carlo Statistical Methods}}, year = {2004}, edition = {2nd}, isbn = {}, publisher = {}, address = {}, } @book{lshort.pdf, author = {Tobias Oetiker and Hubert Partl and Irene Hyna and Elisabeth Schlegl}, title = {The Not So Short Introduction to {{\LaTeXe}: Or \LaTeXe in 139 minutes}}, year = {2006}, edition = {Version 4.20}, isbn = {}, publisher = {\path{/texmf-doc/doc/english/lshort-english/lshort.pdf}}, address = {}, } @phdthesis{selfGuruPhdThesis.pdf, author = {Moore, Ivan Ronald}, note = {\url{HTTP://SelfGuru.SourceForge.net/selfGuruPhdThesis.pdf}}, title = {{Automatic Restructuring of Object-Oriented Programs}}, year = {supposedly ``1996'' but the PDF file is timestamped 2001}, isbn = {}, order_no = {}, publisher = {}, address = {}, } @book{Acton, author = {Forman S. Acton}, title = {{Numerical Methods That Work}}, note = {1990 version of a 1970 book}, year = {1990}, isbn = {0883854503}, publisher = {Mathematical Association of America}, address = {Washington, U.S.A.}, } @inproceedings{Cook, author = {Cook, William R.}, title = {{Interfaces and specifications for the Smalltalk-80 collection classes}}, booktitle = {{OOPSLA '92: conference proceedings on Object-oriented programming systems, languages, and applications}}, year = {1992}, isbn = {0-201-53372-3}, pages = {1--15}, location = {Vancouver, British Columbia, Canada}, doi = {http://doi.acm.org/10.1145/141936.141938}, publisher = {ACM}, address = {New York, NY, USA}, } @book{OOSC2, author = {Meyer, Bertrand}, title = {{Object-Oriented Software Construction}}, year = {1997}, edition = {second}, isbn = {}, publisher = {Prentice Hall}, address = {}, } @book{Smalltalk-80, author = {Goldberg, Adele and Robson, David}, title = {{Smalltalk-80: The Language and its Implementation}}, year = {1985}, publisher = {Addison-Wesley}, address = {United States of America} } @article{Gasperoni, author = {Gasperoni, Franco}, title = {{Safety, security, and object-oriented programming}}, journal = {SIGBED Rev.}, volume = {3}, number = {4}, year = {2006}, pages = {15--26}, doi = {http://doi.acm.org/10.1145/1183088.1183092}, publisher = {ACM}, address = {New York, NY, USA}, } @inproceedings{Johnson_on_Fortran, author = {Johnson, Ralph and Overbey, Jeffrey and Xanthos, Spiros and Foote, Brian}, title = {{Refactorings for Fortran and high-performance computing}}, booktitle = {{SE-HPCS '05: Proceedings of the second international workshop on Software engineering for high performance computing system applications}}, year = {2005}, isbn = {1-59593-117-1}, pages = {37--39}, location = {St. Louis, Missouri}, doi = {http://doi.acm.org/10.1145/1145319.1145331}, publisher = {ACM}, address = {New York, NY, USA}, } @article{MathSIG, author = {Anthony C Robin}, title = {{Can Science and Religious Belief be Consistent?}}, journal = {SIGMA}, volume = {}, number = {07/07/2009}, year = {2009}, pages = {}, publisher = {British Mensa}, address = {Wolverhampton, England}, } @article{class_inheritance_claimed_to_support_programming-by-difference, author = "Ralph E. Johnson and Brian Foote", title = {{Designing Reusable Classes}}, journal = "Journal of Object-Oriented Programming", year = 1988, pages = "22--35", volume = "1", number = "2", } @book{Comparative_Programming_Languages_ML_book, author = {Ullman, Jeffrey D.}, title = {{Elements of ML programming (ML97 ed.)}}, year = {1998}, isbn = {0-13-790387-1}, publisher = {Prentice-Hall, Inc.}, address = {Upper Saddle River, NJ, USA}, } @article{reusing_identifiers_is_bad, author = {Hammond, Peter}, title = {{Reuse, Recycle, Refill?}}, journal = {CVu}, volume = {}, number = {December}, year = {2007}, issn = {1354-3164}, pages = {}, publisher = {Association of C \& C++ Users}, address = {England}, } @book{SRON2006, author = {SRON}, title = {{Annual report 2006}}, year = {2007}, isbn = {}, publisher = {SRON Netherlands Institute for Space Research}, address = {The Netherlands}, } @mastersthesis{Finnish_port_from_FORTRAN_to_Geant4, author = {Pekka J. Kaitaniemi}, title = {{Hadronic Cascade Models INCL4 and ABLA for Geant4 Simulation}}, year = {2007}, publisher = {University of Helsinki}, address = {Helsinki, Finland}, } @article{geographers_mistaken, author = {Goldberg, Daniel W.}, title = {{Staying disciplined during an interdisciplinary degree}}, journal = {Crossroads}, volume = {16}, number = {2}, year = {2009}, issn = {1528-4972}, pages = {3--6}, doi = {http://doi.acm.org/10.1145/1665997.1665999}, publisher = {ACM}, address = {New York, NY, USA}, } @book{book_by_Smith_on_graduate_research, author = {Robert V. Smith}, title = {{Graduate Research: A Guide for Students in the Sciences}}, year = {1984}, isbn = {}, publisher = {ISI Press}, address = {}, } @book{book_by_Mauch_and_Birch_on_research, author = {James E. Mauch and Jack W. Birch}, title = {{Guide to the Successful Thesis and Dissertation: A Handbook for Students and Faculty}}, year = {1993}, edition = {third}, isbn = {}, publisher = {}, address = {}, } @book{first_activation_book_for_chemists_which_I_read, author = {Nargolwalla and Przyblowicz}, title = {{Activation Analysis with Neutron Generators}}, year = {1973}, isbn = {}, publisher = {Wiley-Interscience}, address = {}, } @article{Gunnink_confused_on_what_numerical_methods_are_called_what, title = {{Methods for evaluating and analyzing CdTe and CdZnTe spectra}}, journal = "Nuclear Instruments and Methods in Physics Research Section A: Accelerators,Spectrometers,Detectors and Associated Equipment", volume = "458", number = "1-2", pages = "196 - 205", year = "2001", issn = "0168-9002", doi = "DOI: 10.1016/S0168-9002(00)01036-6", author = "Ray Gunnink and Rolf Arlt", keywords = "Room temperature semiconductor detectors", keywords = "CdTe, CdZnTe Gamma spectra", keywords = "Gamma peak fitting", keywords = "Safeguards" } @book{Java_Tiger_my_copy, author = {Appel, Andrew W.}, title = {{Modern Compiler Implementation in Java}}, year = {``Reprinted with corrections, 1999''}, isbn = {}, publisher = {University of Cambridge}, } @book{C_Tiger, author = {Appel, Andrew W. and Ginsburg, Maia}, title = {{Modern Compiler Implementation in C}}, year = {1998}, isbn = {052158390X}, publisher = {Press Syndicate of the University of Cambridge}, } @book{newer_Java_Tiger, author = {Appel, Andrew W. ``with JENS PALSBERG''}, title = {{Modern Compiler Implementation in Java}}, edition = {second}, year = {2002}, isbn = {}, publisher = {Press Syndicate of the University of Cambridge}, } @book{Kevin_Tieskoetter_is_a_genius, author = {Tieskoetter, Kevin}, title = {{Black Art of Macintosh Game Programming}}, year = {1996}, isbn = {157169059X}, publisher = {Waite Group Press}, address = {Corte Madera, CA}, } @book{Sedgewick_with_C++, author = {Sedgewick, Robert and Wyk, Christopher J. Van}, title = {{Algorithms in C++: Parts 1-4}}, year = {1998}, edition = {third}, isbn = {0201350882}, publisher = {Addison-Wesley}, address = {}, } @article{FORTRAN_creator_argued_to_abandon_FORTRAN, author = {Backus, John}, title = {{The history of FORTRAN I, II, and III}}, journal = {SIGPLAN Not.}, volume = {13}, number = {8}, year = {1978}, issn = {0362-1340}, pages = {165--180}, doi = {http://doi.acm.org/10.1145/960118.808380}, publisher = {ACM}, address = {New York, NY, USA}, } @phdthesis{PhD_of_Donald_Bradley_Roberts, author = {Roberts, Donald Bradley}, title = {{Practical analysis for refactoring}}, year = {1999}, isbn = {0-599-46857-2}, order_no = {AAI9944985}, publisher = {University of Illinois at Urbana-Champaign}, school = {University of Illinois at Urbana-Champaign}, address = {Champaign, IL, USA}, } @inproceedings{FastSysC, author = {P\'{e}rez, D. G. and Mouchard, G. and Temam, O.}, title = {{A Fast SystemC Engine}}, booktitle = {{DATE '04: Proceedings of the conference on Design, automation and test in Europe}}, year = {2004}, isbn = {0-7695-2085-5-3}, publisher = {IEEE Computer Society}, address = {Washington, DC, USA}, } @inproceedings{312IEEEXplore.pdf, author = {Le Moigne, R. and Pasquier, O. and Calvez, J-P.}, title = {{A Generic RTOS Model for Real-time Systems Simulation with SystemC}}, booktitle = {{DATE '04: Proceedings of the conference on Design, automation and test in Europe}}, year = {2004}, isbn = {0-7695-2085-5-3}, pages = {30082}, publisher = {IEEE Computer Society}, address = {Washington, DC, USA}, } @inproceedings{77IEEEXplore.pdf, author = {Posadas, Hector and \'{A}damez, Jes\'{u}s and S\'{a}nchez, Pablo and Villar, Eugenio and Blasco, Francisco}, title = {{POSIX modeling in SystemC}}, booktitle = {{ASP-DAC '06: Proceedings of the 2006 Asia and South Pacific Design Automation Conference}}, year = {2006}, isbn = {0-7803-9451-8}, pages = {485--490}, location = {Yokohama, Japan}, doi = {http://doi.acm.org/10.1145/1118299.1118418}, publisher = {IEEE Press}, address = {Piscataway, NJ, USA}, } @inproceedings{268IEEEXplore.pdf, author = {Hsu, Yung-Tai and Wen, Yuan-Jin and Wang, Sheng-De}, title = {{Embedded Hardware/Software Design and Cosimulation using User Mode Linux and SystemC}}, booktitle = {{ICPPW '07: Proceedings of the 2007 International Conference on Parallel Processing Workshops}}, year = {2007}, isbn = {0-7695-2934-8}, pages = {17}, doi = {http://dx.doi.org/10.1109/ICPPW.2007.39}, publisher = {IEEE Computer Society}, address = {Washington, DC, USA}, } @inproceedings{112IEEEXplore.pdf, author = {Charest, Luc and Aboulhamid, El Mostapha and Bois, Guy}, title = {{Using Design Patterns for Type Unification and Introspection in SystemC}}, booktitle = {{IWSOC '04: Proceedings of the System-on-Chip for Real-Time Applications, 4th IEEE International Workshop}}, year = {2004}, isbn = {0-7695-2182-7}, pages = {45--50}, doi = {http://dx.doi.org/10.1109/IWSOC.2004.69}, publisher = {IEEE Computer Society}, address = {Washington, DC, USA}, } @inproceedings{SystemC_ESA, author = {Beltrame, Giovanni and Bolchini, Cristiana and Fossati, Luca and Miele, Antonio and Sciuto, Donatella}, title = {{ReSP: a non-intrusive transaction-level reflective MPSoC simulation platform for design space exploration}}, booktitle = {{ASP-DAC '08: Proceedings of the 2008 Asia and South Pacific Design Automation Conference}}, year = {2008}, isbn = {978-1-4244-1922-7}, pages = {673--678}, location = {Seoul, Korea}, publisher = {IEEE Computer Society Press}, address = {Los Alamitos, CA, USA}, } @inproceedings{Java_paper_by_an_Ada_hardware_traitor, author = {Borg, Andrew and Gao, Rui and Audsley, Neil}, title = {{A co-design strategy for embedded Java applications based on a hardware interface with invocation semantics}}, booktitle = {{JTRES '06: Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems}}, year = {2006}, isbn = {1-59593-544-4}, pages = {58--67}, location = {Paris, France}, doi = {http://doi.acm.org/10.1145/1167999.1168010}, publisher = {ACM}, address = {New York, NY, USA}, } @article{ANSI_C_is_a_subset_of_SystemC, author = {Nikoli\'{c}, Zoran and Nguyen, Ha Thai and Frantz, Gene}, title = {{Design and implementation of numerical linear algebra algorithms on fixed point DSPs}}, journal = {EURASIP J. Adv. Signal Process}, volume = {2007}, number = {2}, year = {2007}, issn = {1110-8657}, pages = {13--13}, doi = {http://dx.doi.org/10.1155/2007/87046}, publisher = {Hindawi Publishing Corp.}, address = {New York, NY, United States}, } @inproceedings{promoting_wrappers_but_saying_efficiency_should_be_tried, author = {Zhu, Jianwen and Gajski, Daniel D.}, title = {{Compiling SpecC for simulation}}, booktitle = {{ASP-DAC '01: Proceedings of the 2001 Asia and South Pacific Design Automation Conference}}, year = {2001}, isbn = {0-7803-6634-4}, pages = {57--62}, location = {Yokohama, Japan}, doi = {http://doi.acm.org/10.1145/370155.370273}, publisher = {ACM}, address = {New York, NY, USA}, } @inproceedings{p573-arnout.pdf, author = {Arnout, Guido}, title = {{SystemC standard (note that this is a paper, not a standard)}}, booktitle = {{ASP-DAC '00: Proceedings of the 2000 Asia and South Pacific Design Automation Conference}}, year = {2000}, isbn = {0-7803-5974-7}, pages = {573--578}, location = {Yokohama, Japan}, doi = {http://doi.acm.org/10.1145/368434.368808}, publisher = {ACM}, address = {New York, NY, USA}, } @inproceedings{p173-leupers.pdf, author = {Leupers, Rainer}, title = {{Code generation for embedded processors}}, booktitle = {{ISSS '00: Proceedings of the 13th international symposium on System synthesis}}, year = {2000}, isbn = {1080-1082}, pages = {173--178}, location = {Madrid, Spain}, doi = {http://doi.acm.org/10.1145/501790.501827}, publisher = {IEEE Computer Society}, address = {Washington, DC, USA}, } @inproceedings{p679-guthier.pdf, author = {Guthier, L. and Yoo, S. and Jerraya, A.}, title = {{Automatic generation and targeting of application specific operating systems and embedded systems software}}, booktitle = {{DATE '01: Proceedings of the conference on Design, automation and test in Europe}}, year = {2001}, isbn = {0-7695-0993-2}, pages = {679--685}, location = {Munich, Germany}, publisher = {IEEE Press}, address = {Piscataway, NJ, USA}, } @inproceedings{208510364.pdf, author = {Quinn, D. and Lavigueur, B. and Bois, G. and Aboulhamid, M.}, title = {{A System Level Exploration Platform and Methodology for Network Applications Based on Configurable Processors}}, booktitle = {{DATE '04: Proceedings of the conference on Design, automation and test in Europe}}, year = {2004}, isbn = {0-7695-2085-5-1}, pages = {10364}, publisher = {IEEE Computer Society}, address = {Washington, DC, USA}, } @inproceedings{p145-kwon.pdf, author = {Kwon, KiSeun and Yi, YoungMin and Kim, DoHyung and Ha, SoonHoi}, title = {{Embedded software generation from system level specification for multi-tasking embedded systems}}, booktitle = {{ASP-DAC '05: Proceedings of the 2005 Asia and South Pacific Design Automation Conference}}, year = {2005}, isbn = {0-7803-8737-6}, pages = {145--150}, location = {Shanghai, China}, doi = {http://doi.acm.org/10.1145/1120725.1120792}, publisher = {ACM}, address = {New York, NY, USA}, } @inproceedings{a_conference_in_Pisa_before_I_moved_to_Tuscany, author = {Raghavan, Gopal and Salomaki, Ari and Lencevicius, Raimondas}, title = {{Model based estimation and verification of mobile device performance}}, booktitle = {{EMSOFT '04: Proceedings of the 4th ACM international conference on Embedded software}}, year = {2004}, isbn = {1-58113-860-1}, pages = {34--43}, location = {Pisa, Italy}, doi = {http://doi.acm.org/10.1145/1017753.1017764}, publisher = {ACM}, address = {New York, NY, USA}, } @inproceedings{ST_re_portability1, author = {Paulin, Pierre G. and Pilkington, Chuck and Bensoudane, Essaid and Langevin, Michel and Lyonnard, Damien}, title = {{Application of a Multi-Processor SoC Platform to High-Speed Packet Forwarding}}, booktitle = {{DATE '04: Proceedings of the conference on Design, automation and test in Europe}}, year = {2004}, isbn = {0-7695-2085-5-3}, pages = {30058}, publisher = {IEEE Computer Society}, address = {Washington, DC, USA}, } @inproceedings{ST_re_portability2, author = {Yoo, Sungjoo and Youssef, Mohamed-Wassim and Bouchhima, Aimen and Jerraya, Ahmed A. and Diaz-Nava, Mario}, title = {{Multi-Processor SoC Design Methodology Using a Concept of Two-Layer Hardware-Dependent Software}}, booktitle = {{DATE '04: Proceedings of the conference on Design, automation and test in Europe}}, year = {2004}, isbn = {0-7695-2085-5-2}, pages = {21382}, publisher = {IEEE Computer Society}, address = {Washington, DC, USA}, } @inproceedings{ST_re_portability3, author = {Paulin, P. and Karim, F. and Bromley, P.}, title = {{Network processors: a perspective on market requirements, processor architectures and embedded S/W tools}}, booktitle = {{DATE '01: Proceedings of the conference on Design, automation and test in Europe}}, year = {2001}, isbn = {0-7695-0993-2}, pages = {420--429}, location = {Munich, Germany}, publisher = {IEEE Press}, address = {Piscataway, NJ, USA}, } @article{SHAPES_re_portability, author = {Popovici, Katalin and Guerin, Xavier and Rousseau, Frederic and Paolucci, Pier Stanislao and Jerraya, Ahmed Amine}, title = {{Platform-based software design flow for heterogeneous MPSoC}}, journal = {ACM Trans. Embed. Comput. Syst.}, volume = {7}, number = {4}, year = {2008}, issn = {1539-9087}, pages = {1--23}, doi = {http://doi.acm.org/10.1145/1376804.1376807}, publisher = {ACM}, address = {New York, NY, USA}, } @inproceedings{rare_SystemC_criticism_in_a_paper, author = {Edwards, Stephen A.}, title = {{Using program specialization to speed SystemC fixed-point simulation}}, booktitle = {{PEPM '06: Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation}}, year = {2006}, isbn = {1-59593-196-1}, pages = {21--28}, location = {Charleston, South Carolina}, doi = {10.1145/1111542.1111547}, publisher = {ACM}, address = {New York, NY, USA}, } @inproceedings{ST_re_portability4, author = {Magarshack, Philippe and Paulin, Pierre G.}, title = {{System-on-chip beyond the nanometer wall}}, booktitle = {{DAC '03: Proceedings of the 40th annual Design Automation Conference}}, year = {2003}, isbn = {1-58113-688-9}, pages = {419--424}, location = {Anaheim, CA, USA}, doi = {http://doi.acm.org/10.1145/775832.775943}, publisher = {ACM}, address = {New York, NY, USA}, } @article{p565-spivey.pdf, author = {Spivey, Gary and Bhattacharyya, Shuvra S. and Nakajima, Kazuo}, title = {{Logic foundry: rapid prototyping for FPGA-based DSP systems}}, journal = {EURASIP J. Appl. Signal Process.}, volume = {2003}, year = {2003}, issn = {1110-8657}, pages = {565--579}, doi = {http://dx.doi.org/10.1155/S1110865703301039}, publisher = {Hindawi Publishing Corp.}, address = {New York, NY, United States}, } @inproceedings{ST_re_portability5, author = {Ces\'{a}rio, W. and Baghdadi, A. and Gauthier, L. and Lyonnard, D. and Nicolescu, G. and Paviot, Y. and Yoo, S. and Jerraya, A. A. and Diaz-Nava, M.}, title = {{Component-based design approach for multicore SoCs}}, booktitle = {{DAC '02: Proceedings of the 39th annual Design Automation Conference}}, year = {2002}, isbn = {1-58113-461-4}, pages = {789--794}, location = {New Orleans, Louisiana, USA}, doi = {http://doi.acm.org/10.1145/513918.514115}, publisher = {ACM}, address = {New York, NY, USA}, } @inproceedings{p99-savoiu.pdf, author = {Savoiu, Nick and Shukla, Sandeep and Gupta, Rajesh}, title = {{MTP: a Petri net-based framework for the analysis and transformation of SystemC designs}}, booktitle = {{SCOPES '05: Proceedings of the 2005 workshop on Software and compilers for embedded systems}}, year = {2005}, isbn = {1-59593-207-0}, pages = {99--108}, location = {Dallas, Texas}, doi = {http://doi.acm.org/10.1145/1140389.1140400}, publisher = {ACM}, address = {New York, NY, USA}, } @inproceedings{Fanucci_cited_a_book_he_did_not_read, author = {Fanucci, L. and Cassiano, M. and Saponara, S. and Kammler, D. and Witte, E. M. and Schliebusch, O. and Ascheid, G. and Leupers, R. and Meyr, H.}, title = {{ASIP design and synthesis for non linear filtering in image processing}}, booktitle = {{DATE '06: Proceedings of the conference on Design, automation and test in Europe}}, year = {2006}, isbn = {3-9810801-0-6}, pages = {233--238}, location = {Munich, Germany}, publisher = {European Design and Automation Association}, address = {3001 Leuven, Belgium, Belgium}, } @book{my_2nd_edition_of_Hennessy_and_Patterson, author = {Hennessy, John L. and Patterson, David A.}, title = {{Computer architecture: a quantitative approach}}, year = {1996}, edition = {second edition, international edition}, isbn = {1558603727}, publisher = {Morgan Kaufmann}, address = {}, } @inproceedings{208521132.pdf, author = {Dziri, Mohamed-Anouar and Ces\'{a}rio, W. and Wagner, Fl\'{a}vio R. and Jerraya, A. A.}, title = {{Unified Component Integration Flow for Multi-Processor SoC Design and Validation}}, booktitle = {{DATE '04: Proceedings of the conference on Design, automation and test in Europe}}, year = {2004}, isbn = {0-7695-2085-5-2}, pages = {21132}, publisher = {IEEE Computer Society}, address = {Washington, DC, USA}, } @article{lack_of_C++_and_SystemC_portability_accused, author = {Glaser, Johann and Weber, Daniel and Madani, Sajjad A. and Mahlknecht, Stefan}, title = {{Power aware simulation framework for wireless sensor networks and nodes}}, journal = {EURASIP J. Embedded Syst.}, volume = {2008}, year = {2008}, issn = {1687-3955}, pages = {1--16}, doi = {http://dx.doi.org/10.1155/2008/369178}, publisher = {Hindawi Publishing Corp.}, address = {New York, NY, United States}, } @inproceedings{Edinburgh, author = {Bennett, Richard Vincent and Murray, Alastair Colin and Franke, Bj\"{o}rn and Topham, Nigel}, title = {{Combining source-to-source transformations and processor instruction set extensions for the automated design-space exploration of embedded systems}}, booktitle = {{LCTES '07: Proceedings of the 2007 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems}}, year = {2007}, isbn = {978-1-59593-632-5}, pages = {83--92}, location = {San Diego, California, USA}, doi = {http://doi.acm.org/10.1145/1254766.1254779}, publisher = {ACM}, address = {New York, NY, USA}, } @inproceedings{p565-pasricha.pdf, author = {Pasricha, Sudeep and Dutt, Nikil and Bozorgzadeh, Elaheh and Ben-Romdhane, Mohamed}, title = {{Floorplan-aware automated synthesis of bus-based communication architectures}}, booktitle = {{DAC '05: Proceedings of the 42nd annual Design Automation Conference}}, year = {2005}, isbn = {1-59593-058-2}, pages = {565--570}, location = {Anaheim, California, USA}, doi = {http://doi.acm.org/10.1145/1065579.1065727}, publisher = {ACM}, address = {New York, NY, USA}, } @inproceedings{Braunschweig, author = {Klingauf, Wolfgang and G\"{a}dke, Hagen and G\"{u}nzel, Robert}, title = {{TRAIN: a virtual transaction layer architecture for TLM-based HW/SW codesign of synthesizable MPSoC}}, booktitle = {{DATE '06: Proceedings of the conference on Design, automation and test in Europe}}, year = {2006}, isbn = {3-9810801-0-6}, pages = {1318--1323}, location = {Munich, Germany}, publisher = {European Design and Automation Association}, address = {3001 Leuven, Belgium, Belgium}, } @article{a23-fummi.pdf, author = {Fummi, Franco and Loghi, Mirko and Poncino, Massimo and Pravadelli, Graziano}, title = {{A cosimulation methodology for HW/SW validation and performance estimation}}, journal = {ACM Trans. Des. Autom. Electron. Syst.}, volume = {14}, number = {2}, year = {2009}, issn = {1084-4309}, pages = {1--32}, doi = {http://doi.acm.org/10.1145/1497561.1497566}, publisher = {ACM}, address = {New York, NY, USA}, } @article{B6V1M-4BGHBB0, author = {Wagner, Fl\'{a}vio R. and Ces\'{a}rio, Wander O. and Carro, Luigi and Jerraya, Ahmed A.}, title = {{Strategies for the integration of hardware and software IP components in embedded systems-on-chip}}, journal = {Integr. VLSI J.}, volume = {37}, number = {4}, year = {2004}, issn = {0167-9260}, pages = {223--252}, doi = {http://dx.doi.org/10.1016/j.vlsi.2003.12.005}, publisher = {Elsevier Science Publishers B. V.}, address = {Amsterdam, The Netherlands, The Netherlands}, } @article{B6V06-4CF5G15, author = {Naji, Hamid Reza and Wells, B. Earl and Etzkorn, Letha}, title = {{Creating an adaptive embedded system by applying multi-agent techniques to reconfigurable hardware}}, journal = {Future Gener. Comput. Syst.}, volume = {20}, number = {6}, year = {2004}, issn = {0167-739X}, pages = {1055--1081}, doi = {http://dx.doi.org/10.1016/j.future.2004.02.002}, publisher = {Elsevier Science Publishers B. V.}, address = {Amsterdam, The Netherlands, The Netherlands}, } @article{B6V1F-49207J7, author = {Leung, Simon and Postula, Adam}, title = {{Functionally partitioned module-based programmable architecture for wireless base-band processing}}, journal = {J. Syst. Archit.}, volume = {49}, number = {4-6}, year = {2003}, issn = {1383-7621}, pages = {177--192}, doi = {http://dx.doi.org/10.1016/S1383-7621(03)00072-9}, publisher = {Elsevier North-Holland, Inc.}, address = {New York, NY, USA}, } @inproceedings{refactoring_Collection_classes, author = {Mens, Tom and Tourw\'{e}, Tom and Mu\~{n}oz, Francisca}, title = {{Beyond the Refactoring Browser: Advanced Tool Support for Software Refactoring}}, booktitle = {{IWPSE '03: Proceedings of the 6th International Workshop on Principles of Software Evolution}}, year = {2003}, isbn = {0-7695-1903-2}, pages = {39}, publisher = {IEEE Computer Society}, address = {Washington, DC, USA}, } @book{betabook.pdf, author = {Lehrmann Madsen, Ole and M{\o}ller-Pedersen, Birger and Nygaard, Kristen}, title = {{Object-oriented programming in the BETA programming language}}, year = {}, isbn = {}, publisher = {}, address = {}, note = {\url{HTTP://WWW.Daimi.AU.Dk/~beta/Books}} } @book{Objective-C, author = {Cox, Brad J.}, title = {{Object oriented programming: an evolutionary approach}}, year = {1987}, isbn = {}, publisher = {Addison-Wesley}, address = {}, } @inproceedings{Producer, author = {Cox, Brad J. and Schmucker, Kurt J.}, title = {{Producer: A tool for translating Smalltalk-80 to Objective-C}}, booktitle = {{OOPSLA '87: Conference proceedings on Object-oriented programming systems, languages and applications}}, year = {1987}, isbn = {0-89791-247-0}, pages = {423--429}, location = {Orlando, Florida, United States}, doi = {http://doi.acm.org/10.1145/38765.38846}, publisher = {ACM}, address = {New York, NY, USA}, } @article{CASLOG, author = {Debray, Saumya K. and Lin, Nai-Wei}, title = {{Cost analysis of logic programs}}, journal = {ACM Trans. Program. Lang. Syst.}, volume = {15}, number = {5}, year = {1993}, issn = {0164-0925}, pages = {826--875}, doi = {http://doi.acm.org/10.1145/161468.161472}, publisher = {ACM}, address = {New York, NY, USA}, } @phdthesis{Japanese_assembly_language, author = {Toshiyuki Maeda}, note = {\url{HTTP://Web.YL.IS.S.U-Tokyo.ac.Jp/~tosh/talk/thesis.pdf}}, title = {{Writing an Operating System with a Strictly Typed Assembly Language}}, year = {supposedly ``2005'' but the file was supposedly produced in 2008}, isbn = {}, order_no = {}, publisher = {}, address = {Tokyo, Japan}, } @inproceedings{182IEEEXplore.pdf, author = {Grimpe, Eike and Oppenheimer, Frank}, title = {{Extending the SystemC synthesis subset by object-oriented features}}, booktitle = {{CODES+ISSS '03: Proceedings of the 1st IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis}}, year = {2003}, isbn = {1-58113-742-7}, pages = {25--30}, location = {Newport Beach, CA, USA}, doi = {http://doi.acm.org/10.1145/944645.944652}, publisher = {ACM}, address = {New York, NY, USA}, } @article{121IEEEXplore.pdf, author = {Chevalier, J\'{e}r\^{o}me and de Nanclas, Maxime and Filion, Luc and Benny, Olivier and Rondonneau, Mathieu and Bois, Guy and Aboulhamid, El Mostapha}, title = {{A SystemC Refinement Methodology for Embedded Software}}, journal = {IEEE Des. Test}, volume = {23}, number = {2}, year = {2006}, issn = {0740-7475}, pages = {148--158}, doi = {http://dx.doi.org/10.1109/MDT.2006.27}, publisher = {IEEE Computer Society Press}, address = {Los Alamitos, CA, USA}, } @inproceedings{173IEEEXplore.pdf, author = {Zhu, Yongxin and Sun, Zhenxin and Maxiaguine, Alexander and Wong, Weng-Fai}, title = {{Using UML 2.0 for System Level Design of Real Time SoC Platforms for Stream Processing}}, booktitle = {{RTCSA '05: Proceedings of the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications}}, year = {2005}, isbn = {0-7695-2346-3}, pages = {154--159}, doi = {http://dx.doi.org/10.1109/RTCSA.2005.101}, publisher = {IEEE Computer Society}, address = {Washington, DC, USA}, } @inproceedings{128IEEEXplore.pdf, author = {Bombieri, Nicola and Fummi, Franco and Pravadelli, Graziano}, title = {{A mutation model for the SystemC TLM 2.0 communication interfaces}}, booktitle = {{DATE '08: Proceedings of the conference on Design, automation and test in Europe}}, year = {2008}, isbn = {978-3-9810801-3-1}, pages = {396--401}, location = {Munich, Germany}, doi = {http://doi.acm.org/10.1145/1403375.1403472}, publisher = {ACM}, address = {New York, NY, USA}, } @phdthesis{Opdyke_Ph.D., author = {Opdyke, William F.}, title = {{Refactoring object-oriented frameworks}}, year = {1992}, order_no = {UMI Order No. GAX93-05645}, publisher = {University of Illinois at Urbana-Champaign}, address = {Champaign, IL, USA}, } @inproceedings{444IEEEXplore.pdf, author = {Virtanen, Seppo and Lilius, Johan}, title = {{The TACO protocol processor simulation environment}}, booktitle = {{CODES '01: Proceedings of the ninth international symposium on Hardware/software codesign}}, year = {2001}, isbn = {1-58113-364-2}, pages = {201--206}, location = {Copenhagen, Denmark}, doi = {http://doi.acm.org/10.1145/371636.371727}, publisher = {ACM}, address = {New York, NY, USA}, } @inproceedings{472IEEEXplore.pdf, author = {Kamkin, Alexander}, title = {{The UniTESK Approach to Specification-Based Validation of Hardware Designs}}, booktitle = {{ISOLA '06: Proceedings of the Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation}}, year = {2006}, isbn = {978-0-7695-3071-0}, pages = {60--66}, doi = {http://dx.doi.org/10.1109/ISoLA.2006.42}, publisher = {IEEE Computer Society}, address = {Washington, DC, USA}, } @inproceedings{175IEEEXplore.pdf, author = {Xi, Chen and JianHua, Lu and ZuCheng, Zhou and YaoHui, Shang}, title = {{Modeling SystemC design in UML and automatic code generation}}, booktitle = {{ASP-DAC '05: Proceedings of the 2005 Asia and South Pacific Design Automation Conference}}, year = {2005}, isbn = {0-7803-8737-6}, pages = {932--935}, location = {Shanghai, China}, doi = {http://doi.acm.org/10.1145/1120725.1120760}, publisher = {ACM}, address = {New York, NY, USA}, } @inproceedings{185IEEEXplore.pdf, author = {Calazans, Ney and Moreno, Edson and Hessel, Fabiano and Rosa, Vitor and Moraes, Fernando and Carara, Everton}, title = {{From VHDL Register Transfer Level to SystemC Transaction Level Modeling: A Comparative Case Study}}, booktitle = {{SBCCI '03: Proceedings of the 16th symposium on Integrated circuits and systems design}}, year = {2003}, isbn = {0-7695-2009-X}, pages = {355}, publisher = {IEEE Computer Society}, address = {Washington, DC, USA}, } @inproceedings{149IEEEXplore.pdf, author = {Holzer, M. and Rupp, M.}, title = {{Static Code Analysis of Functional Descriptions in SystemC}}, booktitle = {{DELTA '06: Proceedings of the Third IEEE International Workshop on Electronic Design, Test and Applications}}, year = {2006}, isbn = {0-7695-2500-8}, pages = {243--248}, doi = {http://dx.doi.org/10.1109/DELTA.2006.80}, publisher = {IEEE Computer Society}, address = {Washington, DC, USA}, } @inproceedings{179IEEEXplore.pdf, author = {Schulz-Key, C. and Winterholer, M. and Schweizer, T. and Kuhn, T. and Rosenstiel, W.}, title = {{Object-oriented modeling and synthesis of SystemC specifications}}, booktitle = {{ASP-DAC '04: Proceedings of the 2004 Asia and South Pacific Design Automation Conference}}, year = {2004}, isbn = {0-7803-8175-0}, pages = {238--243}, location = {Yokohama, Japan}, publisher = {IEEE Press}, address = {Piscataway, NJ, USA}, } @article{120IEEEXplore.pdf, author = {Pierre, Laurence and Ferro, Luca}, title = {{A Tractable and Fast Method for Monitoring SystemC TLM Specifications}}, journal = {IEEE Trans. Comput.}, volume = {57}, number = {10}, year = {2008}, issn = {0018-9340}, pages = {1346--1356}, doi = {http://dx.doi.org/10.1109/TC.2008.74}, publisher = {IEEE Computer Society}, address = {Washington, DC, USA}, } @inproceedings{217IEEEXplore.pdf, author = {da Silva, Karina R. G. and Melcher, Elmar U. K. and Araujo, Guido}, title = {{An automatic testbench generation tool for a SystemC functional verification methodology}}, booktitle = {{SBCCI '04: Proceedings of the 17th symposium on Integrated circuits and system design}}, year = {2004}, isbn = {1-58113-947-0}, pages = {66--70}, location = {Pernambuco, Brazil}, doi = {http://doi.acm.org/10.1145/1016568.1016592}, publisher = {ACM}, address = {New York, NY, USA}, } @inproceedings{ST_again3, author = {Riccobene, Elvinia and Scandurra, Patrizia and Rosti, Alberto and Bocchio, Sara}, title = {{Designing a Unified Process for Embedded Systems}}, booktitle = {{MOMPES '07: Proceedings of the Fourth International Workshop on Model-Based Methodologies for Pervasive and Embedded Software}}, year = {2007}, isbn = {0-7695-2769-8}, pages = {77--90}, doi = {http://dx.doi.org/10.1109/MOMPES.2007.5}, publisher = {IEEE Computer Society}, address = {Washington, DC, USA}, } @inproceedings{488IEEEXplore.pdf, author = {Bourduas, S. and Zilic, Z.}, title = {{A Hybrid Ring/Mesh Interconnect for Network-on-Chip Using Hierarchical Rings for Global Routing}}, booktitle = {{NOCS '07: Proceedings of the First International Symposium on Networks-on-Chip}}, year = {2007}, isbn = {0-7695-2773-6}, pages = {195--204}, doi = {http://dx.doi.org/10.1109/NOCS.2007.3}, publisher = {IEEE Computer Society}, address = {Washington, DC, USA}, } @inproceedings{403IEEEXplore.pdf, author = {Wang, Jimin and Ping, Lingdi and Wang, Jiebing and Sun, Kang}, title = {{A New Computing Model for C-Like Hardware Description Languages}}, booktitle = {{IMSCCS '06: Proceedings of the First International Multi-Symposiums on Computer and Computational Sciences - Volume 2 (IMSCCS'06)}}, year = {2006}, isbn = {0-7695-2581-4}, pages = {249--256}, doi = {http://dx.doi.org/10.1109/IMSCCS.2006.153}, publisher = {IEEE Computer Society}, address = {Washington, DC, USA}, } @inproceedings{ST_again2, author = {Romain, Kamdem}, title = {{Hardware/Firmware Verification of Graphic IP}}, booktitle = {{RSP '07: Proceedings of the 18th IEEE/IFIP International Workshop on Rapid System Prototyping}}, year = {2007}, isbn = {0-7695-2834-1}, pages = {48--56}, doi = {http://dx.doi.org/10.1109/RSP.2007.25}, publisher = {IEEE Computer Society}, address = {Washington, DC, USA}, } @inproceedings{Virginia, author = {Patel, Hiren D. and Shukla, Sandeep K.}, title = {{Deep vs. Shallow, Kernel vs. Language --- What is Better for Heterogeneous Modeling in SystemC?}}, booktitle = {{MTV '06: Proceedings of the Seventh International Workshop on Microprocessor Test and Verification}}, year = {2006}, isbn = {0-7695-2839-2}, pages = {68--75}, doi = {10.1109/MTV.2006.8}, publisher = {IEEE Computer Society}, address = {Washington, DC, USA}, } @article{misnaming_VisualWorks_Smalltalk_as_merely_Smalltalk, author = {Roberts, Don and Brant, John and Johnson, Ralph}, title = {{A refactoring tool for Smalltalk}}, journal = {Theor. Pract. Object Syst.}, volume = {3}, number = {4}, year = {1997}, issn = {1074-3227}, pages = {253--263}, doi = {http://dx.doi.org/10.1002/(SICI)1096-9942(1997)3:4<253::AID-TAPO3>3.3.CO;2-I}, publisher = {John Wiley \& Sons, Inc.}, address = {New York, NY, USA}, } @book{Michael_Metcalf_of_CERN, author = {Metcalf, Michael}, title = {{Effective FORTRAN 77}}, year = {1985 ``Reprinted (with corrections) 1986, 1987, 1989''}, publisher = {Oxford University Press}, address = {Oxford} } @book{structured_FORTRAN_ha_ha, author = {Davis, Gordon B. and Hoffmann, Thomas R.}, title = {{FORTRAN 77: A Structured, Disciplined Style Based on 1977 American National Standard FORTRAN and Compatible with WATFOR, WATFIV, WATFIV-S, and M77 FORTRAN Compilers}}, year = {1983}, edition = {second}, isbn = {007Y662622}, publisher = {McGraw-Hill} } @book{Dorn_and_Crackenson, author = {Dorn, William S. and McCracken, Daniel D.}, title = {{Numerical Methods with Fortran IV Case Studies}}, year = {1972}, isbn = {0471219193}, publisher = {John Wiley \& Sons}, } @book{red_book, author = {Carnahan and Wilkes}, title = {{Digital Computing and Numerical Methods (with FORTRAN-IV, WATFOR, AND WATFIV Programming)}}, year = {1973}, isbn = {0471135003}, publisher = {John Wiley \& Sons}, } @book{Numerical_Recipes, author = {Press, William H. and Teukolsky, Saul A. and Vetterling, William T. and Flannery, Brian P.}, title = {{Numerical recipes in FORTRAN: the art of scientific computing}}, edition = {second}, year = {1992}, isbn = {0-521-43064-X}, publisher = {Cambridge University Press}, address = {New York, NY, USA}, } @mastersthesis{Giesecke, author = {Simon Giesecke}, note = {\url{HTTP://WWW.Informatik.Uni-Oldenburg.De/~matrix/studium/da/diplomarbeit.pdf}}, title = {Clone-based Reengineering f\"{{u}r Java auf der Eclipse-Plattform}}, year = {2003}, publisher = {University of Oldenburg}, address = {Oldenburg, Germany}, } @article{CCFinder, author = {Kamiya, Toshihiro and Kusumoto, Shinji and Inoue, Katsuro}, title = {{CCFinder: a multilinguistic token-based code clone detection system for large scale source code}}, journal = {IEEE Trans. Softw. Eng.}, volume = {28}, number = {7}, year = {2002}, issn = {0098-5589}, pages = {654--670}, doi = {http://dx.doi.org/10.1109/TSE.2002.1019480}, publisher = {IEEE Press}, address = {Piscataway, NJ, USA}, } @conference{shower, author = {John Womersley}, collaboration = {}, title = {The D{{\O} Monte Carlo}}, publisher = {AIP}, year = {1992}, journal = {Proceedings to the XXVI International Conference on High Energy Physics. Vol. II}, volume = {272}, number = {2}, pages = {1800-1805}, location = {Dallas, Texas (USA)}, keywords = {FERMILAB TEVATRON; RADIATION DETECTORS; MONTE CARLO METHOD; SIMULATION; DATA ANALYSIS; CALORIMETERS; QUANTUM CHROMODYNAMICS; PULSE HEIGHT ANALYSIS}, url = {http://link.aip.org/link/?APC/272/1800/1}, doi = {10.1063/1.43291} } @article{Uturn, author = {Edmund Schonberg and Robert Dewar}, title = {{A Principled Approach to Software Engineering Education, or Java Considered Harmful}}, journal = {Ada User Journal}, volume = {29}, number = {3}, year = {2008}, issn = {1381-6551}, pages = {200--202}, publisher = {Ada-Europe}, address = {Europe}, } @article{pencil, author = {Edmond Schonberg}, title = {{Origins and history of GNAT}}, note = {``Originally printed in \textit{Ada-Europe News}, Issue 20, March 1995''}, journal = {Ada User Journal}, volume = {31}, number = {1}, year = {2010}, issn = {1381-6551}, pages = {42--44}, publisher = {Ada-Europe}, address = {Europe}, } @book{Rivest, author = {Rivest, Ronald L. and Leiserson, Charles E.}, title = {{Introduction to Algorithms}}, year = {\copyright 1990, eighteenth printing, 1997}, isbn = {}, publisher = {The MIT Press}, address = {}, } @article{API_Design_Matters, author = {Henning, Michi}, title = {{API design matters}}, journal = {Commun. ACM}, volume = {52}, number = {5}, year = {2009}, issn = {0001-0782}, pages = {46--56}, doi = {http://doi.acm.org/10.1145/1506409.1506424}, publisher = {ACM}, address = {New York, NY, USA}, } @book{Rachael_1500, author = {H. T. Pledge}, title = {{Science Since 1500: A Short History of Mathematics, Physics, Chemistry, Biology}}, year = {``1939'' but ``Reprinted with minor corrections'' 1940, ``Reprinted'' 1946, ``Reprinted'' 1947}, isbn = {}, publisher = {His Majesty's Stationery Office}, address = {United Kingdom}, } @book{Gibbons, author = {Alan Gibbons}, title = {{Algorithmic Graph Theory}}, year = {\copyright 1985, ``digital printing 1999''}, isbn = {}, publisher = {Cambridge University Press}, address = {}, } @book{Baase, author = {Baase, Sara and Gelder, Allen Van}, title = {{Computer Algorithms: Introduction to Design \& Analysis}}, year = {2000}, edition = {third}, isbn = {}, publisher = {Addison-Wesley}, address = {}, } @book{Rabhi, author = {Fethi Rabhi and Guy Lapalme}, title = {{Algorithms: A Functional Programming Approach}}, year = {1999}, edition = {second}, isbn = {}, publisher = {Addison-Wesley}, address = {}, } @book{Ausiello, author = {G. Ausiello; P. Crescenzi; G. Gambosi; V. Kann; A. Marchetti-Spaccamela; and M. Protasi}, title = {{Complexity and Approximation: Combinatorial Optimization Problems and Their Approximability Properties}}, year = {1999}, isbn = {}, publisher = {Springer}, address = {}, } @book{edited_by_Hochbaum, editor = {Hochbaum, Dorit S.}, title = {{Approximation algorithms for NP-hard problems}}, year = {1997}, isbn = {0-534-94968-1}, publisher = {PWS Publishing Co.}, address = {Boston, MA, USA}, } @book{Hook, author = {Hook, Brian}, title = {{Building a 3D game engine in C++}}, year = {1995}, isbn = {0-471-12326-9}, publisher = {John Wiley \& Sons, Inc.}, address = {New York, NY, USA}, } @book{Lampton, author = {Michael Radtke and Chris Lampton}, title = {{Build Your Own Flight Sim in C++: Programming a 3D Flight Simulator Using OOP}}, year = {1996}, isbn = {}, publisher = {Waite Group Press}, } @book{Torkelson, author = {Torkelson, Cary}, title = {{Macintosh Game Programming Techniques}}, year = {1996}, isbn = {1558514619}, publisher = {M\&T Books}, } @book{Z_identifier, author = {Ratcliff, Bryan}, title = {{Introducing specification using Z: a practical case study approach}}, year = {1994}, isbn = {0077079655}, publisher = {McGraw-Hill}, address = {London, England}, } @book{Ada83, editor = {Nyberg, Karl A.}, title = {{Annotated Ada Reference Manual: ANSI/MIL-STD-1815A-1983}}, edition = {3rd}, year = {1994}, publisher = {Grebyn Corporation ( \url{HTTP://WWW.Grebyn.com} )}, address = {Vienna, VA, USA}, } @article{Anna_Olsson_vid_IBMC_Porto, author = {van der Worp, H. B. and Howells, D. W. and Sena, E. S. and Porritt, M. J. and Rewell, S. and O'Collins, V. and Macleod, M. R.}, title = {{Can Animal Models of Disease Reliably inform Human Studies?}}, journal = {PLoS Medicine}, note = {e1000245}, volume = {7}, number = {3}, year = {2010}, issn = {}, pages = {}, doi = {doi:10.1371/journal.pmed.1000245}, publisher = {}, address = {}, } @book{Yechiel, editor = {Kevlin Henney}, author = {Yechiel Kimchi}, title = {``Coding with Reason'' in \textit{{97 Things Every Programmer Should Know}}}, year = {2010}, isbn = {9780596809485}, publisher = {O'Reilly}, address = {Sebastopol, CA, USA}, note = {\url{HTTP://Programmer.97Things.OReilly.com}} } @MISC{Mens_nog_een_keer, author = {Jocelyn Simmonds and Tom Mens}, title = {{A Comparison of Software Refactoring Tools}}, year = {2002}, note = {Technical Report \url{HTTP://prog.VUB.ac.Be/Publications/2002/vub-prog-tr-02-15.pdf}} } @inproceedings{not_the_best_paper_on_Duploc_but_I_have_it_handy, author = {Rieger, Matthias and Ducasse, St\'{e}phane and Golomingi, Georges}, title = {{Tool Support for Refactoring Duplicated OO Code}}, booktitle = {{Proceedings of the Workshop on Object-Oriented Technology}}, year = {1999}, isbn = {3-540-66954-X}, pages = {177--178}, publisher = {Springer-Verlag}, address = {London, UK}, } @book{Penelope, author = {Francesc Salvat and Jos\'{e} M. Fern\'{a}ndez-Varea and Josep Sempau}, title = {{Penelope-2006: A Code System for Monte Carlo Simulation of Electron and Photon Transport, Workshop Proceedings Barcelona, Spain 4--7 July 2006}}, year = {2006}, isbn = {9264023011}, publisher = {OECD NEA (Organisation for Economic Co-operation and Development Nuclear Energy Agency)}, address = {Barcelona, Spain} } @book{Pascal_hypocrisy, author = {James J McGregor and Alan H Watt}, title = {{Pascal for Science and Engineering}}, year = {1983}, isbn = {}, publisher = {Pitman}, address = {}, } @phdthesis{Bowdidge_Ph.D., author = {Bowdidge, Robert William}, title = {{Supporting the restructuring of data abstractions through manipulation of a program visualization}}, year = {1995}, order_no = {\url{HTTP://CiteSeerX.IST.PSU.edu/myciteseer/action/addPaperCollection?doi=10.1.1.47.3556}}, publisher = {}, } @inproceedings{Verischemelog, author = {Jennings, James and Beuscher, Eric}, title = {{Verischemelog: Verilog embedded in Scheme}}, booktitle = {{PLAN '99: Proceedings of the 2nd conference on Domain-specific languages}}, year = {1999}, isbn = {1-58113-255-7}, pages = {123--134}, location = {Austin, Texas, United States}, doi = {http://doi.acm.org/10.1145/331960.331978}, publisher = {ACM}, address = {New York, NY, USA}, } @article{Verischemelog_cited, author = {Mernik, Marjan and Heering, Jan and Sloane, Anthony M.}, title = {{When and how to develop domain-specific languages}}, journal = {ACM Comput. Surv.}, volume = {37}, number = {4}, year = {2005}, issn = {0360-0300}, pages = {316--344}, doi = {http://doi.acm.org/10.1145/1118890.1118892}, publisher = {ACM}, address = {New York, NY, USA}, } @article{German_interview_on_his_website, author = {Lamport, L. and Ziegler, G. N.}, title = {How (La){{\TeX} changed the face of Mathematics}}, journal = {Mitteilungen der Deutschen Mathematiker-Vereinigung}, volume = {}, number = {}, year = {2000}, issn = {}, pages = {}, doi = {\url{HTTP://research.Microsoft.com/en-us/um/people/lamport/pubs/lamport-latex-interview.pdf}}, publisher = {Deutschen Mathematiker-Vereinigung}, address = {Germany}, } @article{Cloning_Considered_Harmful_Considered_Harmful, author = {Kapser, Cory J. and Godfrey, Michael W.}, title = {{``Cloning considered harmful'' considered harmful: patterns of cloning in software}}, journal = {Empirical Softw. Eng.}, volume = {13}, number = {6}, year = {2008}, issn = {1382-3256}, pages = {645--692}, doi = {10.1007/s10664-008-9076-6}, publisher = {Kluwer Academic Publishers}, address = {Hingham, MA, USA}, } @inproceedings{Tullio_copying_and_pasting, author = {Vardanega, Tullio}, title = {{Ravenscar design patterns?: reflections on use of the Ravenscar profile}}, booktitle = {{IRTAW '03: Proceedings of the 12th international workshop on Real-time Ada}}, year = {2003}, pages = {65--73}, location = {Viana do Castelo, Portugal}, doi = {10.1145/959222.959235}, publisher = {ACM}, address = {New York, NY, USA}, } @conference{FLUKA_second_of_two_compulsory_citations, author = {Battistoni, G. and Cerutti, F. and Fasso`, A. and Ferrari, A. and Muraro, S. and Ranft, J. and Roesler, S. and Sala, P. R.}, editor = {Michael Albrow and Rajendran Raja}, collaboration = {}, title = {{The FLUKA code: description and benchmarking}}, publisher = {AIP}, year = {2007}, journal = {HADRONIC SHOWER SIMULATION WORKSHOP}, volume = {896}, number = {1}, pages = {31--49}, location = {Batavia, Illinois (USA)}, keywords = {computer aided analysis; Monte Carlo methods; software performance evaluation; hadrons}, url = {http://link.aip.org/link/?APC/896/31/1}, doi = {10.1063/1.2720455} } @book{FLUKA_first_of_two_compulsory_citations, author = {Fasso`, A. and Ferrari, A. and Ranft, J. and Sala, P. R.}, title = {{FLUKA: a multi-particle transport code}}, year = {2005}, note = {CERN-2005-10 (2005), INFN/TC\_05/11, SLAC-R-773, \url{HTTP://CDSweb.CERN.CH/record/898301/files/CERN-2005-010.pdf}} } @book{Booch, author = {Booch, Grady}, title = {{Software Engineering with Ada}}, year = {1987}, isbn = {0805306048}, publisher = {Benjamin-Cummings Publishing Co., Inc.}, address = {Redwood City, CA, USA}, } @ARTICLE{Shroud_of_Turin, author = {{Damon}, P.~E. and {Donahue}, D.~J. and {Gore}, B.~H. and {Hatheway}, A.~L. and {Jull}, A.~J.~T. and {Linick}, T.~W. and {Sercel}, P.~J. and {Toolin}, L.~J. and {Bronk}, C.~R. and {Hall}, E.~T. and {Hedges}, R.~E.~M. and {Housley}, R. and {Law}, I.~A. and {Perry}, C. and {Bonani}, G. and {Trumbore}, S. and {Woelfli}, W. and {Ambers}, J.~C. and {Bowman}, S.~G.~E. and {Leese}, M.~N. and {Tite}, M.~S.}, title = {{Radiocarbon dating of the Shroud of Turin}}, journal = {\nat}, year = 1989, month = feb, volume = 337, pages = {611-615}, doi = {10.1038/337611a0}, adsurl = {http://adsabs.harvard.edu/abs/1989Natur.337..611D}, adsnote = {Provided by the SAO/NASA Astrophysics Data System} } @article{Lysenkoism2, title = {{The Lysenko effect: undermining the autonomy of science}}, journal = "Endeavour", volume = "29", number = "4", pages = "143 - 147", year = "2005", issn = "0160-9327", doi = "DOI: 10.1016/j.endeavour.2005.10.003", author = "Nils Roll-Hansen" } @book{Numerical_Recipes_in_pseudoCPlusPlus, author = {Press, William H. and Vetterling, William T. and Teukolsky, Saul A. and Flannery, Brian P.}, title = {{Numerical Recipes: the art of scientific computing}}, year = {2007}, edition = {``Third edition first published 2007'', ``This printing is corrected to software version 3.0''}, isbn = {}, publisher = {Cambridge University Press}, address = {New York, NY, USA}, } @book{Halmos, author = {Halmos, P. R.}, title = {{I want to be a mathematician}}, year = {}, isbn = {}, publisher = {Springer}, address = {}, } @ARTICLE{GRAS, author={Daly, E. and Santin, G. and Ivanchenko, V. and Evans, H. and Nieminen, P.}, journal={Nuclear Science, IEEE Transactions on}, title={{GRAS: a general-purpose 3-D Modular Simulation tool for space environment effects analysis}}, year={2005}, month={dec.}, volume={52}, number={6}, pages={ 2294--2299}, keywords={ GRAS; Geant4 Radiation Analysis for Space; Monte Carlo methods; NIEL dose; aerospace biophysics; aerospace industry; aerospace simulation software tools; biological effects; cumulative ionizing radiation effect; dosimetry; general-purpose 3-d modular simulation tool; space environment effects analysis; three-dimensional geometry models; transient effects; aerospace computing; aerospace simulation; radiation effects; software tools;}, doi={10.1109/TNS.2005.860749}, ISSN={0018-9499},} @book{Using_MPI__portable_parallel_programming_with_the_message-passing_interface, author = {Gropp, William and Lusk, Ewing and Skjellum, Anthony}, title = {{Using MPI (2nd ed.): portable parallel programming with the message-passing interface}}, year = {1999}, isbn = {0-262-57132-3}, publisher = {MIT Press}, address = {Cambridge, MA, USA}, } @inproceedings{Exemplar_Smalltalk, author = {Thomas, Dave A. and LaLonde, Wilf R. and Pugh, John R.}, title = {{An exemplar based Smalltalk}}, booktitle = {{OOPLSA '86: Conference proceedings on Object-oriented programming systems, languages and applications}}, year = {1986}, isbn = {0-89791-204-7}, pages = {322--330}, location = {Portland, Oregon, United States}, doi = {10.1145/28697.28729}, publisher = {ACM}, address = {New York, NY, USA}, } @inproceedings{another_favoring_language_types_instead_of_classes, author = {Donlin, Adam}, title = {{Optimizing Models of an FPGA Embedded System}}, booktitle = {{2nd North American SystemC Users Group meeting}}, year = {2004}, isbn = {}, pages = {}, note = {\url{HTTP://WWW.NASCUG.org/Presentations/PDFs-04F/2-NASCUG_GSPx-Adam_Donlin.pdf}}, publisher = {North American SystemC Users Group}, address = {North America}, } @inproceedings{another_favoring_language_types_instead_of_classes2, author = {Rissa, Tero and Donlin, Adam and Luk, Wayne}, title = {{Evaluation of SystemC Modelling of Reconfigurable Embedded Systems}}, booktitle = {{DATE '05: Proceedings of the conference on Design, Automation and Test in Europe}}, year = {2005}, isbn = {0-7695-2288-2}, pages = {253--258}, doi = {10.1109/DATE.2005.143}, publisher = {IEEE Computer Society}, address = {Washington, DC, USA}, } @article{Some_things_that_computer_science_majors_should_know, author = {Allen, Eric}, title = {{Some things that computer science majors should know}}, journal = {SIGPLAN Not.}, volume = {43}, number = {11}, year = {2008}, issn = {0362-1340}, pages = {32--35}, doi = {10.1145/1480828.1480834}, publisher = {ACM}, address = {New York, NY, USA}, } @book{Gang_of_Four, author = {Gamma, Erich and Helm, Richard and Johnson, Ralph and Vlissides, John}, title = {{Design patterns: elements of reusable object-oriented software}}, year = {1995, ``18th Printing September 1999''}, isbn = {0-201-63361-2}, publisher = {Addison-Wesley Longman Publishing Co., Inc.}, address = {Boston, MA, USA}, } @ARTICLE{current_IEEE_VHDL_standard, author={Jim Lewis and Peter Ashenden and others}, journal={IEEE Std 1076-2008 (Revision of IEEE Std 1076-2002)}, title={{IEEE Standard VHDL Language Reference Manual}}, year={2009}, month={jan.}, volume={}, number={}, pages={c1 -626}, keywords={IEEE standard;VHDL language reference manual;VHSIC hardware description language;electronic systems;formal notation;hardware description languages;}, doi={10.1109/IEEESTD.2009.4772740}, ISSN={},} @INPROCEEDINGS{APL5, author={Gamble, D.J. and Hobson, R.F.}, booktitle={Communications, Computers and Signal Processing, 1989. Conference Proceeding., IEEE Pacific Rim Conference on}, title={{Towards a graphics/procedural environment for constructing VLSI module generators}}, year={1989}, month={1-2}, volume={}, number={}, pages={606 -611}, keywords={APL;C;VLSI module generators;barrel shifters;compiled languages;decoders;graphics display system;graphics environment;interpreted languages;memory arrays;path-forming primitive;procedural environment;procedural layout techniques;trail;VLSI;circuit layout CAD;computer graphic equipment;programming languages;}, doi={10.1109/PACRIM.1989.48437}, ISSN={},} @article{biological_SystemC, title = {{PCR microfluidic devices for DNA amplification}}, journal = "Biotechnology Advances", volume = "24", number = "3", pages = "243--284", year = "2006", issn = "0734-9750", doi = "10.1016/j.biotechadv.2005.10.002", author = "Chunsun Zhang and Jinliang Xu and Wenli Ma and Wenling Zheng", keywords = "Polymerase chain reaction (PCR)", keywords = "Microfluidics", keywords = "DNA amplification" } @Comment % \bibitem{AN_INTERACTIVE_SYSTEMC_COURSE} Oliver A. Pf\"{a}nder; Christophe Layer; Wolfgang Schlecker; Hans-J\"{o}rg Pfleiderer, ``AN INTERACTIVE SYSTEMC COURSE FEATURING REAL-TIME ONLINE COMPILING AND ANALYSIS'', Springer @Comment % Exported as RIS... @Comment % TY - CHAPTER @Comment % JF - New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design @Comment % T1 - An Interactive Systemc Course Featuring Real-Time Online Compiling and Analysis @Comment % SP - 121 @Comment % EP - 131 @Comment % PY - 2005/// @Comment % UR - http://dx.doi.org/10.1007/0-387-30761-3_10 @Comment % M3 - 10.1007/0-387-30761-3_10 @Comment % AU - Pfänder, Oliver @Comment % AU - Layer, Christophe @Comment % AU - Schlecker, Wolfgang @Comment % AU - Pfleiderer, Hans-Jörg @Comment % N2 - An interactive tutorial is a very efficient way to teach a rich programming language to a large group of e.g. graduate students @Comment % in the field of IC design. We are creating a novel online course for SystemC that provides real-time compiling and result @Comment % analysis functions, using server-side tools exclusively. The tutorial is called SCOTT (SystemC Online Tutorial and Training) @Comment % and represents an advancement of our previously established interactive course on VHDL. The users following the SCOTT course @Comment % submit their SystemC code over a standard web browser and get instant feedback from the tutorial system, including error description, @Comment % context-sensitive hints, proposals for improvement, and simulation results. In this contribution, we will point out the emerging @Comment % importance of teaching SystemC, discuss the functionality of our interactive tutorial system and illustrate the methodology @Comment % by practical examples. @Comment % ER - @Comment % Exported as Text: @Comment % Book Series - @Comment % Book Title - New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design @Comment % Chapter Title - An Interactive Systemc Course Featuring Real-Time Online Compiling and Analysis @Comment % First Page - 121 @Comment % Last Page - 131 @Comment % Copyright - 2005 @Comment % Author - Oliver A. Pfänder @Comment % Author - Christophe Layer @Comment % Author - Wolfgang Schlecker @Comment % Author - Hans-Jörg Pfleiderer @Comment % DOI - 10.1007/0-387-30761-3_10 @Comment % Link - http://www.springerlink.com/content/DNT7P8345LJ62V43 @Comment % Journal Title - Design Automation for Embedded Systems @Comment % Article Title - SystemC co-simulation for core-based embedded systems @Comment % Volume - Volume 11 @Comment % Issue - 2 @Comment % First Page - 141 @Comment % Last Page - 166 @Comment % Issue Cover Date - 2007-09-01 @Comment % Author - Franco Fummi @Comment % Author - Mirko Loghi @Comment % Author - Giovanni Perbellini @Comment % Author - Massimo Poncino @Comment % DOI - 10.1007/s10617-007-9006-7 @Comment % Link - http://www.springerlink.com/content/X35332776PH12463 @Comment % \bibitem{fulltext129.pdf} Sang-Il Han; Soo-Ik Chae; Lisane Brisolara; Luigi Carro; Ricardo Reis; Xavier Gu\'{e}rin; and Ahmed Amine Jerraya, ``Memory-efficient multithreaded code generation from Simulink for heterogeneous MPSoC'', 2007 @Comment % Journal Title - Design Automation for Embedded Systems @Comment % Article Title - Memory-efficient multithreaded code generation from Simulink for heterogeneous MPSoC @Comment % Volume - Volume 11 @Comment % Issue - 4 @Comment % First Page - 249 @Comment % Last Page - 283 @Comment % Issue Cover Date - 2007-12-15 @Comment % Author - Sang-Il Han @Comment % Author - Soo-Ik Chae @Comment % Author - Lisane Brisolara @Comment % Author - Luigi Carro @Comment % Author - Ricardo Reis @Comment % Author - Xavier Guérin @Comment % Author - Ahmed Amine Jerraya @Comment % DOI - 10.1007/s10617-007-9009-4 @Comment % Link - http://www.springerlink.com/content/90T5234225867Q71 @Comment % Journal Title - Design Automation for Embedded Systems @Comment % Article Title - RTOS modeling in SystemC for real-time embedded SW simulation: A POSIX model @Comment % Volume - Volume 10 @Comment % Issue - 4 @Comment % First Page - 209 @Comment % Last Page - 227 @Comment % Issue Cover Date - 2005-12-03 @Comment % Author - H. Posadas @Comment % Author - J. A. Adamez @Comment % Author - E. Villar @Comment % Author - F. Blasco @Comment % Author - F. Escuder @Comment % DOI - 10.1007/s10617-006-9725-1 @Comment % Link - http://www.springerlink.com/content/M7435M4476321835 @Comment % \bibitem{fulltext3.pdf} Giovanni Agosta, Francesco Bruschi, Donatella Sciuto, ``Chapter 7 UML Tailoring for SystemC and ISA Modelling'', in G. Martin and W. M\"{u}ller (eds.), \textit{UML for SOC Design}, Springer, 2005 @Comment % Book Series - @Comment % Book Title - UML for SOC Design @Comment % Chapter Title - UML Tailoring for SystemC and ISA Modelling @Comment % First Page - 147 @Comment % Last Page - 173 @Comment % Copyright - 2005 @Comment % Author - Giovanni Agosta @Comment % Author - Francesco Bruschi @Comment % Author - Donatella Sciuto @Comment % DOI - 10.1007/0-387-25745-4_7 @Comment % Link - http://www.springerlink.com/content/V165T70116L2121L @Comment % \bibitem{fulltext40.pdf} Artist FP5 Consortium, Chapter ``14 Component Models and Integration Platforms: Landscape'', \textit{Artist FP5 Consortium: Embedded Systems Design}, Lecture Notes in Computer Science 3436, Springer, 2005 @Comment % Book Series - @Comment % Book Title - Embedded Systems Design @Comment % Chapter Title - Component Models and Integration Platforms: Landscape @Comment % First Page - 160 @Comment % Last Page - 193 @Comment % Copyright - 2005 @Comment % DOI - 10.1007/978-3-540-31973-3_14 @Comment % Link - http://www.springerlink.com/content/7Q5B2H9EYDM8MXMY @Comment % \bibitem{fulltext41.pdf} Miroslav \v{C}up\'{a}k and Luc Rijnders, ``Chapter 6 OCAPI-XL Based Approach'', in N.S. Voros and K. Masselos (eds.), \textit{System Level Design of Reconfigurable Systems-on-Chips}, Spinger, 2005 @Comment %  @Comment % Book Series - @Comment % Book Title - System Level Design of Reconfigurable Systems-on-Chip @Comment % Chapter Title - OCAPI-XL Based Approach @Comment % First Page - 133 @Comment % Last Page - 151 @Comment % Copyright - 2005 @Comment % Author - Miroslav Čupák @Comment % Author - Luc Rijnders @Comment % DOI - 10.1007/0-387-26104-4_6 @Comment % Link - http://www.springerlink.com/content/G963447851T68167 @Comment % Journal Title - The Journal of VLSI Signal Processing @Comment % Article Title - Requirements for Interfacing IP-Components in Re-configurable Platforms @Comment % Volume - Volume 43 @Comment % Issue - 2 @Comment % First Page - 173 @Comment % Last Page - 184 @Comment % Issue Cover Date - 2006-06-01 @Comment % Author - Jérôme Lemaitre @Comment % Author - Sylvain Alliot @Comment % Author - Ed Deprettere @Comment % DOI - 10.1007/s11265-006-7269-z @Comment % Link - http://www.springerlink.com/content/336010XPX0584051 @Comment % \bibitem{fulltext46.pdf} Voros; Snook; Hallerstede; and Masselos, ``Embedded System Design Using Formal Model Refinement: \textit{An Approach Based on the Combined Use of UML and the B Language}'', \textit{Design Automation for Embedded Systems}, 9, ``2004'', {\copyright} 2005 @Comment % Journal Title - Design Automation for Embedded Systems @Comment % Article Title - Embedded System Design Using Formal Model Refinement: An Approach Based on the Combined Use of UML and the B Language @Comment % Volume - Volume 9 @Comment % Issue - 2 @Comment % First Page - 67 @Comment % Last Page - 99 @Comment % Issue Cover Date - 2004-06-01 @Comment % Author - Nikolaos S. Voros @Comment % Author - Colin F. Snook @Comment % Author - Stefan Hallerstede @Comment % Author - Konstantinos Masselos @Comment % DOI - 10.1007/s10617-005-1184-6 @Comment % Link - http://www.springerlink.com/content/Q442635G78M04887 @INPROCEEDINGS{145IEEEXplore.pdf, author={Fummi, F. and Quaglia, D. and Stefanni, F.}, booktitle={Specification, Verification and Design Languages, 2008. FDL 2008. Forum on}, title={{A SystemC-based framework for modeling and simulation of networked embedded systems}}, year={2008}, month={23-25}, volume={}, number={}, pages={49 -54}, keywords={SystemC Network Simulation Library;TLM modeling;modeling language;network simulator;networked embedded systems;sensor network application;system design;system simulator;embedded systems;simulation languages;software libraries;specification languages;wireless sensor networks;}, doi={10.1109/FDL.2008.4641420}, ISSN={},} @INPROCEEDINGS{144IEEEXplore.pdf, author={Raabe, A. and Felke, A.}, booktitle={Specification, Verification and Design Languages, 2008. FDL 2008. Forum on}, title={{A SYSTEMC language extension for high-level reconfiguration modelling}}, year={2008}, month={23-25}, volume={}, number={}, pages={55 -60}, keywords={IP reuse;SystemC language;high-level reconfiguration modelling;high-level system description language;parallel software development;software library;C language;hardware description languages;software libraries;}, doi={10.1109/FDL.2008.4641421}, ISSN={},} @INPROCEEDINGS{166IEEEXplore.pdf, author={Rogin, F. and Fehlauer, E. and Haufe, C. and Ohnewald, S.}, booktitle={Design and Diagnostics of Electronic Circuits and Systems, 2007. DDECS '07. IEEE}, title={{Debug Patterns for Efficient High-level SystemC Debugging}}, year={2007}, month={11-13}, volume={}, number={}, pages={1 -6}, keywords={GNU debugger;SystemC debugging;debug patterns;system-on-chip;C++ language;electronic engineering computing;integrated circuit design;system-on-chip;}, doi={10.1109/DDECS.2007.4295320}, ISSN={},} @INPROCEEDINGS{108IEEEXplore.pdf, author={Habibi, A. and Tahar, S. and Halleb, L.}, booktitle={Circuits and Systems, 2004. NEWCAS 2004. The 2nd Annual IEEE Northeast Workshop on}, title={{Formal verification of a bus structure modeled in SystemC}}, year={2004}, month={20-23}, volume={}, number={}, pages={ 61 - 64}, keywords={ C++ code; C++ object oriented verification language; Cadence FormalCheck tool; SystemC model; Verilog code; abstracted bus model; bus structure; formal verification; library components; library constructors; library entities; model checking; model reduction; reduced bus model; system level design; C++ language; formal verification; hardware description languages; software libraries; system buses;}, doi={10.1109/NEWCAS.2004.1359017}, ISSN={ },} @INPROCEEDINGS{193IEEEXplore.pdf, author={Grimpe, E. and Oppenheimer, F.}, booktitle={Electronics, Circuits and Systems, 2001. ICECS 2001. The 8th IEEE International Conference on}, title={{Object-oriented high level synthesis based on SystemC}}, year={2001}, month={}, volume={1}, number={}, pages={529 -534 vol.1}, keywords={C++ class library;SystemC;classes;hardware development;inheritance;object-oriented high level synthesis;object-oriented modelling techniques;polymorphism;software development;synthesisable hardware models;C++ language;hardware-software codesign;object-oriented programming;}, doi={10.1109/ICECS.2001.957798}, ISSN={},} @INPROCEEDINGS{480IEEEXplore.pdf, author={Herrholz, A. and Oppenheimer, E. and Hartmann, P.A. and Schallenberg, A. and Nebel, W. and Grimm, C. and Damm, M. and Haase, J. and Brame, E. and Herrera, F. and Villar, E. and Sander, I. and Jantsch, A. and Fouilliart, A.-M. and Martinez, M.}, booktitle={Field Programmable Logic and Applications, 2007. FPL 2007. International Conference on}, title={{The Andres Project: Analysis and Design of Run-Time Reconfigurable, Heterogeneous Systems}}, year={2007}, month={27-29}, volume={}, number={}, pages={396 -401}, keywords={Andres project;Models of Computations;SystemC;analogue hardware;design languages;digital hardware;domain-specific modelling extensions;domain-specific modelling libraries;embedded system design;heterogeneous embedded system;C language;embedded systems;project management;public domain software;software libraries;systems analysis;}, doi={10.1109/FPL.2007.4380679}, ISSN={},} @INPROCEEDINGS{499IEEEXplore.pdf, author={Hekmatpour, A. and Alley, C. and Stempel, B. and Coulter, J. and Salehi, A. and Shafie, A. and Palenchar, C.}, booktitle={Custom Integrated Circuits Conference, 2005. Proceedings of the IEEE 2005}, title={{A heterogeneous functional verification platform}}, year={2005}, month={18-21}, volume={}, number={}, pages={ 63 - 66}, keywords={ IBM PowerPC; SystemC; VHDL; Verilog; Web-based platform; analysis tools; assertion languages; design HDL; distributed verification platform; heterogeneous functional verification platform; heterogeneous simulation environments; integrated circuit design; test formats; circuit simulation; electronic engineering computing; formal verification; hardware description languages;}, doi={10.1109/CICC.2005.1568608}, ISSN={},} @INPROCEEDINGS{485IEEEXplore.pdf, author={Mohammad Reza Kakoee and Hamid Shojaei and Hassan Ghasemzadeh and Marjan Sirjani and Zainalabedin Navabi}, booktitle={Circuits and Systems, 2007. ISCAS 2007. IEEE International Symposium on}, title={{A New Approach for Design and Verification of Transaction Level Models}}, year={2007}, month={27-30}, volume={}, number={}, pages={3760 -3763}, keywords={Promela;Rebeca code;SPIN model checker;SoC design architectures;SystemC;UML;actor-based language;asynchronous message passing;concurrently executed reactive objects;formal foundation;formal verification;reactive objects language;rebecs;transaction level modeling;integrated circuit design;integrated circuit modelling;system-on-chip;}, doi={10.1109/ISCAS.2007.378779}, ISSN={},} @INPROCEEDINGS{ST_again, author={Lahbib, Y. and Ghrab, M.-A. and Hechkel, M. and Ghenassia, F. and Tourki, R.}, booktitle={Design and Test of Integrated Systems in Nanoscale Technology, 2006. DTIS 2006. International Conference on}, title={{A new synchronization policy between PSL checkers and SystemC designs at transaction level}}, year={2006}, month={5-7}, volume={}, number={}, pages={85 -90}, keywords={ABV;C++ language;PSL checkers;SystemC IP;SystemC-TLM;assertion based verification;property specification language;register transfer level;system-on-chip;transaction level modeling;C++ language;formal specification;formal verification;synchronisation;system-on-chip;}, doi={10.1109/DTIS.2006.1708698}, ISSN={},} @INPROCEEDINGS{197IEEEXplore.pdf, author={Damavandpeyma, M. and Mohammadi, S.}, booktitle={Mixed Design of Integrated Circuits and Systems, 2008. MIXDES 2008. 15th International Conference on}, title={{An asynchronous SystemC library and control data flow extraction}}, year={2008}, month={19-21}, volume={}, number={}, pages={377 -382}, keywords={}, doi={}, ISSN={},} @INPROCEEDINGS{280IEEEXplore.pdf, author={Vece, G.B. and Orcioni, S. and Conti, M.}, booktitle={Circuit Theory and Design, 2007. ECCTD 2007. 18th European Conference on}, title={{Bluetooth Baseband power analysis with PKtool}}, year={2007}, month={27-30}, volume={}, number={}, pages={862 -865}, keywords={Bluetooth baseband power analysis;PKtool simulator;SystemC;executable specification;piconet;Bluetooth;digital simulation;specification languages;}, doi={10.1109/ECCTD.2007.4529733}, ISSN={},} @INPROCEEDINGS{445IEEEXplore.pdf, author={Ecker, W. and Esen, V. and Hull, M. and Steininger, T. and Velten, M.}, booktitle={Computer Design, 2006. ICCD 2006. International Conference on}, title={{Requirements and Concepts for Transaction Level Assertions}}, year={2006}, month={1-4}, volume={}, number={}, pages={286 -293}, keywords={SystemC execution model;conceptual language;formal specification;hardware design;hardware verification;transaction level assertion;formal specification;logic CAD;logic testing;}, doi={10.1109/ICCD.2006.4380830}, ISSN={1063-6404},} @INPROCEEDINGS{416IEEEXplore.pdf, author={Hecht, R. and Kubisch, S. and Michelsen, H. and Zeeb, E. and Timmermann, D.}, booktitle={Parallel and Distributed Processing Symposium, 2006. IPDPS 2006. 20th International}, title={{A distributed object system approach for dynamic reconfiguration}}, year={2006}, month={25-29}, volume={}, number={}, pages={8 pp.}, keywords={FPGA;SystemC model;distributed object system;dynamically reconfigurable application;dynamically reconfigurable architecture;extended Linux operating system;parallel computing;reconfigurable hardware resources;reconfigurable module communication;reconfigurable module interruption;reconfigurable module relocation;Linux;distributed object management;field programmable gate arrays;parallel processing;reconfigurable architectures;}, doi={10.1109/IPDPS.2006.1639448}, ISSN={},} @ARTICLE{Kamiya_et_al__CCFinder_-_A_Multilinguistic_Token-Based_Code_Clone_Detection_System_for_Large_Scale_Source_Code__2002__filename_01019480.pdf, author={Kamiya, T. and Kusumoto, S. and Inoue, K.}, journal={Software Engineering, IEEE Transactions on}, title={{CCFinder: a multilinguistic token-based code clone detection system for large scale source code}}, year={2002}, month=jul, volume={28}, number={7}, pages={ 654 - 670}, keywords={ C language; C++ language; CASE tool; CCFinder; COBOL; FreeBSD; JDK; Java; Java Development Kit; Linux; NetBSD; case studies; duplicated code; input source text transformation; large-scale source code; multi-linguistic token-based code clone detection system; optimization techniques; software maintainability; software metrics; system characteristics identification; token-by-token comparison; computer aided software engineering; high level languages; large-scale systems; optimising compilers; software maintenance; software metrics; software tools;}, doi={10.1109/TSE.2002.1019480}, ISSN={0098-5589},} @ARTICLE{Bellon_et_al__Comparison_and_Evaluation_of_Clone_Detection_Tools__2007__filename_04288192.pdf, author={Bellon, S. and Koschke, R. and Antoniol, G. and Krinke, J. and Merlo, E.}, journal={Software Engineering, IEEE Transactions on}, title={{Comparison and Evaluation of Clone Detection Tools}}, year={2007}, volume={33}, number={9}, pages={577--591}, keywords={clone detection tool;duplicated source code detection;lexical information;program dependency graphs;software metrics;syntactic information;text information;program diagnostics;program verification;software metrics;}, doi={10.1109/TSE.2007.70725}, ISSN={0098-5589},} @ARTICLE{Baker__Finding_Clones_with_Dup_-_Analysis_of_an_Experiment__2007__filename_04288194.pdf, author={Baker, B.S.}, journal={Software Engineering, IEEE Transactions on}, title={{Finding Clones with Dup: Analysis of an Experiment}}, year={2007}, month=sept. , volume={33}, number={9}, pages={608 -621}, keywords={Dup;code sections;postprocessor;source code;systematic substitution;software reusability;software tools;}, doi={10.1109/TSE.2007.70720}, ISSN={0098-5589},} @ARTICLE{Basit_et_al__A_Data_Mining_Approach_for_Detecting_Higher-Level_Clones_in_Software__2009__filename_04796208.pdf, author={Basit, H.A. and Jarzabek, S.}, journal={Software Engineering, IEEE Transactions on}, title={{A Data Mining Approach for Detecting Higher-Level Clones in Software}}, year={2009}, volume={35}, number={4}, pages={497--514}, keywords={code clone analysis;data mining approach;higher-level clone detection;postdetection visualization techniques;program structures;software maintenance;software reusability;software system;data mining;software maintenance;software reusability;}, doi={10.1109/TSE.2009.16}, ISSN={0098-5589},} @ARTICLE{Li_et_al__CP-Miner_-_Finding_Copy-Paste_and_Related_Bugs_in_Large-Scale_Software_Code__2006__filename_01610609.pdf, author={Li, Z. and Lu, S. and Myagmar, S. and Zhou, Y.}, journal={Software Engineering, IEEE Transactions on}, title={{CP-Miner: finding copy-paste and related bugs in large-scale software code}}, year={2006}, volume={32}, number={3}, pages={176--192}, keywords={ CP-Miner tool; FreeBSD; Linux; code duplication; code reuse; copy-paste bugs; data mining technique; debugging aids; large-scale software code; operating system code bugs; replicated code; static code analyzer; data mining; operating systems (computers); program debugging; program diagnostics; software maintenance; software reusability; software tools;}, doi={10.1109/TSE.2006.28}, ISSN={0098-5589},} @ARTICLE{Proceedings_of_the_IEEE__01652901.pdf, author={Claasen, T.A.C.M.}, journal={Proceedings of the IEEE}, title={{An Industry Perspective on Current and Future State of the Art in System-on-Chip (SoC) Technology}}, year={2006}, month={June}, volume={94}, number={6}, pages={1121--1137}, abstract={In fast-moving consumer electronics markets where product lifetimes may be measured in months rather than years, fast time-to-market development of the system-on-chip solutions that lie at the heart of these products has become critical to commercial success. New semiconductor process technologies have the potential to integrate ever greater functional complexity onto realistically priced silicon chips. Yet there still remains a significant design gap between what can theoretically be integrated onto silicon and what can be efficiently designed onto it. In addition, the advent of sub-100-nm process technologies has seen an end to the speed and power consumption scaling that the industry has been used to. This paper examines the current state of the art in SoC technology and identifies some of the challenges that lie ahead if the relentless progress of Moore's Law is to continue fuelling ever more advanced and affordable consumer electronics products. It also looks at the system-in-package solutions that are increasingly being used to achieve levels of functional integration that Moore's Law on its own cannot provide.}, keywords={Moore Law;Si;consumer electronics products;product lifetimes;semiconductor process technologies;system-in-package;system-on-chip technology;time-to-market development;consumer electronics;electronic products;system-in-package;system-on-chip;}, doi={10.1109/JPROC.2006.873616}, ISSN={0018-9219},} @ARTICLE{Proceedings_of_the_IEEE__00537105.pdf, author={Kohonen, T. and Oja, E. and Simula, O. and Visa, A. and Kangas, J.}, journal={Proceedings of the IEEE}, title={Engineering applications of the self-organizing map}, year={1996}, month={Oct}, volume={84}, number={10}, pages={1358 -1384}, abstract={The self-organizing map (SOM) method is a new, powerful software tool for the visualization of high-dimensional data. It converts complex, nonlinear statistical relationships between high-dimensional data into simple geometric relationships on a low-dimensional display. As it thereby compresses information while preserving the most important topological and metric relationships of the primary data elements on the display, it may also be thought to produce some kind of abstractions. The term self-organizing map signifies a class of mappings defined by error-theoretic considerations. In practice they result in certain unsupervised, competitive learning processes, computed by simple-looking SOM algorithms. Many industries have found the SOM-based software tools useful. The most important property of the SOM, orderliness of the input-output mapping, can be utilized for many tasks: reduction of the amount of training data, speeding up learning nonlinear interpolation and extrapolation, generalization, and effective compression of information for its transmission}, keywords={abstractions;data compression;data visualization;engineering applications;extrapolation;input-output mapping;interpolation;orderliness;pattern recognition;robotics;self-organizing map;software tool;unsupervised competitive learning;data compression;data visualisation;engineering computing;extrapolation;interpolation;pattern recognition;robots;self-organising feature maps;unsupervised learning;}, doi={10.1109/5.537105}, ISSN={0018-9219},} @ARTICLE{Proceedings_of_the_IEEE__04167779.pdf, author={Sangiovanni-Vincentelli, A.}, journal={Proceedings of the IEEE}, title={{Quo Vadis, SLD? Reasoning About the Trends and Challenges of System Level Design}}, year={2007}, volume={95}, number={3}, pages={467--506}, abstract={System-level design (SLD) is considered by many as the next frontier in electronic design automation (EDA). SLD means many things to different people since there is no wide agreement on a definition of the term. Academia, designers, and EDA experts have taken different avenues to attack the problem, for the most part springing from the basis of traditional EDA and trying to raise the level of abstraction at which integrated circuit designs are captured, analyzed, and synthesized from. However, my opinion is that this is just the tip of the iceberg of a much bigger problem that is common to all system industry. In particular, I believe that notwithstanding the obvious differences in the vertical industrial segments (for example, consumer, automotive, computing, and communication), there is a common underlying basis that can be explored. This basis may yield a novel EDA industry and even a novel engineering field that could bring substantial productivity gains not only to the semiconductor industry but to all system industries including industrial and automotive, communication and computing, avionics and building automation, space and agriculture, and health and security, in short, a real technical renaissance. In this paper, I present the challenges faced by industry in system level design. Then, I propose a design methodology, platform-based design (PBD), that has the potential of addressing these challenges in a unified way. Further, I place methodology and tools available today in the PBD framework and present a tool environment, Metropolis, that supports PBD and that can be used to integrate available tools and methods together with two examples of its application to separate industrial domains}, keywords={EDA industry;Metropolis tool environment;design methodology;electronic design automation;embedded software;integrated circuit designs;platform-based design;productivity gains;system level design environments;electronic design automation;embedded systems;hardware-software codesign;integrated circuit design;integrated software;programming environments;}, doi={10.1109/JPROC.2006.890107}, ISSN={0018-9219},} @ARTICLE{IEEE_Transactions_on_Industrial_Electronics__05590290.pdf, author={Mak, T. and Lam, K.P. and Cheung, P. and Luk, W.}, journal={Industrial Electronics, IEEE Transactions on}, title={{Adaptive Routing in Network-on-Chips Using a Dynamic Programming Network}}, year={2010}, month={ }, volume={PP}, number={99}, pages={1}, abstract={Dynamic routing is desirable because of its substantial improvement in communication bandwidth and intelligent adaptation to faulty links and congested traffic. However, implementation of adaptive routing in a network-on-chip (NoC) system is not trivial and further complicated by the requirements of deadlock-free and real-time optimal decision making. In this paper, we present a deadlock-free routing architecture which employs a dynamic programming (DP) network to provide on-the-fly optimal path planning and network monitoring for packet switching. Also, a new routing strategy called k-step look ahead is introduced. This new strategy can substantially reduce the size of routing table and maintain a high quality of adaptation which leads to a scalable dynamic routing solution with minimal hardware overhead. Our results based on a cycleaccurate simulator demonstrate the effectiveness of the DPnetwork, which outperforms both the deterministic and adaptive routing algorithms in average delay on various traffic scenarios by 22:3\%. Moreover, the hardware overhead for DP-network is insignificant based on the results obtained from the hardware implementations.}, keywords={}, doi={10.1109/TIE.2010.2081953}, ISSN={0278-0046},} @ARTICLE{IEEE_Transactions_on_Industrial_Electronics__04525131.pdf, author={Zamora, M. and Henry, M.P.}, journal={Industrial Electronics, IEEE Transactions on}, title={{An FPGA Implementation of a Digital Coriolis Mass Flow Metering Drive System}}, year={2008}, month={July}, volume={55}, number={7}, pages={2820 -2831}, abstract={Coriolis mass flow metering provides a direct measurement of mass flow and is generally regarded as the most accurate and precise flow technology in common use in industry. This paper describes the role of the field-programmable gate array (FPGA) hardware, which is programmed using the Handel-C language, in the implementation of a "digital" Coriolis meter, which replaces the conventional analog positive feedback system used to maintain flowtube oscillation. The FPGA is coupled to a microprocessor, which carries out conventional measurement tasks and selects the drive parameters to be used by the FPGA. The resulting meter is able to maintain the operation in more difficult process conditions, including two-phase flow, which has previously caused Coriolis meters to cease oscillation. The system described in this paper is used in a commercial meter that has been successfully applied to two-phase industrial applications.}, keywords={FPGA implementation;Handel-C language;analog positive feedback system;digital coriolis;field-programmable gate array hardware;mass flow measurement;mass flow metering drive;microprocessor;Coriolis force;field programmable gate arrays;flow measurement;microprocessor chips;}, doi={10.1109/TIE.2008.925646}, ISSN={0278-0046},} @article{SystemAda, author = {Mahani, Negin and Mokri, Parnian and Navabi, Zainalabedin}, title = {{System level hardware design and simulation with SystemAda}}, journal = {ACM SIGAda Ada Letters}, volume = {29}, issue = {1}, month = {March}, year = {2009}, issn = {1094-3641}, pages = {19--22}, numpages = {4}, url = {HTTP://DOI.ACM.org/10.1145/1541788.1541789}, doi = {HTTP://DOI.ACM.org/10.1145/1541788.1541789}, acmid = {1541789}, publisher = {ACM}, address = {New York, NY, USA}, } @article{SINGLETON_-_the_anti-pattern__filename_overload57.pdf, author = {Mark Radford}, title = {{Singleton --- the anti-pattern!}}, journal = {Overload}, volume = {11}, issue = {57}, month = {October}, year = {2003}, pages = {20--22}, url = {HTTPS://ACCU.org/journals/overload/11/57/overload57.pdf} } @article{similar_code_ie_code_clones__filename_3604905.pdf, author = {Kim, Kisub and Ghatpande, Sankalp and Kim, Dongsun and Zhou, Xin and Liu, Kui and Bissyand\'{e}, Tegawend\'{e} F. and Klein, Jacques and {Le Traon}, Yves}, title = {{Big Code Search: A Bibliography}}, year = {2023}, publisher = {Association for Computing Machinery}, address = {New York, NY, USA}, issn = {0360-0300}, url = {HTTPS://DOI.org/10.1145/3604905}, doi = {10.1145/3604905}, abstract = {Code search is an essential task in software development. Developers often search the internet and other code databases for necessary source code snippets to ease the development efforts. Code search techniques also help learn programming as novice programmers or students can quickly retrieve (hopefully good) examples already used in actual software projects. Given the recurrence of the code search activity in software development, there is an increasing interest in the research community. To improve the code search experience, the research community suggests many code search tools and techniques. These tools and techniques leverage several different ideas and claim a better code search performance. However, it is still challenging to illustrate a comprehensive view of the field since existing studies generally explore narrow and limited subsets of used components. This study aims to devise a grounded approach to understanding the procedure for code search and build an operational taxonomy capturing the critical facets of code search techniques. In addition, we investigate evaluation methods, benchmarks, and datasets used in the field of code search as well.}, note = {Just Accepted}, journal = {ACM Comput. Surv.}, month = {jun}, keywords = {code recommendation, find code, code search procedure, code search, code retrieval, code snippet} } @article{A_systematic_literature_review_on_the_code_smells_datasets_and_validation_mechanisms__filename_3596908.pdf, author = {Zakeri-Nasrabadi, Morteza and Parsa, Saeed and Esmaili, Ehsan and Palomba, Fabio}, title = {A Systematic Literature Review on the Code Smells Datasets and Validation Mechanisms}, year = {2023}, publisher = {Association for Computing Machinery}, address = {New York, NY, USA}, issn = {0360-0300}, url = {HTTPS://DOI.org/10.1145/3596908}, doi = {10.1145/3596908}, abstract = {The accuracy reported for code smell-detecting tools varies depending on the dataset used to evaluate the tools. Our survey of 45 existing datasets reveals that the adequacy of a dataset for detecting smells highly depends on relevant properties such as the size, severity level, project types, number of each type of smell, number of smells, and the ratio of smelly to non-smelly samples in the dataset. Most existing datasets support God Class, Long Method, and Feature Envy while six smells in Fowler and Beck's catalog are not supported by any datasets. We conclude that existing datasets suffer from imbalanced samples, lack of supporting severity level, and restriction to Java language.}, note = {Just Accepted}, journal = {ACM Comput. Surv.}, month = {may}, keywords = {code smell dataset, Software smell, source code metrics, code smell prediction, systematic literature review} } @article{educating_users_about_software_engineering_principles, author = {Ko, Amy J. and Abraham, Robin and Beckwith, Laura and Blackwell, Alan and Burnett, Margaret and Erwig, Martin and Scaffidi, Chris and Lawrance, Joseph and Lieberman, Henry and Myers, Brad and Rosson, Mary Beth and Rothermel, Gregg and Shaw, Mary and Wiedenbeck, Susan}, title = {The State of the Art in End-User Software Engineering}, year = {2011}, issue_date = {April 2011}, publisher = {Association for Computing Machinery}, address = {New York, NY, USA}, volume = {43}, number = {3}, issn = {0360-0300}, url = {HTTPS://DOI.org/10.1145/1922649.1922658}, doi = {10.1145/1922649.1922658}, abstract = {Most programs today are written not by professional software developers, but by people with expertise in other domains working towards goals for which they need computational support. For example, a teacher might write a grading spreadsheet to save time grading, or an interaction designer might use an interface builder to test some user interface design ideas. Although these end-user programmers may not have the same goals as professional developers, they do face many of the same software engineering challenges, including understanding their requirements, as well as making decisions about design, reuse, integration, testing, and debugging. This article summarizes and classifies research on these activities, defining the area of End-User Software Engineering (EUSE) and related terminology. The article then discusses empirical research about end-user software engineering activities and the technologies designed to support them. The article also addresses several crosscutting issues in the design of EUSE tools, including the roles of risk, reward, and domain complexity, and self-efficacy in the design of EUSE tools and the potential of educating users about software engineering principles.}, journal = {ACM Comput. Surv.}, month = {apr}, articleno = {21}, numpages = {44}, keywords = {visual programming, end-user programming, human-computer interaction, End-user software engineering, end-user development} } @article{inheritance_incremental_modification__filename_243439.243441.pdf, author = {Taivalsaari, Antero}, title = {{On the Notion of Inheritance}}, year = {1996}, issue_date = {Sept. 1996}, publisher = {Association for Computing Machinery}, address = {New York, NY, USA}, volume = {28}, number = {3}, issn = {0360-0300}, url = {HTTPS://DOI.org/10.1145/243439.243441}, doi = {10.1145/243439.243441}, abstract = {One of the most intriguing—and at the same time most problematic—notions in object-oriented programing is inheritance. Inheritance is commonly regarded as the feature that distinguishes object-oriented programming from other modern programming paradigms, but researchers rarely agree on its meaning and usage. Yet inheritance of often hailed as a solution to many problems hampering software development, and many of the alleged benefits of object-oriented programming, such as improved conceptual modeling and reusability, are largely credited to it. This article aims at a comprehensive understanding of inheritance, examining its usage, surveying its varieties, and presenting a simple taxonomy of mechanisms that can be seen as underlying different inheritance models.}, journal = {ACM Comput. Surv.}, month = {sep}, pages = {438–479}, numpages = {42}, keywords = {language constructs, delegation, programming languages, inheritance, object-oriented programming, incremental modification} } @article{mlamothe_csur_2021.pdf, author = {Lamothe, Maxime and Gu\'{e}h\'{e}neuc, Yann-Ga\"{e}l and Shang, Weiyi}, title = {{A Systematic Review of API Evolution Literature}}, year = {2021}, issue_date = {November 2022}, publisher = {Association for Computing Machinery}, address = {New York, NY, USA}, volume = {54}, number = {8}, issn = {0360-0300}, url = {HTTPS://DOI.org/10.1145/3470133}, doi = {10.1145/3470133}, abstract = {Recent software advances have led to an expansion of the development and usage of application programming interfaces (APIs). From millions of Android packages (APKs) available on Google Store to millions of open-source packages available in Maven, PyPI, and npm, APIs have become an integral part of software development.Like any software artifact, software APIs evolve and suffer from this evolution. Prior research has uncovered many challenges to the development, usage, and evolution of APIs. While some challenges have been studied and solved, many remain. These challenges are scattered in the literature, which hides advances and cloaks the remaining challenges.In this systematic literature review on APIs and API evolution, we uncover and describe publication trends and trending topics. We compile common research goals, evaluation methods, metrics, and subjects. We summarize the current state-of-the-art and outline known existing challenges as well as new challenges uncovered during this review.We conclude that the main remaining challenges related to APIs and API evolution are (1) automatically identifying and leveraging factors that drive API changes, (2) creating and using uniform benchmarks for research evaluation, and (3) understanding the impact of API evolution on API developers and users with respect to various programming languages.}, journal = {ACM Comput. Surv.}, month = {oct}, articleno = {171}, numpages = {36}, keywords = {SLR, API evolution, APIs} } @article{Source_code_duplication_commonly_known_as_code_cloning, author = {Duala-Ekoko, Ekwa and Robillard, Martin P.}, title = {{Clone Region Descriptors: Representing and Tracking Duplication in Source Code}}, year = {2010}, issue_date = {June 2010}, publisher = {Association for Computing Machinery}, address = {New York, NY, USA}, volume = {20}, number = {1}, issn = {1049-331X}, url = {HTTPS://DOI.org/10.1145/1767751.1767754}, doi = {10.1145/1767751.1767754}, abstract = {Source code duplication, commonly known as code cloning, is considered an obstacle to software maintenance because changes to a cloned region often require consistent changes to other regions of the source code. Research has provided evidence that the elimination of clones may not always be practical, feasible, or cost-effective. We present a clone management approach that describes clone regions in a robust way that is independent from the exact text of clone regions or their location in a file, and that provides support for tracking clones in evolving software. Our technique relies on the concept of abstract clone region descriptors (CRDs), which describe clone regions using a combination of their syntactic, structural, and lexical information. We present our definition of CRDs, and describe a clone tracking system capable of producing CRDs from the output of different clone detection tools, notifying developers of modifications to clone regions, and supporting updates to the documented clone relationships. We evaluated the performance and usefulness of our approach across three clone detection tools and five subject systems, and the results indicate that CRDs are a practical and robust representation for tracking code clones in evolving software.}, journal = {ACM Trans. Softw. Eng. Methodol.}, month = {jul}, articleno = {3}, numpages = {31}, keywords = {refactoring, code clones, clone management, clone detection, Source code duplication} } @misc{hundreds_of_papers_that_have_been_published_on_this_and_similar_nonsense, title = {{No, the LHC will not make contact with parallel universes}}, year={2015}, url = {HTTP://BackReAction.BlogSpot.com/2015/03/no-lhc-will-not-make-contact-with.html}, author = {Sabine Hossenfelder}, editor = {Sabine Hossenfelder} } @misc{demonstrate_what_is_going_wrong_in_theoretical_physics, title = {{Black holes don't exist again. Newsflash: It's a trap!}}, year={2015}, url = {HTTP://BackReAction.BlogSpot.com/2015/02/black-holes-dont-exist-again-newsflash.html}, author = {Sabine Hossenfelder and Rastus Odinga Odinga and Robert L. Oldershaw}, editor = {Sabine Hossenfelder} } @misc{portals_and_other_nonsense, title = {{Black holes don't exist again. Newsflash: It's a trap!}}, year={2022}, url = {HTTP://BackReAction.BlogSpot.com/2022/09/ive-said-it-all-before-but-here-we-go.html}, author = {Sabine Hossenfelder}, editor = {Sabine Hossenfelder} } @misc{physicists-like-nonsense_20_people_were_doing_it_in_1984_1000_people_were_doing_it_in_2000_and_now_there_s_6000_people_who_are_doing_string_theory_all_over_the_world._And_that_s_proof_that_there_s_something_here_that_s_worthwhile__That_is_exactly_the_kind_of_statement_that_shows_it_s_bullshit_and_non-scientific, url = {HTTPS://WWW.AIP.org/history-programs/niels-bohr-library/oral-histories/46735}, title = {{Interview of David E. Kaplan by David Zierler on July 13, 2020}}, year={2020}, author = {David Zierler and Kaplan, David Elazzar} } @book{Planck__it_did_not_hurt_to_publish_nonsense_now_and_then, author = {Jungnickel, Christa and McCormmach, Russell}, title = {{Intellectual mastery of nature. Theoretical Physics from Ohm to Einstein Volume 2. The now mighty theoretical physics 1870--1925}}, year = {1990}, isbn = {0-226-41585-6}, publisher = {The University of Chicago Press}, address = {Chicago and London} } @misc{335-14.5BECBR_I_won, title = {{Process Number 335/14.5BECBR at Portugal's Tribunal Central Administrativo Norte}}, year={2020}, author = {{de Oliveira e Sousa}, Ricardo and Jo{\~a}o Beato and Helena Ribeiro} } @article{The_effectiveness_of_the_erratum_in_avoiding_error_propagation_in_physics, year={1995}, issn={1353-3452}, journal={Science and Engineering Ethics}, volume={1}, number={3}, title={The effectiveness of the erratum in avoiding error propagation in physics}, keywords={citation; erratum; errors; ethics; publications}, author={Thomsen, Marshall and Resnik, D.}, pages={231--240} } @article{gk9.pdf, title = {Pattern mining of cloned codes in software systems}, journal = {Information Sciences}, volume = {259}, pages = {544--554}, year = {2014}, issn = {0020-0255}, doi = {HTTPS://DOI.org/10.1016/j.ins.2010.04.022}, url = {HTTPS://WWW.ScienceDirect.com/science/article/pii/S0020025510001787}, author = {Wei Qu and Yuanyuan Jia and Michael Jiang}, keywords = {Pattern mining, Software clone detection, Software reuse detection, Software engineering}, abstract = {Pattern mining of cloned codes in software systems is a challenging task due to various modifications and the large size of software codes. Most existing approaches adopt a token-based software representation and use sequential analysis for pattern mining of cloned codes. Due to the intrinsic limitations of such spatial space analysis, these methods have difficulties handling statement reordering, insertion and control replacement. Recently, graph-based models such as program dependent graph have been exploited to solve these issues. Although they can improve the performance in terms of accuracy, they introduce additional problems. Their computational complexity is very high and dramatically increases with the software size, thus limiting their applications in practice. In this paper, we propose a novel pattern mining framework for cloned codes in software systems. It efficiently exploits software’s spatial space information as well as graph space information and thus can mine accurate patterns of cloned codes for software systems. Preliminary experimental results have demonstrated the superior performance of the proposed approach compared with other methods.} } @article{JIANG2023138, title = {Cross-project clone consistent-defect prediction via transfer-learning method}, journal = {Information Sciences}, volume = {635}, pages = {138--150}, year = {2023}, issn = {0020-0255}, doi = {HTTPS://DOI.org/10.1016/j.ins.2023.03.118}, url = {HTTPS://WWW.ScienceDirect.com/science/article/pii/S0020025523004449}, author = {Wenchao Jiang and Shaojian Qiu and Tiancai Liang and Fanlong Zhang}, keywords = {Code clones, Clone consistent-defect, Defect prediction, Cross-project, Transfer learning}, abstract = {Code clones are comparable code snippets that are introduced into software by developers in order to increase software development productivity. A change to code clone may result in a consistent-defect if the developers forget to verify the consistency of the code after the change. To reduce such change-related maintenance costs, researchers have proposed a number of methods for predicting clone consistency in advance. Unfortunately, the effectiveness of these cross-project models is unsatisfactory, and performing such predictions with insufficient data remains a challenge. Meanwhile, cross-project defect prediction via transfer learning method is prevalent in the software engineering community. Consequently, we first construct an empirical study to explore whether transfer-learning techniques could well be utilized for clone cross-project consistent-defect prediction in the initial stages of software development. In this paper, we employ transfer-learning techniques to predict clone consistency at both the time of clone creating and clone changing in order to avoid clone consistent-defects and maintenance. We conduct an experiment on open-source projects to evaluate the effectiveness of various transfer-learning methods. Our investigation demonstrates that transfer-learning techniques have a beneficial impact on predicting cross-project clone consistent-defect, and that the size of the dataset also has a positive effect on prediction. In order to promote software safety and security, we recommend that developers leverage transfer-learning to enhance the capability for clone cross-project consistent-defect prediction early in the software development phase.} } @article{ZHANG2023357, title = {Clone consistent-defect prediction based on deep learning method}, journal = {Information Sciences}, volume = {633}, pages = {357--369}, year = {2023}, issn = {0020-0255}, doi = {HTTPS://DOI.org/10.1016/j.ins.2023.03.007}, url = {HTTPS://WWW.ScienceDirect.com/science/article/pii/S0020025523003031}, author = {Fanlong Zhang and Yi Che and Tiancai Liang and Wenchao Jiang}, keywords = {Clone consistent change, Consistent-defect, Software maintenance, Software safety, Deep learning}, abstract = {Many consistent changes take place across code clones in software, and this has emerged as a severe issue for software security. If the developers forget to modify the relevant clones consistently, such modifications will introduce consistent-defect. Researchers leverage machine learning techniques to predict clone consistent-defect by representing these changes with the designed attributes. Meanwhile, deep learning technology has demonstrated tremendous potential in characterizing source code. As such, we explore whether deep learning technology can enhance the effectiveness of clone consistent-defect prediction. In this study, we investigate various neural networks for modeling clone consistent change. Specifically, our approach models code clones and their evolution to capture the semantic properties automatically from the perspectives of clone fragment, clone group, and clone evolution, as opposed to manually generated attributes. To evaluate the effectiveness of our approach, we conduct an experiment on the dataset collected from 8 open-source projects. The results demonstrate that our neural network models are efficient both in cross-project and within-project scenarios, with F-measures of around 80\% and recalls of around 90\%. We conclude that deep learning technology may successfully assist developers in predicting clone consistent-defect, so helping to improve the security of code clones by alerting developers to confirm their consistency.} } @article{nonviolations-in-bells-inequality.pdf, title = {{Non-Violations in Bell's Inequality}}, journal = {Journal of Mathematical Techniques and Computational Mathematics}, volume = {2}, pages = {209--210}, year = {2023}, issn = {2834-7706}, url = {HTTPS://WWW.OPASTPublishers.com/open-access-articles/nonviolations-in-bells-inequality.pdf}, author = {Ian J Miller} } @article{repetition_of_the_same_opinion_gives_rise_to_the_impression_that_the_opinion_is_widely_shared__filename_WeaverGarciaSchwarzMiller2007.pdf, author = {Kimberlee Weaver and Stephen M. Garcia and Norbert Schwarz and Dale T. Miller}, title ={{Inferring the Popularity of an Opinion From Its Familiarity: A Repetitive Voice Can Sound Like a Chorus}}, journal = {Journal of Personality and Social Psychology}, volume = {92}, number = {5}, pages = {821--833}, year = {2007}, doi = {10.1037/0022-3514.92.5.821} } @article{lewandowsky-et-al-2012-misinformation-and-its-correction-continued-influence-and-successful-debiasing.pdf, author = {Stephan Lewandowsky and Ullrich K. H. Ecker and Colleen M. Seifert and Norbert Schwarz and John Cook}, title ={{Misinformation and Its Correction: Continued Influence and Successful Debiasing}}, journal = {Psychological Science in the Public Interest}, volume = {13}, number = {3}, pages = {106--131}, year = {2012}, doi = {10.1177/1529100612451018}, note ={PMID: 26173286}, URL = {HTTPS://DOI.org/10.1177/1529100612451018}, eprint = {HTTPS://DOI.org/10.1177/1529100612451018}, abstract = { The widespread prevalence and persistence of misinformation in contemporary societies, such as the false belief that there is a link between childhood vaccinations and autism, is a matter of public concern. For example, the myths surrounding vaccinations, which prompted some parents to withhold immunization from their children, have led to a marked increase in vaccine-preventable disease, as well as unnecessary public expenditure on research and public-information campaigns aimed at rectifying the situation.We first examine the mechanisms by which such misinformation is disseminated in society, both inadvertently and purposely. Misinformation can originate from rumors but also from works of fiction, governments and politicians, and vested interests. Moreover, changes in the media landscape, including the arrival of the Internet, have fundamentally influenced the ways in which information is communicated and misinformation is spread.We next move to misinformation at the level of the individual, and review the cognitive factors that often render misinformation resistant to correction. We consider how people assess the truth of statements and what makes people believe certain things but not others. We look at people’s memory for misinformation and answer the questions of why retractions of misinformation are so ineffective in memory updating and why efforts to retract misinformation can even backfire and, ironically, increase misbelief. Though ideology and personal worldviews can be major obstacles for debiasing, there nonetheless are a number of effective techniques for reducing the impact of misinformation, and we pay special attention to these factors that aid in debiasing.We conclude by providing specific recommendations for the debunking of misinformation. These recommendations pertain to the ways in which corrections should be designed, structured, and applied in order to maximize their impact. Grounded in cognitive psychological theory, these recommendations may help practitioners—including journalists, health professionals, educators, and science communicators—design effective misinformation retractions, educational tools, and public-information campaigns.} } @incollection{04_14_09_Schwarz.pdf, title = {Metacognitive Experiences and the Intricacies of Setting People Straight: Implications for Debiasing and Public Information Campaigns}, series = {Advances in Experimental Social Psychology}, publisher = {Academic Press}, volume = {39}, pages = {127--161}, year = {2007}, issn = {0065-2601}, doi = {HTTPS://DOI.org/10.1016/S0065-2601(06)39003-X}, url = {HTTPS://WWW.ScienceDirect.com/science/article/pii/S006526010639003X}, author = {Norbert Schwarz and Lawrence J. Sanna and Ian Skurnik and Carolyn Yoon}, abstract = {Publisher Summary This chapter describes the role of metacognitive experiences in judgment and decision making, and explores their implications for debiasing strategies and public information campaigns. Human reasoning is accompanied by a variety of metacognitive experiences, which provide experiential information that people systematically use in forming a judgment. These experiences qualify the implications of accessible declarative information, with the result that people's judgments can only be predicted by taking the interplay of declarative and experiential information into account. The chapter emphasizes on two of these experiences—namely, the ease or difficulty with which information can be brought to mind and thoughts can be generated, and the fluency with which new information can be processed. Accessibility experiences refer to the ease or difficulty with which information can be recalled and thoughts can be generated. According to most models of judgment, an object should be evaluated more favorably when many positive attributes are brought to mind, should consider an event more likely when many reasons are generated for its occurrence, and so on.} } @article{brashier-marsh-2020-judging-truth.pdf, author = {Brashier, Nadia M. and Marsh, Elizabeth J.}, title = {{Judging Truth}}, journal = {Annual Review of Psychology}, volume = {71}, number = {1}, pages = {499--515}, year = {2020}, doi = {10.1146/annurev-psych-010419-050807}, note ={PMID: 31514579}, URL = {HTTPS://DOI.org/10.1146/annurev-psych-010419-050807}, eprint = {HTTPS://DOI.org/10.1146/annurev-psych-010419-050807}, abstract = {Deceptive claims surround us, embedded in fake news, advertisements, political propaganda, and rumors. How do people know what to believe? Truth judgments reflect inferences drawn from three types of information: base rates, feelings, and consistency with information retrieved from memory. First, people exhibit a bias to accept incoming information, because most claims in our environments are true. Second, people interpret feelings, like ease of processing, as evidence of truth. And third, people can (but do not always) consider whether assertions match facts and source information stored in memory. This three-part framework predicts specific illusions (e.g., truthiness, illusory truth), offers ways to correct stubborn misconceptions, and suggests the importance of converging cues in a post-truth world, where falsehoods travel further and faster than the truth.} } @article{Pages_from_JARMAC_2017_59_Revision_1_V1.pdf, title = {{Beyond Misinformation: Understanding and Coping with the ``Post-Truth'' Era}}, journal = {Journal of Applied Research in Memory and Cognition}, volume = {6}, number = {4}, pages = {353--369}, year = {2017}, issn = {2211-3681}, doi = {HTTPS://DOI.org/10.1016/j.jarmac.2017.07.008}, url = {HTTPS://WWW.ScienceDirect.com/science/article/pii/S2211368117300700}, author = {Stephan Lewandowsky and Ullrich K.H. Ecker and John Cook}, keywords = {Misinformation, Fake news, Post-truth politics, Demagoguery}, abstract = {The terms “post-truth†and “fake news†have become increasingly prevalent in public discourse over the last year. This article explores the growing abundance of misinformation, how it influences people, and how to counter it. We examine the ways in which misinformation can have an adverse impact on society. We summarize how people respond to corrections of misinformation, and what kinds of corrections are most effective. We argue that to be effective, scientific research into misinformation must be considered within a larger political, technological, and societal context. The post-truth world emerged as a result of societal mega-trends such as a decline in social capital, growing economic inequality, increased polarization, declining trust in science, and an increasingly fractionated media landscape. We suggest that responses to this malaise must involve technological solutions incorporating psychological principles, an interdisciplinary approach that we describe as “technocognition.†We outline a number of recommendations to counter misinformation in a post-truth world.} } @article{ioannidis-2012-why-science-is-not-necessarily-self-correcting.pdf, author = {John P. A. Ioannidis}, title ={{Why Science Is Not Necessarily Self-Correcting}}, journal = {Perspectives on Psychological Science}, volume = {7}, number = {6}, pages = {645--654}, year = {2012}, doi = {10.1177/1745691612464056}, note ={PMID: 26168125}, URL = {HTTPS://DOI.org/10.1177/1745691612464056}, eprint = {HTTPS://DOI.org/10.1177/1745691612464056}, abstract = {The ability to self-correct is considered a hallmark of science. However, self-correction does not always happen to scientific evidence by default. The trajectory of scientific credibility can fluctuate over time, both for defined scientific fields and for science at-large. History suggests that major catastrophes in scientific credibility are unfortunately possible and the argument that “it is obvious that progress is made†is weak. Careful evaluation of the current status of credibility of various scientific fields is important in order to understand any credibility deficits and how one could obtain and establish more trustworthy results. Efficient and unbiased replication mechanisms are essential for maintaining high levels of scientific credibility. Depending on the types of results obtained in the discovery and replication phases, there are different paradigms of research: optimal, self-correcting, false nonreplication, and perpetuated fallacy. In the absence of replication efforts, one is left with unconfirmed (genuine) discoveries and unchallenged fallacies. In several fields of investigation, including many areas of psychological science, perpetuated and unchallenged fallacies may comprise the majority of the circulating evidence. I catalogue a number of impediments to self-correction that have been empirically studied in psychological science. Finally, I discuss some proposed solutions to promote sound replication practices enhancing the credibility of scientific results as well as some potential disadvantages of each of them. Any deviation from the principle that seeking the truth has priority over any other goals may be seriously damaging to the self-correcting functions of science.} } @article{abhishek-_political_economy_research_propaganda_20210401.pdf, author = {Aman Abhishek}, title = {Overlooking the political economy in the research on propaganda}, journal = {Harvard Kennedy School Misinformation Review}, volume = {2}, number = {2}, year = {2021}, doi = {HTTPS://DOI.org/10.37016/mr-2020-61}, URL = {HTTPS://MisinfoReview.HKS.Harvard.edu/article/overlooking-the-political-economy-in-the-research-on-propaganda/} } @article{Python-is-missing-some-of-these, author = {Jeffrey R. Carter}, title = {{Subject: Re: Is Python higher level than Ada?}}, journal = {news:comp.lang.ada}, volume = {2016}, year = {2016}, note = {Message-ID: \texttt{} ag \url{HTTPS://Archive.LegitData.Co/comp.lang.ada/o0i099$fg8$1@dont-email.me/} mar shampla Date: Wed, 16 Nov 2016 09:08:37 -0700} } @article{Ada-had-records-from-day-one-only-40-years-ago, author = {Nasser M. Abbasi}, title = {{Subject: Java and Python have just discovered \texttt{"}record\texttt{"} type finally after 40 years.}}, journal = {news:comp.lang.ada}, volume = {2023}, year = {2023}, note = {Message-ID: \texttt{} ag \url{HTTPS://Archive.LegitData.Co/comp.lang.ada/u3lu8o$1p3li$1@dont-email.me/} mar shampla Date: Fri, 12 May 2023 12:50:14 -0500} } @article{assuming-Python-implements-them-correctly-which-I-honestly-doubt, author = {Dmitry A. Kazakov}, title = {{Subject: Re: Is Python higher level than Ada?}}, journal = {news:comp.lang.ada}, volume = {2016}, year = {2016}, note = {Message-ID: \texttt{} ag \url{HTTPS://Archive.LegitData.Co/comp.lang.ada/o0h7tt$1o9f$1@gioia.aioe.org/} mar shampla Date: Wed, 16 Nov 2016 10:12:29 +0100} } @misc{finding-bugs-in-your-Python-software-Have-you-ever-mistyped-an-identifier.html, title = {{Best Programming Language \texttt{|} Teach Sector}}, year={2022}, url = {HTTPS://TeachSector.com/dforpython}, author = {Victor Porton} } @misc{dynamic-nature-of-Python-usually-leads-to-many-programming-errors.htm, title = {{The Best Python Alternative You Can Find – Course and Certifications - Teach Sector}}, year={2022}, url = {HTTPS://TeachSector.com/the-best-python-alternative-you-can-find-course-and-certifications/}, author = {Victor Porton} } @misc{Python-will-simply-throw-an-error-without-providing-any-suggestions-on-how-to-fix-it.htm, title = {{Python vs Rust: Choosing Your Language - Teach Sector}}, year={2022}, url = {HTTPS://TeachSector.com/python-vs-rust-choosing-your-language/}, author = {Victor Porton} } @misc{Subventionsbetrugsgesetz, title = {{Strafgesetzbuch (StGB) § 264 Subventionsbetrug aus Strafgesetzbuch in der Fassung der Bekanntmachung vom 13. November 1998 (BGBl. I S. 3322), das zuletzt durch Artikel 1 des Gesetzes vom 26. Juli 2023 (BGBl. 2023 I Nr. 203) geändert worden ist}}, year={2023}, url = {HTTPS://WWW.Gesetze-im-Internet.De/stgb/__264.html}, author = {an Ghearmáin} } @inproceedings{3383583.3398514.pdf, author = {Fu, Yuanxi and Schneider, Jodi}, title = {{Towards Knowledge Maintenance in Scientific Digital Libraries with the Keystone Framework}}, year = {2020}, isbn = {9781450375856}, publisher = {Association for Computing Machinery}, address = {New York, NY, USA}, url = {HTTPS://DOI.org/10.1145/3383583.3398514}, doi = {10.1145/3383583.3398514}, abstract = {Scientific digital libraries speed dissemination of scientific publications, but also the propagation of invalid or unreliable knowledge. Although many papers with known validity problems are highly cited, no auditing process is currently available to determine whether a citing paper's findings fundamentally depend on invalid or unreliable knowledge. To address this, we introduce a new framework, the keystone framework, designed to identify when and how citing unreliable findings impacts a paper, using argumentation theory and citation context analysis. Through two pilot case studies, we demonstrate how the keystone framework can be applied to knowledge maintenance tasks for digital libraries, including addressing citations of a non-reproducible paper and identifying statements most needing validation in a high-impact paper. We identify roles for librarians, database maintainers, knowledgebase curators, and research software engineers in applying the framework to scientific digital libraries.}, booktitle = {Proceedings of the ACM/IEEE Joint Conference on Digital Libraries in 2020}, pages = {217--226}, numpages = {10}, keywords = {knowledge claims, citation of retracted papers, scientific literature, citation, argumentation theory, citation contexts, knowledge maintenance, retraction of research, argument retrieval}, location = {Virtual Event, China}, series = {JCDL '20} } @article{Gloster+2010+387+388, url = {HTTPS://DOI.org/10.1515/IJNSNS.2010.11.6.387}, title = {{Optimization Algorithms in Physics}}, author = {Colin Paul Gloster}, pages = {387--388}, volume = {11}, number = {6}, journal = {International Journal of Nonlinear Sciences and Numerical Simulation}, doi = {10.1515/IJNSNS.2010.11.6.387}, year = {2010}} @article{a-review-by-me-de-3-books-on-algorithms, author = {Colin Paul Gloster}, title = {{Review of Sara Baase and Allen van Gelder, \textit{Computer Algorithms: Introduction to Design \& Analysis} \& Thomas H. Cormen and Charles E. Leiserson and Ronald L. Rivest, \textit{Introduction to Algorithms} \& Fethi Rabhi and Guy Lapalme, \textit{Algorithms: A Functional Programming Approach}}}, journal = {CVu}, year = {2009}, issn = {1354-3164}, publisher = {Association of C \& C++ Users}, url = {HTTPS://ACCU.org/bookreviews/2011/gloster_1841/}, address = {England} } @article{a-review-by-me-de-3-other-books-on-algorithms, author = {Colin Paul Gloster}, title = {{Review of Michael R. Garey and David S. Johnson, \textit{Computers and Intractability: A Guide to the Theory of NP-Completeness}, 1979 (``Update for the Current Printing'' of December 1983) \& Dorit S. Hochbaum \textit{et al.}, \textit{Approximation Algorithms for NP-hard Problems}, 1997 \& G. Ausiello; P. Crescenzi; G. Gambosi; V. Kann; A. Marchetti-Spaccamela; and M. Protasi, \textit{Complexity and Approximation: Combinatorial Optimization Problems and Their Approximability Properties}, 1999}}, journal = {CVu}, year = {2010}, issn = {1354-3164}, publisher = {Association of C \& C++ Users}, address = {England} } @article{review-by-me-de-Algorithmic-Graph-Theory, author = {Colin Paul Gloster}, title = {{Review of Alan Gibbons, \textit{Algorithmic Graph Theory}, c{\'o}ipcheart 1985, ``digital printing 1999''}}, journal = {CVu}, year = {2010}, issn = {1354-3164}, publisher = {Association of C \& C++ Users}, address = {England} } @article{review-by-me-de-Sedgewick, author = {Colin Paul Gloster}, title = {{Review of Robert Sedgewick and Christopher J Van Wyk, \textit{Algorithms in C++, Parts 1-4}}}, journal = {CVu}, year = {2008}, issn = {1354-3164}, publisher = {Association of C \& C++ Users}, address = {England} } @article{review-by-me-re-quantum-computers, author = {Colin Paul Gloster}, title = {{Review of Colin P. Williams and Scott H. Clearwater, \textit{Ultimate Zero and One: Computing at the Quantum Frontier} \& Michael Brooks, \textit{Quantum Computing and Communications} \& Arthur O. Pittenger, \textit{An Introduction to Quantum Computing Algorithms}}}, journal = {CVu}, year = {2001}, issn = {1354-3164}, publisher = {Association of C \& C++ Users}, url = {HTTPS://ACCU.org/bookreviews/2001/gloster_89/}, address = {England} } @article{Ariane5EXE, author = {Colin Paul Gloster}, title = {Ariane 5}, journal = {EXE: The Software Developer's Magazine}, year = {2000}, month = {den Fheabhra}, pages = {14}, publisher = {Centaur Communications Ltd.}, address = {England} } @article{review-by-me-de-Formal-Hardware-Verification, author = {Colin Paul Gloster}, title = {{Review of Kropf, \textit{Formal Hardware Verification: Methods \& Systems in Comparison}}}, journal = {CVu}, year = {2007}, issn = {1354-3164}, publisher = {Association of C \& C++ Users}, url = {HTTPS://ACCU.org/bookreviews/2007/gloster_603/}, address = {England} } @article{review-by-me-de-Mathematical-and-Logical-Framework, author = {Colin Paul Gloster}, title = {{Review of Norman Fenton \& Gillian Hill, \textit{Systems Construction and Analysis: A Mathematical and Logical Framework}}}, journal = {CVu}, year = {2008}, issn = {1354-3164}, publisher = {Association of C \& C++ Users}, address = {England} } @article{review-by-me-de-book-by-Hoare, author = {Colin Paul Gloster}, title = {{Review of He Jifeng; C. A. R. Hoare; \& Jonathan Bowen, \textit{Provably Correct Systems: Modelling of Communication Languages and Design of Optimized Compilers}}}, journal = {CVu}, year = {2008}, issn = {1354-3164}, publisher = {Association of C \& C++ Users}, address = {England} } @article{review-by-me-de-System-Synthesis-with-VHDL, author = {Colin Paul Gloster}, title = {{Review of Petru Eles \& Krzysztof Kuchcinski \& Zebo Peng, \textit{System Synthesis with VHDL}}}, journal = {CVu}, year = {2004}, issn = {1354-3164}, publisher = {Association of C \& C++ Users}, address = {England}, url = {HTTPS://ACCU.org/bookreviews/2004/gloster_1291/} } @article{review-by-me-de-VHDL-Navabi, author = {Colin Paul Gloster}, title = {{Review of Zainalabedin Navabi, \textit{VHDL: Analysis \& Modeling of Digital Systems}}}, journal = {CVu}, year = {2004}, issn = {1354-3164}, publisher = {Association of C \& C++ Users}, address = {England}, url = {HTTPS://ACCU.org/bookreviews/2004/gloster_1293/} } @article{ACCU-review-by-me-de-Cohen-FAQ, author = {Colin Paul Gloster}, title = {{Review of Ben Cohen, \textit{VHDL Answers to Frequently Asked Questions}}}, journal = {CVu}, year = {2004}, issn = {1354-3164}, publisher = {Association of C \& C++ Users}, address = {England}, url = {HTTPS://ACCU.org/bookreviews/2004/gloster_1292/} } @misc{comp.lang.vhdl-Colin_Paul_Gloster@ACM.org, title = {ailt liom trí news:comp.lang.vhdl}, note = {ag USENET: Groups.Google.com mar shampla{\'i}bh}, url = {HTTPS://Groups.Google.com/g/comp.lang.vhdl/search?q=author%3AColin_Paul_Gloster%40ACM.org}, author = {Colin Paul Gloster} } @misc{comp.arch.fpga-glostec2, title = {{Subject: Re: Xilinx ISE 4.2i Student edition on Windows XP}}, note = {trí news:comp.lang.vhdl agus news:comp.arch.fpga ag USENET: Groups.Google.com mar shampla}, url = {HTTPS://Groups.Google.com/g/comp.arch.fpga/c/DoKB20MLOJw/m/iG77nEPu63UJ}, author = {glostec2}, year = {2002} } @misc{comp.arch.fpga-Colin_Paul_Gloster@ACM.org, title = {ailt liom trí news:comp.arch.fpga}, note = {ag USENET: Groups.Google.com mar shampla{\'i}bh}, url = {HTTPS://Groups.Google.com/g/comp.arch.fpga/search?q=author%3AColin_Paul_Gloster%40ACM.org}, author = {Colin Paul Gloster} } @article{Ada-User-Journal_agus_me_2002-2010, author = {Colin Paul Gloster}, title = {ailt liom}, journal = {Ada User Journal}, note = {den Mh{\'a}rta 2002; den Mhe{\'a}n F{\'o}mhair 2002; den Nollaig 2002; den Mhe{\'a}n F{\'o}mhair 2003; den Nollaig 2003; den Mhe{\'a}n F{\'o}mhair 2006; den Mhe{\'a}n F{\'o}mhair 2008; den Nollaig 2008; agus den Mheitheamh 2010} } @article{review-by-me-de-introduction-to-Ada, author = {Colin Paul Gloster}, title = {{Review of Stephen John Young, \textit{An introduction to Ada}}}, journal = {CVu}, year = {2002}, issn = {1354-3164}, publisher = {Association of C \& C++ Users}, address = {England}, url = {HTTPS://ACCU.org/bookreviews/2002/gloster_1798/} } @article{review-by-me-de-Ada-Vid, author = {Colin Paul Gloster}, title = {{Review of Geoff Gilpin \& R.R. Software, \textit{Ada-Vid (Introduction to JANUS/Ada) including Janus/Ada Extended}}}, journal = {CVu}, year = {2002}, issn = {1354-3164}, publisher = {Association of C \& C++ Users}, address = {England}, url = {HTTPS://ACCU.org/bookreviews/2002/gloster_1754/} } @article{review-by-me-de-2-Ada-books, author = {Colin Paul Gloster}, title = {{Review of Michael J. Stratford-Collins, \textit{Ada: A Programmer's Conversion Course} \& Henry Ledgard, \textit{Ada: An Introduction}}}, journal = {CVu}, year = {2002}, issn = {1354-3164}, publisher = {Association of C \& C++ Users}, address = {England}, url = {HTTPS://ACCU.org/bookreviews/2002/gloster_1755/} } @misc{comp.lang.ada-Colin_Paul_Gloster@ACM.org, title = {ailt liom trí news:comp.lang.ada}, note = {ag USENET: HTTPS://Archive.LegitData.Co/comp.lang.ada mar shampla{\'i}bh}, url = {HTTPS://Archive.LegitData.Co/comp.lang.ada/?q=Colin_Paul_Gloster@ACM.org&o=-1&r}, author = {{de Gloucester}, Nicolas Cóilin Paul} } @article{Overload-SPARK, author = {Colin Paul Gloster}, title = {Letters}, journal = {Overload}, year = {2006}, issn = {1354-3172}, publisher = {Association of C \& C++ Users}, address = {England}, pages = {4}, url = {HTTPS://ACCU.org/journals/overload/14/75/overload75.pdf}, number = {75} } @misc{Team-Ada-Colin_Paul_Gloster@ACM.org, title = {{poist liom trí Team Ada: Ada Programming Language Advocacy}}, note = {$\rightarrow$ Author's Address: $\rightarrow$ Colin\_Paul\_Gloster@ACM.org}, url = {HTTPS://LISTSERV.ACM.org/scripts/WA-ACMLPX.CGI?REPORT=TEAM-ADA&z=4&L=TEAM-ADA&1=TEAM-ADA}, author = {Paul Colin Gloster} }