Universität Paderborn - Die Universität der Informationsgesellschaft

Alle Veröffentlichungen

Typ der Publikation



Jahr



Autor





Dennis Klassen: ViCE-UPSLA: A Visual High Level Language for Accurate Simulation of Interlocked Pipelined Processors. In Proceedings of ATPS Workshop on SE13 Software Engineering, vol. 215, pp. 59-74. 2013
[Show BibTeX]
Jan Wolter: Visual Representation of 3D Language Constructs Specified by Generic Depictions. In The Computing Research Repository (CoRR), vol. abs/1311.5126. jun 2013
[Show BibTeX] [Full Text]
Jan Wolter: Specifying Generic Depictions of Language Constructs for 3D Visual Languages. In Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), pp. 139-142. sep 2013
[Show BibTeX] [Full Text]
Jan Wolter: DEViL3D - A Generator Framework for Three-Dimensional Visual Languages. In Proceedings of the International Workshop on Visual Languages and Computing (VLC) in conjunction with the 18th International Conference on Distributed Multimedia Systems (DMS), pp. 171-176. 2012
[Show BibTeX] [Full Text]
Ralf Dreesen: ViDL: A Versatile ISA Description Language. In In 19th Annual IEEE International Conference and Workshops on the Engineering of Computer Based Systems (ECBS-19). 2012
[Show BibTeX]
Ralf Dreesen: Generating Interlocked Instruction Pipelines from Specifications of Instruction Sets. In In Proceedings of International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS). 2012
[Show BibTeX]
Ralf Dreesen, Michael Thies, Uwe Kastens: Type Analysis on Bitstring Expressions. In Proceedings of the 9th Workshop on Optimizations for DSP and Embedded Systems (ODES-9). April 2011
[Show BibTeX]
Jan Wolter, Bastian Cramer, Uwe Kastens: Animation of Tile-Based Games Automatically Derived from Simulation Specifications (extended Paper). In Computer Science and Information Systems, vol. 8, no. 2, pp. 501-516. 2011
[Show BibTeX] [Full Text]
Jan Wolter, Bastian Cramer, Uwe Kastens: Towards Three-Dimensional Visual Languages. In Raul Barbosa and Luis Caires (eds.): Proceedings of INForum 2011, Session CoRTA: 5th Compilers, Programming Languages, Related Technologies and Applications, pp. 282-287. Department of Computer Science, University of Coimbra, 2011 . ISBN: 978-989-96001-5-7.
[Show BibTeX]
Ralf Dreesen: Generating Processors from Specifications of Instruction Sets. Tech. Rep.. Fakultät für Informatik, University of Paderborn 2011
[Show BibTeX]
Bastian Cramer: Generierung von Simulation und Animation für graphische Struktureditoren. PhD thesis, , 2010
[Show BibTeX] [Full Text]
Uwe Kastens: Deutscher Qualifikationsrahmen: Erprobung und Kritik. In it-Information Technology, vol. 51, no. 3, pp. 173-176. Oldenbourg Wissenschaftsverlag, 2010
[Show Abstract] [Show BibTeX] [Full Text]
Uwe Kastens: Deutscher Qualifikationsrahmen: Erprobung und Kritik. In it-Information Technology, vol. 51, no. 3, pp. 173-176. Oldenbourg Wissenschaftsverlag, 2010 . Homepage: it-Information Technology.
[Show BibTeX]
Ralf Dreesen, Thorsten Jungeblut, Michael Thies, Uwe Kastens: Dependence Analysis of VLIW Code for Non-Interlocked Pipelines. In Proceedings of the 8th Workshop on Optimizations for DSP and Embedded Systems (ODES-8). 2010
[Show BibTeX]
Jan Wolter, Bastian Cramer, Uwe Kastens: Animation of Tile-Based Games Automatically Derived from Simulation Specifications. In Luis S. Barbosa und Miguel P. Correia (eds.): Proceedings of INForum 2010, Session CoRTA: 4th Compilers, Programming Languages, Related Technologies and Applications, pp. 113-124. University Minho, Braga, September 2010 . ISBN: 978-989-96863-0-4.
[Show BibTeX]
Dennis Klassen: Entwicklung einer visuellen domänenspezifischen Sprache. VDM Verlag Dr. Müller, 2010
[Show BibTeX]
Stephanie Drzevitzky, Uwe Kastens, Marco Platzner: Proof-Carrying Hardware: Concepts and Prototype Tool Flow for Online Verification. In International Journal of Reconfigurable Computing, vol. 2010, pp. 11. 2010 . Article ID 180242.
[Show BibTeX] [DOI]
Nuno Oliveira, Maria Joao Varanda Pereira, Pedro Rangel Henriques, Daniela da Cruz, Bastian Cramer: VisualLISA: A Domain Specific Visual Language for Attribute Grammars. In CoRTA 2009: Proceedings of the 3rd Compilers, Programming Languages, Related Technologies and Applications (Lisbon, Portugal). 2009
[Show BibTeX]
Rebekka Neumann, Michael Thies, Uwe Kastens: Incremental, two-level deadlock analysis for incomplete Java Card 3.0 programs. In Third International Conference on Tests And Proofs (TAP), ETH Technical Report, no. 630. 2009
[Show BibTeX]
Bastian Cramer, Uwe Kastens: Animation automatically generated from simulation specifications. In Proceedings of VL/HCC'09. IEEE Computer Society, 2009
[Show BibTeX]
Ralf Dreesen, Thorsten Jungeblut, Michael Thies, Mario Porrmann, Uwe Kastens, Ulrich Rückert: A Synchronization Method for Register Traces of Pipelined Processors. In Analysis, Architectures and Modelling of Embedded Systems, IFIP Advances in Information and Communication Technology, vol. 310, pp. 207-217. Springer Boston, 2009
[Show BibTeX] [Full Text]
Uwe Kastens, William M. Waite: Reusable specification modules for type analysis. In Software: Practice and Experience, vol. 39, no. 9, pp. 833-864. John Wiley \& Sons, Ltd., 2009
[Show BibTeX] [Full Text]
Stephanie Drzevitzky, Uwe Kastens, Marco Platzner: Proof-carrying Hardware: Towards Runtime Verification of Reconfigurable Modules. In Proceedings of the International Conference on ReConFigurable Computing and FPGAs (Los Alamitos, CA, USA), pp. 189-194. IEEE Computer Society, December 2009
[Show BibTeX] [DOI]
Bastian Cramer, Dennis Klassen, Uwe Kastens: Entwicklung und Evaluierung einer Domänenspezifischen Sprache für SPS-Schrittketten. In Proceedings of the Workshop on Domain-Specific Modeling Languages, pp. 59-73. 2008
[Show BibTeX] [Full Text]
Karsten Klohs: A Summary Function Model for the Validation of Interprocedural Analysis Results. In Proceedings of the 7th International Workshop on Compiler Optimization meets Compiler Verification, COCV'08. 2008
[Show BibTeX]
Lars Schnake, Carsten Rust, Rebekka Neumann: SIM card based Security and Trust Management in Mobile Services. In Wireless World Research Forum Meeting 21. 2008
[Show BibTeX]
Uwe Kastens: Modellierung - Grundlagen und formale Methoden. Hanser Verlag, 2. ed., 2008
[Show BibTeX]
Rebekka Oeters, Uwe Kastens, Carsten Rust, Lars Schnake: Benefits from realizing a location-based mobile hotel service with Java Card 3.0. Tech. Rep., no. tr-ri-08-292-1. 2008
[Show BibTeX] [Full Text]
Carsten Schmidt, Bastian Cramer, Uwe Kastens: Generating visual structure editors from high-level specifications. Tech. Rep.. Uni\-ver\-si\-tät-GH Paderborn, Fa\-ch\-be\-reich Ma\-the\-ma\-tik-In\-for\-ma\-tik 2008
[Show BibTeX]
Bastian Cramer: Ein Konzept zur Simulation und Animation visueller Sprachen. Tech. Rep.. Uni\-ver\-si\-tät-GH Paderborn, Fa\-ch\-be\-reich Ma\-the\-ma\-tik-In\-for\-ma\-tik 2008
[Show BibTeX]
Michael Hußmann, Uwe Kastens, Mario Porrmann, Madhura Purnaprajna, Ulrich Rückert, Michael Thies: Compiler-Driven Reconfiguration of Multiprocessors. In Proceedings of the Workshop on Application Specific Processors (WASP) 2007 held in conjunction with the (Embedded Systems Week), 2007 (CODES+ISSS, EMSOFT, and CASES). 2007
[Show BibTeX]
Ralf Dreesen, Michael Hußmann, Michael Thies, Uwe Kastens: Register Allocation for Processors with Dynamically Reconfigurable Register Banks. In Proceedings of the 5rd Workshop on Optimizations for DSP and Embedded Systems (ODES) held in conjunction with the 5rd IEEE/ACM International Symposium on Code Generation and Optimization (CGO 2007). 2007
[Show BibTeX] [Full Text]
D. Toelle, E. Areizaga, Christian Sauer, C. Liss, Dinh Khoi Le, T. Banniza, E. Jacob, F. Geilhardt: NGN Platforms for Networked Service Delivery. In BcN 2007, The 2nd IEEE International Workshop on Broadband Convergence Nertworks, Munich. 2007
[Show BibTeX]
Uwe Kastens, Anthony M. Sloane, William M. Waite: Generating Software from Specifications. Jones and Bartlett Publishers, 2007
[Show BibTeX]
Carsten Schmidt, Bastian Cramer, Uwe Kastens: Usability Evaluation of a System for Implementation of Visual Languages. In Symposium on Visual Languages and Human-Centric Computing (Coeur d'Alne, Idaho, USA), pp. 231-238. IEEE Computer Society Press, 2007
[Show BibTeX]
Christian Sauer, M. Gries, Jörg-Christian Niemann, Mario Porrmann, Michael Thies: Application-driven Development of Concurrent Packet Processing Platforms. In PARELEC 2006, International Conference on Parallel Computing in Electrical Engineering, Bialystok, Poland. 2006
[Show BibTeX] [Full Text]
Carsten Schmidt, Uwe Kastens, Bastian Cramer: Using DEViL for Implementation of Domain-Specific Visual Languages. In Proceedings of the 1st Workshop on Domain-Specific Program Development (Nantes, France). 2006
[Show BibTeX]
Jochen Kreimer: Adaptive Erkennung von Software-Entwurfsmngeln. In . 2005
[Show BibTeX] [Full Text]
Uwe Kastens: Modellierung - Grundlagen und formale Methoden. Hanser Verlag, 2005
[Show BibTeX]
Karsten Klohs, Uwe Kastens: Memory Requirements of Java Bytecode Verification on Limited Devices. In Electronic Notes in Theoretical Computer Science, vol. 132, no. 1, pp. 95 - 111. 2005 . Proceedings of the 3rd International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2004).
[Show BibTeX] [DOI] [Full Text]
Jochen Kreimer: Adaptive Detection of Design Flaws. In Proceedings of the Fifth Workshop on Language Descriptions, Tools, and Applications (LDTA 2005), Electronic Notes in Theoretical Computer Science, vol. 141, Issue 4 (12 December 2005, Edinburgh, UK), pp. 117-136. Elsevier Science Publishers, 2005
[Show BibTeX] [Full Text]
Stephan Winter: Generierung von dynamischen Web-Anwendungen aus visuellen Spezifikationen. In Fachwissenschaftlicher Informatikkongress - Informatiktage 2005 (Schloss Birlinghoven - Sankt Augustin). 2005
[Show BibTeX]
Michael Hußmann, Michael Thies, Uwe Kastens: Parallelizing Compilation through Load-Time Scheduling for a Superscalar Processor Family. In Proceedings of the 3rd Workshop on Optimizations for DSP and Embedded Systems (ODES) held in conjunction with the 3rd IEEE/ACM International Symposium on Code Generation and Optimization (CGO 2005). 2005
[Show BibTeX]
Michael Hußmann, Michael Thies, Uwe Kastens: Parallelizing Compilation through Load-Time Scheduling for a Superscalar Processor Family. Tech. Rep., no. tr-ri-05-255. University of Paderborn 2005
[Show BibTeX]
Jochen Kreimer: Adaptive Erkennung von Software-Entwurfsmngeln. In Informatik -- Forschung und Entwicklung, Springer-Verlag, vol. 19, no. 3, pp. 151-161. Springer-Verlag, 2005
[Show BibTeX] [Full Text]
Karsten Klohs, Uwe Kastens: Memory Requirements of Java Bytecode Verification on Limited Devices. In Proceedings of the 3rd International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2004), Electronic Notes in Theoretical Computer Science (ENCTS), vol. 132, pp. 95-111. Elsevier, 2005
[Show BibTeX]
Jochen Kreimer: Anwendung maschinellen Lernens zur benutzeradaptiven Erkennung von Entwurfsmängeln in objekt-orientierter Software. In Lernen -- Wissensentdeckung -- Adaptivitt (LWA 2004) (Berlin), pp. 180-186. 2004
[Show BibTeX] [Full Text]
Jochen Kreimer: Adaptive Erkennung von Entwurfsmängeln in objekt-orientierter Software. In Softwaretechnik-Trends, vol. 24, no. 2, pp. 57-58. 2004
[Show BibTeX] [Full Text]
Peter Bleckmann, Gunnar Schomaker, Adrian Slowik: Virtualization with Prefetching Abilities based on iSCSI. In Proceedings of the International Workshop on Storage Network Architecture and Parallel I/Os (SNAPI 2004) (Nice, France). 2004
[Show BibTeX]
Peter Pfahler, Jürgen Günther: Cate: A System for Analysis and Test of Java Card Applications. In Proceedings of the First International Workshop on Software Quality (SOQUA 2004), Lecture Notes in Informatics (LNI), Volume P-58. 2004
[Show BibTeX]
Gunnar Hagen, Jörg-Christian Niemann, Mario Porrmann, Christian Sauer, Adrian Slowik, Michael Thies: Developing an IP-DSLAM Benchmark for Network Processor Units. In ANCHOR 2004, Advanced Networking and Communications Hardware Workshop, held in conjunction with the 31st Annual International Symposium on Computer Architecture (ISCA 2004), Munich - Germany. 19~-~23~ # jun 2004
[Show BibTeX]
Matthias Grünewald, Uwe Kastens, Dinh Khoi Le, Jörg-Christian Niemann, Mario Porrmann, Ulrich Rückert, Michael Thies, Adrian Slowik: Network Application Driven Instruction Set Extensions for Embedded Processing Clusters. In PARELEC 2004, International Conference on Parallel Computing in Electrical Engineering, Dresden, Germany. 2004
[Show BibTeX]
Uwe Kastens, Dinh Khoi Le, Adrian Slowik, Michael Thies: Feedback Driven Instruction-Set Extension. In Proceedings of ACM SIGPLAN/SIGBED 2004 Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'04) (Washington, D.C., USA). 2004
[Show BibTeX]
Carsten Schmidt, Uwe Kastens: Implementation of visual languages using pattern-based specifications. In Software - Practice and Experience, vol. 33, pp. 1471-1505. John Wiley & Son, Ltd., 2003
[Show BibTeX]
Sebastian Hagenkötter: Generierung textueller Struktureditoren. In Fachwissenschaftlicher Informatikkongress - Informatiktage 2002 (Bad Schussenried). 2003
[Show BibTeX]
Eike Schwindt: Ein graphischer Editor für Generische Zeichnungen. In Fachwissenschaftlicher Informatikkongress - Informatiktage 2002 (Bad Schussenried). 2003
[Show BibTeX]
D. Fischer, J. Teich, R. Weper, Michael Thies: BUILDABONG: A Framework for Architecture/Compiler Co-Exploration for ASIPs. In Journal of Circuits, Systems, and Computers, vol. 12, no. 3, pp. 353-375. 2003
[Show BibTeX]
O. Bornorden, N. Brühls, Uwe Kastens, Dinh Khoi Le, Friedhelm Meyer auf der Heide, Mario Porrmann, Ulrich Rückert, Adrian Slowik, Michael Thies: A holistic methodology for network processor design. In Proceedings of Workshop on High-Speed Local Networks (HSLN) at Local Computer Networks (LCN2003) (Bonn, Germany). 2003
[Show BibTeX] [Full Text]
Carsten Schmidt, Peter Pfahler, Uwe Kastens: SIMtelligence Designer/J: A Visual Language to Specify SIM Toolkit Applications. In Proceedings of Second Workshop on Domain Specific Visual Languages (OOPSLA 2002) (Seattle, WA, USA 2002). 2002
[Show BibTeX]
Karsten Klohs, Dinh Khoi Le, Uwe Kastens: Automatic Distribution of Multithreaded Java Programs using Distribution Plans. Tech. Rep., no. tr-ri-02-234. 2002
[Show BibTeX] [Full Text]
D. Fischer, J. Teich, Michael Thies, R. Weper: Efficient Architecture/Compiler Co-Exploration for ASIPs. In Proceedings of ACM SIG International Conference on Compilers, Architectures and Synthesis for Embedded Systems (CASES 2002) (Grenoble, France 2002). 2002
[Show BibTeX]
Uwe Kastens, Carsten Schmidt: VL-Eli: A Generator for Visual Languages. In Proceedings of Second Workshop on Language Descriptions, Tools and Applications (LDTA'02), Electronic Notes in Theoretical Computer Science, no. 2027 (Grenoble, France). Band 65, Elsevier Science Publishers, 2002
[Show BibTeX]
Uwe Kastens: Reuse Methods in a Domain Specific Software Environment. Tech. Rep., no. tr-ri-02-232. 2002
[Show BibTeX]
Carsten Schmidt, Uwe Kastens: Implementation of Visual Languages using Pattern-based Specifications. Tech. Rep., no. tr-ri-02-233. 2002
[Show BibTeX]
Michael Thies: Annotating Java Libraries in Support of Whole-Program Optimization. In Proceedings of Workshop on Intermediate Representation Engineering for the Java Virtual Machine (IRE-2002) (Dublin, Ireland). 2002
[Show BibTeX]
D. Fischer, Uwe Kastens, J. Teich, Michael Thies, R. Weper: Design Space Characterization for Architecture/Compiler Co-Exploration. In Proceedings of ACM SIG International Conference on Compilers, Architectures and Synthesis for Embedded Systems (CASES 2001) (Georgia, Atlanta, USA), pp. 108-115. 2001
[Show BibTeX]
Matthias Jung, Uwe Kastens, Christian Schindler, Carsten Schmidt: Visual Patterns in the VL-Eli System. In Reinhard Wilhelm (eds.): 10th International Conference on Compiler Construction CC'2001, Lecture Notes in Computer Science, no. 2027, pp. 361-364. Springer Verlag, 2001
[Show BibTeX]
Peter Pfahler, Uwe Kastens: Configuring component-based specifications for domain-specific languages. In Proceedings of the 34th Annual Hawaii International Conference on System Sciences. IEEE Computer Society Press, 2001
[Show BibTeX]
Matthias Jung, Uwe Kastens, Christian Schindler, Carsten Schmidt: Visual Languages: Generating Structure-Editors from Pattern-Based Specifications. Tech. Rep., no. tr-ri-00-214. 2000
[Show BibTeX]
Felix Heine, Adrian Slowik: Volume Driven Data Distribution for NUMA Machines. In Arnd Bode and Thomas Ludwig and Wolfgang Karl and Roland Wismller (eds.): Proceedings of EURO-PAR '2000 Parallel Processing, Lecture Notes in Computer Science, no. 1900, pp. 415-424. Springer Verlag, 2000
[Show BibTeX]
Matthias Jung, Uwe Kastens, Christian Schindler, Carsten Schmidt: A Pattern-Based Generator for Implementation of Visual Languages. In Proceedings of IEEE 2000 International Symposium on Visual Languages (Seattle, Washington), pp. 71-72. IEEE Computer Society Press, 2000
[Show BibTeX]
Dinh Khoi Le, Michael Thies, Peter Pfahler: Referenzziel-Analyse fr Java-Bibliotheken. In Net.ObjectDays 2000, Tagungsband S.135-145, C/o tranSIT GmbH Verlag. 2000
[Show BibTeX]
Felix Heine, Adrian Slowik: Volume Driven Data Distribution for NUMA Machines. Tech. Rep., no. tr-rsfb-00-069. 2000
[Show BibTeX]
Michael Thies: Static compositional analysis of libraries in support of dynamic optimization. Tech. Rep., no. tr-ri-99-210. 1999
[Show BibTeX]
Michael Thies: A Closer Look at Inter-library Dependencies in Java-software. In JIT'99 Java Informations-Tage 1999, Informatik Aktuell. Springer Verlag, 1999
[Show BibTeX]
Wilfried Hauenschild, Uwe Kastens, Wilhelm Schäfer, Gerd Szwillus: Informatik in Paderborn: Ein dreistufiger Diplomstudiengang mit international kompatiblen Abschlüssen. In B. Dreher and Ch. Schulz and D. Weber-Wulf (eds.): Software Engineering im Unterricht der Hochschulen SEUH'99, Berichte des German Chapter of the ACM 52, pp. 117-132. Teubner, 1999
[Show BibTeX]
Michael Thies, Uwe Kastens: Statische Analyse von Bibliotheken als Grundlage dynamischer Optimierung. In C. H. Cap (eds.): JIT'98 Java Informations-Tage 1998, Informatik Aktuell, pp. 323-339. Springer Verlag, 1998
[Show BibTeX]
Uwe Kastens: Erfahrungsbericht zur Lehrevaluation der Informatik in Paderborn. In Volker Claus (eds.): Informatik und Ausbildung, Informatik Aktuell. Springer Verlag, 1998
[Show BibTeX]
Evaluation von Studium und Lehre im Fach Informatik an der Universität Paderborn. Tech. Rep., no. tr-ri-98-192. 1998
[Show BibTeX]
Uwe Kastens, Peter Pfahler: Compositional Design and Implementation of Domain-specific Languages. In R. N. Horspool (eds.): IFIP TC2 WG 2.4 Working Conference on System Implementation 2000: Languages, Methods and Tools, pp. 152-165. Chapman \& Hall, 1998
[Show BibTeX]
Christoph Eilinghoff, Uwe Kastens: Reuse Methods for Construction of Parallel Software. In Brainslav Rovan (eds.): SOFSEM'98: Conference on Current Trends in Theory and Practice of Informatics, Lecture Notes in Computer Science, no. 1521, pp. 54-67. Springer Verlag, 1998
[Show BibTeX]
Uwe Kastens, Peter Pfahler, Matthias Jung: The Eli System. In Kai Koskimies (eds.): Proceedings of 7th International Conference on Compiler Construction CC'98, Lecture Notes in Computer Science, no. 1383, pp. 294-297. Springer Verlag, 1998
[Show BibTeX]
Esther Stümpel, Michael Thies, Uwe Kastens: VLIW Compilation Techniques for Superscalar Architectures. In Kai Koskimies (eds.): Proceedings of 7th International Conference on Compiler Construction CC'98, Lecture Notes in Computer Science, no. 1383. Springer Verlag, 1998
[Show BibTeX]
Peter Pfahler, Uwe Kastens: Language Design and Implementation by Selection. In Proc. 1st ACM-SIGPLAN Workshop on Domain-Specific-Languages, DSL '97, Paris, France, January 18, 1997, pp. 97-108. Technical Report, University of Illinois at Urbana-Champaign, 1997
[Show BibTeX]
Christoph Eilinghoff: Systematischer Einsatz von Software-Wiederverwendung bei der Entwicklung paralleler Programme. Tech. Rep.. Uni\-ver\-si\-tät-GH Paderborn, Fa\-ch\-be\-reich Ma\-the\-ma\-tik-In\-for\-ma\-tik 1997
[Show BibTeX]
Friedrich Wichmann: A Model for Systolic Parallelization of Multiple Loop Programs. Tech. Rep., no. tr-rsfb-96-029. Universität Paderborn Fachbereich Mathematik Informatik 1996
[Show BibTeX] [Full Text]
Friedrich Wichmann: Abstract: Systolic Parallelization of Programs with Multiple Loops. In Christian Lengauer and Lothar Thiele and Michael Wolfe and Hans Zima (eds.): Loop Parallelization, Dagstuhl Seminar Report, no. 142 (9616). IBFI Schlo\ss Dagstuhl / Universität des Saarlandes, 15. - 19. April 1996
[Show BibTeX] [Full Text]
Peter Pfahler, Georg Piepenbrock: A Comparison of Modulo Scheduling Techniques for Software Pipelining. In Proc. 6th International Conference on Compiler Construction, CC' 96, vol. 1060, pp. 18-32. Lecture Notes in Computer Science, Springer-Verlag, 1996
[Show BibTeX] [Full Text]
Peter Pfahler: Compiler Construction. In Encyclopedia of Computer Science and Technology, vol. 32, pp. 1-48. 1995
[Show BibTeX]
Alf Wachsmann, Friedrich Wichmann: Occam-light: A Multiparadigm Programming Language for Transputer Networks. In Peter A. Fritzson (eds.): International Workshop on Compiler Construction CC'94, Dep. of Computer and Information Science, no. LiTH-IDA-R-94-11. Linköping University, 1994
[Show BibTeX]
Adrian Slowik, Georg Piepenbrock, Peter Pfahler: Compiling Nested Loops for Limited Connectivity VLIWs. In Peter A. Fritzson (eds.): Proceedings of International Workshop on Compiler Construction CC'94, Lecture Notes in Computer Science, no. 786. Springer Verlag, 1994
[Show BibTeX]
Projektgruppe ParSys, Christoph Eilinghoff, Uwe Kastens: Projektgruppe Werkzeuge zur Implementierung paralleler Programme. Tech. Rep.. 1994
[Show BibTeX]
Uwe Kastens, William M. Waite: Modularity and Reusabiltiy in Attribute Grammars. In Acta Informatica, vol. 31, pp. 601-627. 1994
[Show BibTeX]
Uwe Kastens: Generating interpreters from compiler specifications. Tech. Rep., no. tr-ri-94-151. 1994
[Show BibTeX]
Uwe Kastens: Construction of application generators using Eli. Tech. Rep., no. tr-ri-94-143. 1994
[Show BibTeX]
Adrian Slowik: Übersetzung regulärer Algorithmen in Software-Pipelines für parallele Prozessoren. Master's thesis, , 1993
[Show BibTeX]
Friedrich Wichmann: Abstract: An Experimental Parallelizing Systolic Compiler for Regular Programs. In Christian Lengauer and Patrice Quinton and Yves Robert and Lothar Thiele (eds.): Parallelization Techniques for Uniform Algorithms, Dagstuhl Seminar Report, no. 66 (9325). Schlo\ss Dagstuhl / Universität des Saarlandes, 21. - 25. June 1993
[Show BibTeX]
Friedrich Wichmann: An Experimental Parallelizing Systolic Compiler for Regular Programs. In W. K. Giloi and S. Jähnichen and B. D. Shriver (eds.): Proceedings of Programming Models for Massively Parallel Computers (Berlin), pp. 92-99. IEEE, 1993
[Show BibTeX] [Full Text]
Alf Wachsmann, Friedrich Wichmann: Occam-light: A Multiparadigm Programming Language for Transputer Networks. Tech. Rep., no. tr-rf-93-5. 1993
[Show BibTeX]
Uwe Kastens, Friedrich Wichmann: systolic - Eine Programmiersprache und ein Übersetzer für systolische Arrays. Tech. Rep.. 1993
[Show BibTeX]
Peter Pfahler, C. Nagel, Franz-Josef Rammig, Uwe Kastens: Design of a VLIW Architecture Constructed from Standard RISC Chips: A Case Study of Hardware/Software Software Codesign. In Proceedings of Euromicro 1993, Microprocessing and Microprogramming (Amsterdam). Nordholland, 1993
[Show BibTeX]
Peter Pfahler: Karel the Robot - An Exercise in Implementing Language Processors with Eli. Tech. Rep.. Uni\-ver\-si\-tät-GH Paderborn, Fa\-ch\-be\-reich Ma\-the\-ma\-tik-In\-for\-ma\-tik 1993
[Show BibTeX]
Uwe Kastens, Friedhelm Meyer auf der Heide, Alf Wachsmann, Friedrich Wichmann: Occam-light: A Language Combining Shared Memory and Message Passing (A First Report). In Proceedings of 3. PASA Workshop Parallele Systeme und Algorithmen, PARS Mitteilungen, GI/ITG FG 3.1.2, no. 11. Gesellschaft für Informatik, 1993
[Show BibTeX]
Uwe Kastens: Executable Specifications for Language Implementation. In Fifth International Symposium on Programming Language Implementation and Logic Programming, Tallinn, August 1993, Lecture Notes in Computer Science, vol. 714, pp. 1-11. Springer Verlag, 1993
[Show BibTeX]
Friedrich Wichmann, Peter Pfahler: Compilation for fine-grained Parallelism: A code generator for the Intel i860. Tech. Rep., no. tr-ri-92-105. 1992
[Show BibTeX]
Friedrich Wichmann, Peter Pfahler: Compilation for fine-grained Parallelism: A code generator for the Intel i860 (Extended Abstract). In Uwe Kastens and Peter Pfahler (eds.): International Workshop on Compiler Construction CC'92, Reihe Informatik, no. 103, pp. 66-69. 1992
[Show BibTeX]
Peter Pfahler: A Code Generation Environment for fine-grained Parallelization. In Proceedings of 2. PASA Workshop Parallele Systeme und Algorithmen, PARS Mitteilungen, GI/ITG FG 3.1.2. Gesellschaft für Informatik, 1992
[Show BibTeX]
Uwe Kastens: LIDO - Short Reference. Tech. Rep.. 1992
[Show BibTeX]
Uwe Kastens, William M. Waite: Modularity and Reusability in Attribute Grammars. Tech. Rep., no. tr-ri-92-102. 1992
[Show BibTeX]
Uwe Kastens, Peter Pfahler:Uwe Kastens and Peter Pfahler (eds.): Compiler Construction, 4th International Conference, CC'92, Paderborn, October 1992, vol. 641. Springer Verlag, 1992
[Show BibTeX]
R.W. Gray, Vince P. Heuring, S. P. Levi, Anthony M. Sloane, William M. Waite: Eli: A Complete, Flexible Compiler Construction System. In Communications of the ACM, vol. 35, no. 2, pp. 121-131. 1992
[Show BibTeX]
Peter Pfahler: Optimizing Directly Executable LR Parsers. In D. Hammer (eds.): Workshop on Compiler Compilers, Lecture Notes in Computer Science, vol. 477 (Heidelberg), pp. 179-192. Springer Verlag, 1991
[Show BibTeX]
Uwe Kastens: Implementation of Visit-Oriented Attribute Evaluators. In Proceedings of the International Summer School on Attribute Grammars, Application and Systems, Lecture Notes in Computer Science, vol. 545, pp. 114-139. Springer Verlag, 1991
[Show BibTeX]
Uwe Kastens: An Attribute Grammar System in a Compiler Construction Environment. In Proceedings of the International Summer School on Attribute Grammars, Application and Systems, Lecture Notes in Computer Science, vol. 545, pp. 380-400. Springer Verlag, 1991
[Show BibTeX]
Uwe Kastens: Attribute Grammars as a Specification Method. In Proceedings of the International Summer School on Attribute Grammars, Application and Systems, Lecture Notes in Computer Science, vol. 545, pp. 16-47. Springer Verlag, 1991
[Show BibTeX]
Uwe Kastens, William M. Waite: An Abstract Data Type for Name Analysis. In Acta Informatica, vol. 28, pp. 539-558. 1991
[Show BibTeX]
Martin Meyer: Visit-oriented evaluators for circular attribute grammars. Tech. Rep., no. tr-ri-90-69. 1990
[Show BibTeX]
Uwe Kastens: Compilation for Instruction Parallel Processors. In 3rd International Workshop on Compiler Compilers, Lecture Notes in Computer Science, vol. 477, pp. 179-192. 1990
[Show BibTeX]
Uwe Kastens: Übersetzerbau (München). Oldenbourg Verlag, 1990
[Show BibTeX]
Christian Ewering: A New Allocation Method for the Synthesis of Partitioned Busses. In GME/GI/ITG-Fachtagung. 1990
[Show BibTeX]
Christian Ewering, Gunter Gerhardt: PASS: High Level Synthesis. In Proceedings of Euromicro 1990, Microprocessing and Microprogramming. 1990
[Show BibTeX]
Christian Ewering: Automatic High-Level Synthesis of Partitioned Busses. In IEEE Int. Conf. on Computer Aided Design, pp. 304-307. 1990
[Show BibTeX]
Christian Ewering: Automatic high level synthesis of partitioned busses. Tech. Rep., no. tr-ri-90-66. 1990
[Show BibTeX]
Uwe Kastens: LIGA: A Language Independent Generator for Attribute Evaluators. Tech. Rep., no. tr-ri-89-63. 1989
[Show BibTeX]
Uwe Kastens: Abstract Interfaces for Compiler Generating Tools. In D. Hammer (eds.): Workshop on Compiler Compiler and High Speed Compilation, Lecture Notes in Computer Science, vol. 371. Springer-Verlag, 1989
[Show BibTeX]
Vince P. Heuring, Uwe Kastens, R.G. Plummer, William M. Waite: COMAR: A Data Format for Integration of CFG Tools. In The Computer Journal, vol. 32, no. 5, pp. 445-452. 1989
[Show BibTeX]
Dashing Yeh, Uwe Kastens: Improvement of an Incremental Evaluation Algorithm for Ordered Attribute Grammars. In SIGPLAN Notices, vol. 23, no. 12, pp. 45-50. 1988
[Show BibTeX]
Dashing Yeh, Uwe Kastens: Automatic Construction of Incremental LR(1)-Parsers. In SIGPLAN Notices, vol. 23, no. 3, pp. 33-42. 1988
[Show BibTeX]
William M. Waite, Vince P. Heuring, Uwe Kastens: Configuration Control in Compiler Construction. In International Workshop on Software Version and Configuration Control '88 (Stuttgart). Teubner, 1988
[Show BibTeX]
Uwe Kastens, Franz-Josef Rammig:Uwe Kastens and Franz-Josef Rammig (eds.): Architektur und Betrieb von Rechensystemen 10. GI/ITG-Fachtagung, Paderborn, März 1988. Springer Verlag, 1988
[Show BibTeX]
Uwe Kastens: Code Generation Based on Operator Identification. Tech. Rep., no. tr-ri-88-49. 1988
[Show BibTeX]
Peter Pfahler: Automated Datapath Synthesis: A Compilation Approach. In Proceedings of Euromicro 1987, Microprocessing and Microprogramming, vol. 21 (Amsterdam). Nordholland, 1987
[Show BibTeX]
Uwe Kastens: Lifetime Analysis for Attributes. In Acta Informatica, vol. 24, no. 6, pp. 633-652. 1987
[Show BibTeX]
Uwe Kastens, Michael Schmidt: Lifetime Analysis for Procedure Parameters. In B. Robinet and R. Wilhelm (eds.): European Symp. on Programming (ESOP'86), Lecture Notes in Computer Science, vol. 213, pp. 53-69. Springer-Verlag, 1986
[Show BibTeX]
Uwe Kastens: The GAG-System - A Tool for Compiler Construction. In B. Lorho (eds.): Methods and Tools for Compiler Construction (Cambridge, UK), pp. 165-181. Cambridge University Press, 1984
[Show BibTeX]
Uwe Kastens, Brigitte Hutt, Erich Zimmermann: GAG: A Practical Compiler Generator, vol. 141 (Heidelberg). Springer Verlag, 1982
[Show BibTeX]
Uwe Kastens: Erläuterungen zur attributierten Grammatik für PEARL. In PEARL-Rundschau, vol. 2, no. 3, pp. 19-32. VDI-Verlag, (Düsseldorf) 1981
[Show BibTeX]
Uwe Kastens, Erich Zimmermann: GAG - A generator Based on Attributed Grammars (Rocquencourt). INRIA, 1981
[Show BibTeX]
Uwe Kastens, Rainer Köllner, Erich Zimmermann, P. Hruschka: Eine attributierte Grammatik für PEARL. Tech. Rep.. Fakultät für Informatik, Universität Karlsruhe 1980
[Show BibTeX]
Uwe Kastens: Eigenschaften von Programmiersprachen - definiert durch attributierte Grammatiken, vol. 25. Springer Verlag, 1980
[Show BibTeX]
Uwe Kastens: Ordered Attributed Grammars. In Acta Informatica, vol. 13, no. 3, pp. 229-256. 1980
[Show BibTeX]
Uwe Kastens: Programmiersprache PEARL. In Normentwurf DIN 66253, Teil 2. Beuth-Verlag, 1980
[Show BibTeX]
Uwe Kastens: Ein Übersetzerbau-Praktikum, vol. 12. Springer Verlag, 1978
[Show BibTeX]
Gerhard Goos, Uwe Kastens: Programming Languages and the Design of Modular Programs. In Peter Hibbard and Stephen Schuman (eds.): Constructing Quality Software (Amsterdam), pp. 153-186. North-Holland, 1977
[Show BibTeX]
Uwe Kastens: Systematische Analyse semantischer Abhängigkeiten, vol. 1. Springer Verlag, 1976
[Show BibTeX]
Uwe Kastens: Ein Übersetzer-erzeugendes System auf der Basis Attributierter Grammatiken. Tech. Rep., no. 10. Fakultät für Informatik, Universität Karlsruhe 1976
[Show BibTeX]
Uwe Kastens: ALSI - Eine höhere Programmiersprache zur Transformation von ALGOL-68-Verbunden in SIMULA-Klassen, vol. 7. Springer Verlag, 1974
[Show BibTeX]

Impressum | Datenschutzerklärung | Webmaster | Letzte Änderungen am : 16.10.2013