Informatikwissenschaften
FB IV - Wirtschafts- und Sozialwissenschaften, Mathematik, Informatikwissenschaften / Universität Trier
- 0651/
- 0651/
Rödler, Richard
A phase space model for spatial BMAPsTrier: Univ., Mathematik/Informatik 1998 8 S. (Trierer Forschungsberichte ; Nr. 98,15)
Meinel, Christoph; Slobodová, Anna
Accelerating OBDD-minimization by means of structural and semantical propertiesTrier: Univ., Mathematik/Informatik 1998 22 S. (Trierer Forschungsberichte ; Nr. 98-25)
Hudlov, S.; Engel, T.; Meinel, C.
Adaptive Compression of DICOM- Image DataProc. Int. Symposium of Electronic Image Capture and Publishing. 1998 S. 260 - 266
Hudlov, S.; Schröter, C.; Meinel, C.
Adaptive Compression of Image DataProc. SYBEN ´98 Broadband Networks. 1998 S. 520 - 527
Meinel, Christoph; Theobald, Thorsten
Algorithmen und Datenstrukturen im VLSI-Design : OBDD - Grundlagen und AnwendungenBerlin [u.a.]: Springer 1998 0 S.
Meinel, Christoph; Theobald, Thorsten
Algorithms and data structures in VLSI design : OBDD-foundations and applicationsBerlin [u.a.]: Springer 1998 0 S.
Keßler, Christoph W.; Keßler, C. W.
Applicability of Automatic Program Comprehension to Sparse Matrix ComputationsProc. of CPC'98 7th Int. Workshop on Compilers for Parallel Computers, Linköping (Sweden). 1998 S. 218 - 230
Meinel, Christoph; Schwettmann, Klaus; Slobodová, Anna
Application driven variable reordering and an example implementation in reachability analysisTrier: Univ., Mathematik/Informatik 1998 3 S. (Trierer Forschungsberichte ; 98-24)
Baum, D.
Approximate Analysis of Non-Cyclic Multi-Queue Systems with Batch Markovian Arrival StreamsProceedings of the 8th International Colloquium on Differential Equations, Plovdiv, Bulgaria, 1997. Utrecht (Netherlands): Printed by VSP 1998
Cabodi, Gianpiero; Meinel, Christoph
Binary decision diagrams and the multiple variable order problemTrier: Univ., Mathematik/Informatik 1998 9 S. (Trierer Forschungsberichte ; 98-22)