Publikationen der DHBW Karlsruhe
1997
-
(1997): An Optimized Interval Slope Arithmetic and its Application. Karlsruhe: Universität Karlsruhe (TH) (Berichte aus dem Forschungsschwerpunkt Computerarithmetik, Intervallrechnung und Numerische Algorithmen mit Ergebnisverifikation)
-
(1997) : New Results on Gap-Treating Techniques in Extended Interval Newton Gauss-Seidel Steps for Global Optimization In: Bomze, Immanuel M.; Csendes, Tibor; Horst, Reiner; Pardalos, Panos M. (Hg.): Developments in Global Optimization: Dordrecht, Netherlands: Kluwer Academic Publishers, S. 55-72
1996
-
(1996) : Language identification with inaccurate string matching PA, USA, October 3-6, 1996 In: Speech Research Lab: International Conference on Spoken Language Processing, 4: The Fourth International Conference on Spoken Language Processing: Philadelphia, PA, USA: October 3-6,: ISCA (ICSLP). Online verfügbar unter http://www.isca-speech.org/archive/icslp_1996/i96_1796.html
-
(1996): Improved Techniques for Gap-Treating and Box-Splitting in Interval Newton GaussSeidel Steps for Global Optimization with Validation. In: ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik (76, S1), S. 323-326
-
(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
-
(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
1995
-
(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
-
(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
-
(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
-
(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
-
(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