ADD: some bibliography for hablitation

2023-05-30 20:46:36 +02:00 · 2023-05-30 20:46:36 +02:00 · 65e36ec411
commit 65e36ec411
parent 02e867c202
5 changed files with 293 additions and 58 deletions
--- a/computing.bib
+++ b/computing.bib
@ -0,0 +1,102 @@
+@article{doi:10.1098/rspa.1948.0129,
+author = {Newman, Maxwell Herman Alexander },
+title = {General principles of the design of all-purpose computing machines},
+journal = {Proceedings of the Royal Society of London. Series A. Mathematical and Physical Sciences},
+volume = {195},
+number = {1042},
+pages = {271-274},
+year = {1948},
+doi = {10.1098/rspa.1948.0129},
+
+URL = {https://royalsocietypublishing.org/doi/abs/10.1098/rspa.1948.0129},
+eprint = {https://royalsocietypublishing.org/doi/pdf/10.1098/rspa.1948.0129}
+,
+    abstract = { Professor Hartree in his paper has recalled that all the essential ideas of the general-purpose calculating machines now being made are to be found in Babbage’s plans for his analytical engine. In modern times the idea of a universal calculating machine was independently introduced by Turing (1938) in connexion with a logical problem, which there is unfortunately no time to mention, and the construction of actual machines was begun independently in America, towards the end of the late war. A ‘universal’ machine is one which, when given suitable instructions, will carry out automatically any well-defined series of computations of certain specified kinds, say additions, subtractions, multiplications and divisions of integers or finite decimals. This is a rather doubtful definition, since it depends on what is meant by a ‘welldefined’ series of computations; and undoubtedly the best definition of this is ‘one that can be done by a machine ’. However, this description is not quite so circular as it may seem; for most people have a fairly clear idea of w hat processes can be done by machines specially constructed for each separate purpose. There are, for example, machines for solving sets of linear algebraic equations, for finding the prim e factors of large integers, for solving ordinary differential equations of certain types, and so on. A universal machine is a single machine which, when provided with suitable instructions, will perform any calculation that could be done by a specially constructed machine. No real machine can be truly universal because its size is limited—for example, no machine will work out π to lO1000 places of decimals, because there is no room in the world for the working or the answer; but subject to this limitation of size, the machines now being made in America and in this country will be ‘ universal ’ —if they work a t all; that is, they will do every kind of job that can be done by special machines. }
+}
+
+@article{doi:10.1098/rspa.1948.0118,
+author = {Hartree, Douglas Rayner },
+title = {A historical survey of digital computing machines},
+journal = {Proceedings of the Royal Society of London. Series A. Mathematical and Physical Sciences},
+volume = {195},
+number = {1042},
+pages = {265-271},
+year = {1948},
+doi = {10.1098/rspa.1948.0118},
+
+URL = {https://royalsocietypublishing.org/doi/abs/10.1098/rspa.1948.0118},
+eprint = {https://royalsocietypublishing.org/doi/pdf/10.1098/rspa.1948.0118}
+,
+    abstract = { In opening the discussion Professor M. H. A. Newman said that it would be confined to machines which are automatic, i. e. require no human intervention at any stage; digital, i. e. such that separate digits of each number are stored in the machine at every stage (in contrast to 'analogue’ machines such as the Differential Analyzer where the numbers are represented by directly measured physical quantities, e. g. lengths); and general-purpose machines, i. e. machines able without modification to carry out any of a wide variety of computing jobs. }
+}
+
+@article{doi:10.1112/plms/s2-42.1.230,
+author = {Turing, A. M.},
+title = {On Computable Numbers, with an Application to the Entscheidungsproblem},
+journal = {Proceedings of the London Mathematical Society},
+
+volume = {s2-42},
+number = {1},
+pages = {230-265},
+doi = {10.1112/plms/s2-42.1.230},
+url = {https://londmathsoc.onlinelibrary.wiley.com/doi/abs/10.1112/plms/s2-42.1.230},
+eprint = {https://londmathsoc.onlinelibrary.wiley.com/doi/pdf/10.1112/plms/s2-42.1.230},
+year = {1937}
+}
+
+@article{doi:10.1098/rspa.1948.0130,
+author = {Wilkes, Maurice Vincent },
+title = {The design of a practical high-speed computing machine. The EDSAC},
+journal = {Proceedings of the Royal Society of London. Series A. Mathematical and Physical Sciences},
+volume = {195},
+number = {1042},
+pages = {274-279},
+year = {1948},
+doi = {10.1098/rspa.1948.0130},
+
+URL = {https://royalsocietypublishing.org/doi/abs/10.1098/rspa.1948.0130},
+eprint = {https://royalsocietypublishing.org/doi/pdf/10.1098/rspa.1948.0130}
+,
+    abstract = { I would like to give a description of the high-speed electronic digital calculating machine now in an advanced stage of construction in the University Mathematical Laboratory, Cambridge, and known as the EDSAC (Electronic Delay Storage Automatic Calculator). Before doing this I will set forth some of the considerations underlying its design. It will be realized that the potential power of electronic digital computing machines is very great, and that they are likely to have a far-reaching effect on certain fields of scientific research. It is, for example, often possible to write down the mathematical equations governing a situation but not possible to treat them analytically. If any progress is to be made in these cases it must be by a direct numerical attack on the fundamental equations. There have in recent years been a number of examples of this method. I might mention Professor Hartree’s work on self-consistent fields and Professor Southwell’s relaxation methods. In both cases the equations expressing the physical laws appropriate to the problem are written down and an approximate numerical solution sought without any intervening analysis of the conventional type. This kind of method is in principle of wide application and power, and the reason why it has not been more generally applied is that the labour of carrying out the necessary numerical processes is too great }
+}
+
+@Inbook{pcie,
+author="Ajanovic, Jasmin",
+editor="Padua, David",
+title="PCI Express",
+bookTitle="Encyclopedia of Parallel Computing",
+year="2011",
+publisher="Springer US",
+address="Boston, MA",
+pages="1487--1498",
+isbn="978-0-387-09766-4",
+doi="10.1007/978-0-387-09766-4_309",
+url="https://doi.org/10.1007/978-0-387-09766-4_309"
+}
+
+@manual{axi,
+    organization  = "ARM Limited",
+    title         = "AMBA AXI and ACE Protocol Specification AXI3, AXI4, and AXI4-Lite, ACE and ACE-Lite",
+    year          =  2011,
+    url           ="http://infocenter.arm.com/help/topic/com.arm.doc.ihi0022d/index.html"
+}
+
+@book{HennessyPatterson12,
+  abstract = {The computing world today is in the middle of a revolution: mobile clients and cloud computing have emerged as the dominant paradigms driving programming and hardware innovation today. The Fifth Edition of Computer Architecture focuses on this dramatic shift, exploring the ways in which software and technology in the 'cloud' are accessed by cell phones, tablets, laptops, and other mobile computing devices. Each chapter includes two real-world examples, one mobile and one datacenter, to illustrate this revolutionary change.},
+  added-at = {2016-11-04T19:12:58.000+0100},
+  address = {Amsterdam},
+  author = {Hennessy, John L. and Patterson, David A.},
+  biburl = {https://www.bibsonomy.org/bibtex/2d2d024a4ec1fd887aa36482288ca38f9/flint63},
+  edition = 5,
+  file = {ACM Learning Center eBook:2012/HennessyPatterson12.pdf:PDF;Amazon Search inside:http\://www.amazon.de/gp/reader/012383872X/:URL},
+  groups = {public},
+  interhash = {83342075ee6946a3cd5ffa87f2337a87},
+  intrahash = {d2d024a4ec1fd887aa36482288ca38f9},
+  isbn = {978-0-12-383872-8},
+  keywords = {01624 103 book acm elsevier computer architecture mobile device cloud intro},
+  publisher = {Morgan Kaufmann},
+  timestamp = {2017-07-13T18:01:10.000+0200},
+  title = {Computer Architecture: A Quantitative Approach},
+  username = {flint63},
+  year = 2012
+}
--- a/hpc.bib
+++ b/hpc.bib
@ -0,0 +1,53 @@
+@article{hpc0,
+  title={Achieving high performance with FPGA-based computing},
+  author={Herbordt, Martin C and VanCourt, Tom and Gu, Yongfeng and Sukhwani, Bharat and Conti, Al and Model, Josh and DiSabello, Doug},
+  journal={Computer},
+  volume={40},
+  number={3},
+  pages={50--57},
+  year={2007},
+  publisher={IEEE}
+}
+
+@inbook{hpc1,
+  year= {2013},
+  author = {Vanderbauwhede, Wim AND Benkrid, Khaled},
+  title= {High-Performance Computing Using FPGAs},
+  publisher= {Springer Science \& Business Media},
+  address= {Berlin Heidelberg},
+  EDITION = {1st ed. 2013, Corr. 2nd printing 2014},
+	ISBN = {978-1-461-41791-0},
+  url = {http://www.springer.com/engineering/circuits+%26+systems/book/978-1-4614-1790-3}
+}
+
+
+@INPROCEEDINGS{gpu0,
+author={A. L. {Varbanescu} and J. {Shen}},
+booktitle={2016 Forum on Specification and Design Languages (FDL)},
+title={Heterogeneous computing with accelerators: an overview with examples},
+year={2016},
+volume={},
+number={},
+pages={1-8},
+keywords={graphics processing units;performance evaluation;heterogeneous computing;accelerator-based platforms;platform-level heterogeneity;heterogeneous applications;programming models;programming tools;Graphics processing units;Programming;Central Processing Unit;Data transfer;Computational modeling;Acceleration;Hardware},
+doi={10.1109/FDL.2016.7880387},
+ISSN={},
+month={Sep.},}
+
+@inproceedings{gpu1,
+ author = {Lee, Victor W. and Kim, Changkyu and Chhugani, Jatin and Deisher, Michael and Kim, Daehyun and Nguyen, Anthony D. and Satish, Nadathur and Smelyanskiy, Mikhail and Chennupaty, Srinivas and Hammarlund, Per and Singhal, Ronak and Dubey, Pradeep},
+ title = {Debunking the 100X GPU vs. CPU Myth: An Evaluation of Throughput Computing on CPU and GPU},
+ booktitle = {Proceedings of the 37th Annual International Symposium on Computer Architecture},
+ series = {ISCA '10},
+ year = {2010},
+ isbn = {978-1-4503-0053-7},
+ location = {Saint-Malo, France},
+ pages = {451--460},
+ numpages = {10},
+ url = {http://doi.acm.org/10.1145/1815961.1816021},
+ doi = {10.1145/1815961.1816021},
+ acmid = {1816021},
+ publisher = {ACM},
+ address = {New York, NY, USA},
+ keywords = {cpu architecture, gpu architecture, performance analysis, performance measurement, software optimization, throughput computing},
+}
--- a/os.bib
+++ b/os.bib
@ -1,3 +1,10 @@
+@book{tanenbaum2015modern,
+  title={Modern operating systems},
+  author={Tanenbaum, Andrew S and Bos, Herbert},
+  year={2014},
+  publisher={Prentice Hall Press}
+}
+
@incollection{os:reconos,
  title={Reconos: An operating system for dynamically reconfigurable hardware},
  author={L{\"u}bbers, Enno and Platzner, Marco},
@ -82,7 +89,7 @@ month={Aug},}
 doi={10.1109/FPL.2014.6927507},
 month={Sept},}

- @INPROCEEDINGS{os:riffa20, 
+ @INPROCEEDINGS{os:riffa20,
 author={Jacobsen, M. and Kastner, R.},
 booktitle={Field Programmable Logic and Applications (FPL), 2013 23rd International Conference on},
 title={RIFFA 2.0: A reusable integration framework for FPGA accelerators},
--- a/partitioning.bib
+++ b/partitioning.bib
@ -0,0 +1,61 @@
+@inproceedings{4629918,
+  author    = {Koch, Dirk and Beckhoff, Christian and Teich, Jurgen},
+  booktitle = {2008 International Conference on Field Programmable Logic and Applications},
+  title     = {ReCoBus-Builder — A novel tool and technique to build statically and dynamically reconfigurable systems for FPGAS},
+  year      = {2008},
+  volume    = {},
+  number    = {},
+  pages     = {119-124},
+  doi       = {10.1109/FPL.2008.4629918}
+}
+
+@inproceedings{4536540,
+  author    = {Angermeier, Josef and Teich, Jurgen},
+  booktitle = {2008 IEEE International Symposium on Parallel and Distributed Processing},
+  title     = {Heuristics for scheduling reconfigurable devices with consideration of reconfiguration overheads},
+  year      = {2008},
+  volume    = {},
+  number    = {},
+  pages     = {1-8},
+  doi       = {10.1109/IPDPS.2008.4536540}
+}
+
+@inproceedings{5694253,
+  author    = {Oetken, Andreas and Wildermann, Stefan and Teich, Jurgen and Koch, Dirk},
+  booktitle = {2010 International Conference on Field Programmable Logic and Applications},
+  title     = {A Bus-Based SoC Architecture for Flexible Module Placement on Reconfigurable FPGAs},
+  year      = {2010},
+  volume    = {},
+  number    = {},
+  pages     = {234-239},
+  doi       = {10.1109/FPL.2010.54}
+}
+
+@inproceedings{1420921,
+  author    = {Wigley, G. and Kearney, D.},
+  booktitle = {The 9th Annual IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM'01)},
+  title     = {The Development of an Operating System for Reconfigurable Computing},
+  year      = {2001},
+  volume    = {},
+  number    = {},
+  pages     = {249-250},
+  doi       = {}
+}
+
+@techreport{compton2000configuration,
+  title       = {Configuration relocation and defragmentation for FPGAs},
+  author      = {Compton, Katherine and Cooley, James and Knol, Stephen and Hauck, Scott},
+  year        = {2000},
+  institution = {Northwestern University Technical Report, Available online at http://www~…}
+}
+
+@inproceedings{4731777,
+  author    = {Redaelli, F. and Santambrogio, M.D. and Memik, S. Ogrenci},
+  booktitle = {2008 International Conference on Reconfigurable Computing and FPGAs},
+  title     = {An ILP Formulation for the Task Graph Scheduling Problem Tailored to Bi-dimensional Reconfigurable Architectures},
+  year      = {2008},
+  volume    = {},
+  number    = {},
+  pages     = {97-102},
+  doi       = {10.1109/ReConFig.2008.42}
+}
--- a/publications_dmeyer.bib
+++ b/publications_dmeyer.bib
@ -121,6 +121,7 @@ author={Haase, Jan and Meyer, Dominik and Eckert, Marcel and Klauer, Bernd},
 booktitle={Industrial Technology (ICIT), 2016 IEEE International Conference on},
 title={Wireless sensor/actuator device configuration by NFC},
 year={2016},
+note={ACCEPTED},
 month={3},}

@misc{Meyer4,
@ -148,68 +149,79 @@ month={6},
  month = {July},
 }

-@inproceedings{Meyer2019,
-	title = "HDL FSM Code Generation Using a MIPS-based Assembler",
-	year = "2019",
-	booktitle = "2019 IEEE 28th International Symposium on Industrial Electronics (ISIE)",
-	pages = "1351--1356",
-	author = "Meyer, Dominik and Eckert, Marcel and Klauer, Bernd and Haase, Jan",
-	publisher = "IEEE",
-	keywords = "pub2"
+@INPROCEEDINGS{Meyer7,
+author={Meyer, Dominik and Haase, Jan and Eckert, Marcel and Klauer, Bernd},
+booktitle={International Conference on FPGA Reconfiguration for General-Purpose Computing 2016},
+title={Generic Operating-System Support for FPGAs},
+year={2016},
+month={5},
+address={Hamburg, Germany},
+url={http://ieeexplore.ieee.org/document/7518527/}
 }

-@inproceedings{meyer2017new,
-  title={New attack vectors for building automation and IoT},
-  keywords = {pub}, author={Meyer, Dominik and Haase, Jan and Eckert, Marcel and Klauer, Bernd},
-  booktitle={IECON 2017-43rd Annual Conference of the IEEE Industrial Electronics Society},
-  pages={8126--8131},
-  year={2017},
-  organization={IEEE}
+@INPROCEEDINGS{Meyer8,
+author={Haase, Jan and Meyer, Dominik and Eckert, Marcel},
+booktitle={Conference: Erste transdisziplinaere Konferenz zum Thema "Technische Unterstuetzungssysteme, die die Menschen wirklich wollen"},
+title={Towards Smart Building Automation for Private Homes},
+year={2014},
+url = {http://tiweb.hsu-hh.de/download/Publications/Paper_transdisc-HH-2014.pdf},
+month={12}}
+
+@INPROCEEDINGS{Meyer9,
+author={Eckert, Marcel and Haase, Jan and Meyer, Dominik and Klauer, Bernd},
+booktitle={International Conference on FPGA Reconfiguration for General-Purpose Computing 2016},
+title={Architectural Requirements for Constructing Hardware Supported Sandboxes},
+year={2016},
+address={Hamburg, Germany},
+month={5}}
+
+@INPROCEEDINGS{Meyer10,
+author={Meyer, Dominik and Haase, Jan and Eckert, Marcel and Klauer, Bernd},
+booktitle={Proceedings of the 42st Annual Conference of the IEEE Industrial Electronics Society},
+title={CloudSynth - outsourcing hardware synthesis into the cloud},
+year={2016},
+month={10},
+address = "Florence, Italy",
+publisher = "IEEE"
 }

-@inproceedings{meyer2021,
-  title={A Modern Approach to Application Specific Processors for Improving the Security of Embedded Devices},
-  keywords = {pub}, author={Meyer, Dominik and Haase, Jan and Eckert, Marcel and Klauer, Bernd},
-  booktitle={IECON 2021-47rd Annual Conference of the IEEE Industrial Electronics Society},
-  year={2021},
-  organization={IEEE},
-  note={accepted, not yet published}
-}
+@INPROCEEDINGS{Meyer11,
+author={Meyer, Dominik and Haase, Jan and Eckert, Marcel and Klauer, Bernd},
+booktitle={2016 Forum on Specification and Design Languages (FDL)},
+title={Digital Hardware Synthesis as a Cloud Service},
+year={2016},
+address={Bremen, Germany},
+month={Sept},}

-@inproceedings{klauer2017wireless,
-  title={Wireless sensor/actuator device configuration by NFC with secure key exchange},
-  keywords = {pub}, author={Klauer, Bernd and Haase, Jan and Meyer, Dominik and Eckert, Marcel},
-  booktitle={2017 IEEE AFRICON},
-  pages={473--478},
-  year={2017},
-  organization={IEEE}
-}
+@INPROCEEDINGS{Meyer12,
+author={D. Meyer and J. Haase and M. Eckert and B. Klauer},
+booktitle={IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society},
+title={New attack vectors for building automation and IoT},
+year={2017},
+volume={},
+number={},
+pages={8126-8131},
+keywords={Building automation;Cloud computing;Encryption;Sensors},
+doi={10.1109/IECON.2017.8217426},
+ISSN={},
+month={Oct},}

-@inproceedings{Eckert16,
-  author    = {M. Eckert and J. Haase and D. Meyer and B. Klauer},
-  title     = {Architectural requirements for constructing hardware supported sandboxes},
-  booktitle = {2016 International Conference on FPGA Reconfiguration for General-Purpose Computing (FPGA4GPC)},
-  year      = {2016},
-  keywords = {pub},
-  doi       = {10.1109/FPGA4GPC.2016.7518532},
-  keywords  = {computer architecture;field programmable gate arrays;invasive software;virtual machines;virtualisation;FPGA;Xilinx Evaluation boards;architectural requirements;computer architecture;hardware supported sandboxes;hardware supported virtualization facility;malicious stealth software;malware;system virtualization;virtual machine;Field programmable gate arrays;Hardware;Memory management;Operating systems;Virtual machining;Virtualization}
-}
+@INPROCEEDINGS{Meyer13,
+author={B. Klauer and J. Haase and D. Meyer and M. Eckert},
+booktitle={2017 IEEE AFRICON},
+title={Wireless sensor/actuator device configuration by NFC with secure key exchange},
+year={2017},
+volume={},
+number={},
+pages={473-478},
+keywords={near-field communication;private key cryptography;protocols;public key cryptography;wireless sensor networks;NFC;Near Field Communication;air conditioners;air pressure;alarms;cables;control units;device configuration;door openers;humidity;initial secret keys;lamps;logical network;modern building automation systems;network technology;power lines;public key exchange mechanism;publically readable protocol;replaced devices;secure communication methods;secure key exchange;secure public key exchange method;security critical environments;special wired initialization equipment;switches;unique ID;window openers;wireless actuator device;wireless sensor device;wireless technologies;Actuators;Building automation;Cryptography;Temperature sensors;Building automation;Communication system security;Cryptography;Secure key exchange;Wireless communication},
+doi={10.1109/AFRCON.2017.8095528},
+ISSN={},
+month={Sept},}

-@inproceedings{Eckert2016a,
-  author    = {Marcel Eckert and Jan Haase and Dominik Meyer and Bernd Klauer},
-  title     = {System Virtual Machines in the Context of Reconfigurable Computing},
-  booktitle = {Proc. of The Fifth Intl. Conf. On Advances In Computing, Control And Networking - ACCN 2016},
-  year      = {2016},
-  keywords = {pub}
+@Article{Eckert2016,
+  author  = {Eckert, Marcel and Meyer, Dominik and Haase, Jan and Klauer, Bernd},
+  title   = {Operating System Concepts for Reconfigurable Computing: Review and Survey},
+  journal = {International Journal of Reconfigurable Computing},
+  year    = {2016},
 }
-
-@inproceedings{eckert2017,
-  author    = {Eckert, Marcel and Meyer, Dominik and Klauer, Bernd and Haase, Jan},
-  booktitle = {2017 International Conference on FPGA Reconfiguration for General-Purpose Computing (FPGA4GPC)},
-  title     = {Comparison and evaluation of cache parameters for softcores on FPGAs},
-  year      = {2017},
-  volume    = {},
-  number    = {},
-  pages     = {19-24},
-  doi       = {10.1109/FPGA4GPC.2017.8008961}
-}