Jürgen Kaiser
Jürgen Kaiser
Dirección de correo verificada de uni-mainz.de
Título
Citado por
Citado por
Año
A study on data deduplication in HPC storage systems
D Meister, J Kaiser, A Brinkmann, T Cortes, M Kuhn, J Kunkel
SC'12: Proceedings of the International Conference on High Performance …, 2012
992012
Design of an exact data deduplication cluster
J Kaiser, D Meister, A Brinkmann, S Effert
012 IEEE 28th Symposium on Mass Storage Systems and Technologies (MSST), 1-12, 2012
382012
Block locality caching for data deduplication
D Meister, J Kaiser, A Brinkmann
Proceedings of the 6th International Systems and Storage Conference, 1-12, 2013
332013
Virtualized HPC: a contradiction in terms?
G Birkenheuer, A Brinkmann, J Kaiser, A Keller, M Keller, C Kleineweber, ...
Software: Practice and Experience 42 (4), 485-500, 2012
212012
Turn lost production into profit-discrete event simulation applied on resetting performance in manufacturing systems
B Johansson, J Kaiser
Proceedings of the Winter Simulation Conference 2, 1065-1072, 2002
162002
Autosubst 2: reasoning with multi-sorted de Bruijn terms and vector substitutions
K Stark, S Schäfer, J Kaiser
Proceedings of the 8th ACM SIGPLAN International Conference on Certified …, 2019
142019
A configurable rule based classful token bucket filter network request scheduler for the lustre file system
Y Qian, X Li, S Ihara, L Zeng, J Kaiser, T Süß, A Brinkmann
Proceedings of the International Conference for High Performance Computing …, 2017
142017
Extending SSD lifetime in database applications with page overwrites
J Kaiser, F Margaglia, A Brinkmann
Proceedings of the 6th International Systems and Storage Conference, 1-12, 2013
132013
Reformulierungsindikatoren im gesprochenen Deutsch: Die Benutzung der Ressourcen DGD und FOLK für gesprächsanalytische Zwecke
J Kaiser
112016
Binder aware recursion over well-scoped de Bruijn syntax
J Kaiser, S Schäfer, K Stark
Proceedings of the 7th ACM SIGPLAN International Conference on Certified …, 2018
102018
Distributed management and representation of data and context in robotic applications
A Dietrich, S Zug, S Mohammad, J Kaiser
2014 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2014
102014
Corrosive pyloric stenosis.
R Gradman, ST Gerber, J Kaiser
The Illinois medical journal 100 (3), 188, 1951
101951
Relating system F and Lambda2: A case study in Coq, Abella and Beluga
J Kaiser, B Pientka, G Smolka
2nd International Conference on Formal Structures for Computation and …, 2017
92017
Deduplication potential of HPC applications’ checkpoints
J Kaiser, R Gad, T Süß, F Padua, L Nagel, A Brinkmann
2016 IEEE International Conference on Cluster Computing (CLUSTER), 413-422, 2016
92016
Autosubst 2: Towards reasoning with multi-sorted de Bruijn terms and vector substitutions
J Kaiser, S Schäfer, K Stark
Proceedings of the Workshop on Logical Frameworks and Meta-Languages: Theory …, 2017
72017
Equivalence of system F and λ2 in Coq based on context morphism lemmas
J Kaiser, T Tebbi, G Smolka
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and …, 2017
72017
Deriving and comparing deduplication techniques using a model-based classification
J Kaiser, A Brinkmann, T Süß, D Meister
Proceedings of the Tenth European Conference on Computer Systems, 1-13, 2015
72015
Sorted deduplication: How to process thousands of backup streams
J Kaiser, T Süß, L Nagel, A Brinkmann
2016 32nd Symposium on Mass Storage Systems and Technologies (MSST), 1-14, 2016
62016
ESB: Ext2 Split Block Device
J Kaiser, D Meister, T Hartung, A Brinkmann
Parallel and Distributed Systems (ICPADS), 2012 IEEE 18th International …, 2012
62012
Absolute Verwendungen von Modalverben im gesprochenen Deutsch. Eine interaktionslinguistische Untersuchung
J Kaiser
52017
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20