Publikationen der DHBW Karlsruhe

  • Erweiterte Suche öffnen

  • 1996

  • Vollmer, Jürgen; Schroeer, Friedrich-Wilhelm (1996): MOBIL(-P), intermediate compiler languages for (explicit parallel) imperative languages. Karlsruhe (Technical report. GMD Forschungsstelle an der Universität Karlsruhe). Online verfügbar unter http://www.informatik-vollmer.de/publications/mobil.pdf

     

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • Vollmer, Jürgen; Knoop, Jens; Steffen, Bernhard (1996): Parallelism for free.. Efficient and optimal bitvector analyses for parallel programs.. In: ACM Transactions on Programming Languages and System 18 (3), S. 268-299. Online verfügbar unter http://www.informatik-vollmer.de/publications/toplas.96.pdf

     

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • 1995

  • Berkling, Kay; Barnard, Etienne (1995) : Theoretical error prediction for a language identification system using optimal phoneme clustering EUROSPEECH 1995, Madrid, Spain, September 18-21, 1995 In: International Speech Communication Association: European Conference on Speech Communication and Technology, 4: Eurospeech 1995: Madrid, Spain: International Speech Communication Association (ISCA) (Eurospeech). Online verfügbar unter http://www.isca-speech.org/archive/eurospeech_1995/e95_0351.html

     

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • Csendes, Tibor; Ratz, Dietmar (1995): On the Selection of Subdivision Directions in Interval Branch-and-Bound Methods for Global Optimization. In: Journal of Global Optimization (7), S. 183-207

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • Hammer, Rolf; Hocks, Matthias; Kulisch, Ulrich; Ratz, Dietmar (1995): C++ Toolbox for Verified Computing I - Basic Numerical Problems. Heidelberg; New York: Springer-Verlag

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • Jäger, Christine; Ratz, Dietmar (1995): A Combined Method for Enclosing All Solutions of Nonlinear Systems of Polynomial Equations. In: Reliable Computing, St. Petersburg (1), S. 41-64

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • Jäger, Christine; Ratz, Dietmar (1995): Ein kombiniertes Verfahren zur Einschließung aller Lösungen eines nichtlinearen Systems von algebraischen Gleichungen. In: ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik (75), S. 52-528. DOI: 10.5445/IR/154895

    DOI: https://doi.org/10.5445/IR/154895 

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • Ratz, Dietmar (1995): Globale Optimierung mit Ergebnisverifikation. In: FZKA 5560, S. 9-35

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • Vollmer, Jürgen; Knoop, Jens; Steffen, Bernhard (1995) : Optimal code motion for parallel programs. Extended abstract In: Physikzentrum Bad Honnef: Proceedings of the 12th GI Workshop on Alternative Konzepte für Sprachen und Rechner: 12th GI Workshop on Alternative Konzepte für Sprachen und Rechner: 2-4. Mai. Technical Report University of Koblenz

     

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • Vollmer, Jürgen; Knoop, Jens; Steffen, Bernhard (1995) : Parallelism for free. Bitvector Analyses for Parallel Programs In: Tokoro, Pareschi: First International Workshop, TACAS '95: Tools and Algorithms for The Construction and Analysis of Systems: May 19-20, 1995,: Aarhus, Denmark. Online verfügbar unter http://www.informatik-vollmer.de/publications/tacas-95-paper.pdf

     

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • Vollmer, Jürgen (1995) : Data flow analysis of parallel programs In: Bic, Lubomir; Evripidou, Paraskevas; Böhm, Wim; Gaudiot, Jean-Luc (Hg.): PACT '95: Proceedings of the IFIP WG10.3 working conference on Parallel architectures and compilation techniques: PACT95: International Conference on Parallel Architectures and Compilation Techniques: Limassol, Cyprus: 27 June, 1995- 29 June, 1995. IFIP Working Group on Algol, Department of Computer Science University of Manchester: North-Holland Publishing Co., S. 168-177

     

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • Vollmer, Jürgen; Knoop, Jens; Steffen, Bernhard (1995): Optimal code motion for parallel programs. In: Technical Report MIP-9511 (September)

     

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • Vollmer, Jürgen (1995): Data flow analysis of parallel programs. Karlsruhe: Universität Karlsruhe (TH) (InternerBericht)

    DOI: https://doi.org/10.5445/IR/34695 

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • 1994

  • Berkling, Kay; Arai, Takayuki; Barnard, Etienne (1994) : Analysis of phoneme-based features for language identification Speech and Signal Processing, Adelaide, South Australia, Australia, April 19-22, 1994 In: IEEE Signal Processing Society: International Conference on Acoustics, Speech and Signal Processing 1994: Proceedings: International Conference on Acoustics, Speech and Signal Processing (ICASSP): Adelaide: IEEE Computer Society (ICASSP), S. 289-292. Online verfügbar unter http://dx.doi.org/10.1109/ICASSP.1994.389298

    DOI: http://dx.doi.org/10.1109/ICASSP.1994.389298 

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • Berkling, Kay; Barnard, Etienne (1994) : Language identification of six languages based on a common set of broad phonemes In: International Speech Communication Association: International Conference on Spoken Language Processing, 3: The 3rd International Conference on Spoken Language Processing, ICSLP: Yokohama, Japan: September 18-22, 1994: ISCA (ICSLP). Online verfügbar unter http://www.isca-speech.org/archive/icslp_1994/i94_1891.html

     

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • Daniel, Manfred (1994): Expertensysteme – Von der Technikfolgenabschätzung über die Gestaltungsforschung zur Vermarktung?. In: TA - Rundschau

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • Daniel, Manfred; Fieguth, Gert; Seidel, Gabriele; Wingert, B. (1994): Informations- und Kommunikationstechnologien – Ausgewählte Technology Assessments des OTA – Eine Auswertung von sieben OTA-Studien. Bonn

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • Ratz, Dietmar (1994): Box-Splitting Strategies for the Interval Gauss-Seidel Step in a Global Optimization Method. In: Computing (53), S. 337-353

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • Vollmer, Jürgen; Knoop, Jens; Steffen, Bernhard (1994): Parallelism for free: Efficient and Optimal Bitvector Analysis for Parallel Programs (Technical report. Universität Passau, Fakultät für Mathematik und Informatik ; MIP-9409)

     

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • Vollmer, Jürgen (1994): Dataflow equations for parallel programs that share memory (echnical report. GMD ; 1101). Online verfügbar unter http://www.informatik-vollmer.de/publications/dfepp.pdf

    DOI: http://www.informatik-vollmer.de/publications/dfepp.pdf 

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • 1993

  • Bauer, Michael; Klee, Wilfrid E. (1993): The monoclinic-hexagonal phase transition in chloraphatite. In: European Journal of Mineralogy 5 (2), S. 307-316. DOI: 10.1127/ejm/5/2/0307

    DOI: https://doi.org/10.1127/ejm/5/2/0307 

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • Bauer, Michael; Klee, Wilfrid E. (1993): Induced ferrielectricity in chlorapatite. In: Zeitschrift für Kristallographie. Crystalline materials 206 (1), S. 15-24. DOI: 10.1524/zkri.1993.206.Part-1.15

    DOI: https://doi.org/10.1524/zkri.1993.206.Part-1.15 

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • Daniel, Manfred; Striebel, Dieter (1993): Künstliche Intelligenz, Expertensysteme. Anwendungsfelder, neue Dienste, soziale Folgen. Wiesbaden: VS Verlag für Sozialwissenschaften (Sozialverträgliche Technikgestaltung). Online verfügbar unter http://dx.doi.org/10.1007/978-3-322-94197-8

    DOI: http://dx.doi.org/10.1007/978-3-322-94197-8 

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • Daniel, Manfred; Fieguth, Gert (1993): Entwicklung von Methoden zur Ermittlung der Gestaltungsanforderungen an expertensystemgestützte Arbeitssysteme. Karlsruhe

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • Daniel, Manfred; Fieguth, Gert (1993) : Computerunterstütztes Problemlösen und Verbesserung der Wissenskommunikation als humanorientierte Gestaltungsaufgaben In: Coy, Wolfgang; Gorny, Peter; Kopp, Ilona; Skarpelis, Constantin (Hg.): Menschengerechte Software als Wettbewerbsfaktor, 40: Wiesbaden: Vieweg+Teubner Verlag (Berichte des German Chapter of the ACM), S. 526-547

    DOI: https://doi.org/10.1007/978-3-663-01087-6_33 

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML