Datenquelle: DBLP - Universitätsbibliographie Suchergebnisse

51. Efficient development of consistent projectional editors using grammar cells.

Autoren:: Voelter, Markus; Szabó, Tamás; Lisson, Sascha; Kolb, Bernd; Erdweg, Sebastian; Berger, Thorsten
Editoren:: Storm, Tijs van der; Balland, Emilie; Varró, Dániel
Veröffentlichungsdatum:: 2016
Typ:: Konferenzbeitrag

52. A framework for extensible languages.

Autoren:: Erdweg, Sebastian; Rieger, Felix
Editoren:: Järvi, Jaakko; Kästner, Christian
Veröffentlichungsdatum:: 2013
Typ:: Konferenzbeitrag

53. A co-contextual formulation of type rules and its application to incremental type checking.

Autoren:: Erdweg, Sebastian; Bracevac, Oliver; Kuci, Edlira; Krebs, Matthias; Mezini, Mira
Editoren:: Aldrich, Jonathan; Eugster, Patrick
Veröffentlichungsdatum:: 2015
Typ:: Konferenzbeitrag

54. Software Evolution to Domain-Specific Languages.

Autoren:: Fehrenbach, Stefan; Erdweg, Sebastian; Ostermann, Klaus
Editoren:: Erwig, Martin; Paige, Richard F; Wyk, Eric Van
Veröffentlichungsdatum:: 2013
Typ:: Konferenzbeitrag

55. Layout-Sensitive Generalized Parsing.

Autoren:: Erdweg, Sebastian; Rendel, Tillmann; Kästner, Christian; Ostermann, Klaus
Editoren:: Czarnecki, Krzysztof; Hedin, Görel
Veröffentlichungsdatum:: 2012
Typ:: Konferenzbeitrag

56. Exploration of language specifications by compilation to first-order logic.

Autoren:: Grewe, Sylvia; Erdweg, Sebastian; Raulf, Michael; Mezini, Mira
Editoren:: Cheney, James; Vidal, Germán
Veröffentlichungsdatum:: 2016
Typ:: Konferenzbeitrag

57. IncA: a DSL for the definition of incremental program analyses.

Autoren:: Szabó, Tamás; Erdweg, Sebastian; Voelter, Markus
Editoren:: Lo, David; Apel, Sven; Khurshid, Sarfraz
Veröffentlichungsdatum:: 2016
Typ:: Konferenzbeitrag

58. A sound and optimal incremental build system with dynamic dependencies.

Autoren:: Erdweg, Sebastian; Lichter, Moritz; Weiel, Manuel
Editoren:: Aldrich, Jonathan; Eugster, Patrick
Veröffentlichungsdatum:: 2015
Typ:: Konferenzbeitrag

59. Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny.

Autoren:: Grewe, Sylvia; Erdweg, Sebastian; Mezini, Mira
Editoren:: Kovács, Laura; Voronkov, Andrei
Veröffentlichungsdatum:: 2016
Typ:: Konferenzbeitrag

60. Using Vampire in Soundness Proofs of Type Systems.

Autoren:: Grewe, Sylvia; Erdweg, Sebastian; Mezini, Mira
Editoren:: Kovács, Laura; Voronkov, Andrei
Veröffentlichungsdatum:: 2015
Typ:: Konferenzbeitrag

61. Variability-aware parsing in the presence of lexical macros and conditional compilation.

Autoren:: Kästner, Christian; Giarrusso, Paolo G; Rendel, Tillmann; Erdweg, Sebastian; Ostermann, Klaus; Berger, Thorsten
Editoren:: Lopes, Cristina Videira; Fisher, Kathleen
Veröffentlichungsdatum:: 2011
Typ:: Konferenzbeitrag

62. A Systematic Approach to Abstract Interpretation of Program Transformations.

Autoren:: Keidel, Sven; Erdweg, Sebastian
Editoren:: Beyer, Dirk; Zufferey, Damien
Veröffentlichungsdatum:: 2020
Typ:: Konferenzbeitrag

63. A Tunable Coarse-Grained Parallel Algorithm for Irregular Dynamic Programming Applications.

Autoren:: Liu, Weiguo; Schmidt, Bertil
Editoren:: Bougé, Luc; Prasanna, Viktor K
Veröffentlichungsdatum:: 2004
Typ:: Konferenzbeitrag

64. Pattern Recognition in Bioinformatics, Second IAPR International Workshop, PRIB 2007, Singapore, October 1-2, 2007, Proceedings

Autoren:
Editoren:: Rajapakse, Jagath C; Schmidt, Bertil; Volkert, L Gwenn
Veröffentlichungsdatum:: 2007
Typ:: Konferenzbeitrag

65. Protein Sequence Comparison on the Instruction Systolic Array.

Autoren:: Schmidt, Bertil; Schröder, Heiko; Schimmler, Manfred
Editoren:: Malyshkin, Victor E
Veröffentlichungsdatum:: 2001
Typ:: Konferenzbeitrag

66. Load Balancing for Hierarchical Grid Computing: A Case Study.

Autoren:: Chen, Chunxi; Schmidt, Bertil
Editoren:: Bougé, Luc; Prasanna, Viktor K
Veröffentlichungsdatum:: 2004
Typ:: Konferenzbeitrag

67. Parallel Construction of Large Suffix Trees on a PC Cluster.

Autoren:: Chen, Chunxi; Schmidt, Bertil
Editoren:: Cunha, José C; Medeiros, Pedro D
Veröffentlichungsdatum:: 2005
Typ:: Konferenzbeitrag

68. Scanning Biosequence Databases on a Hybrid Parallel Architecture.

Autoren:: Schmidt, Bertil; Schröder, Heiko; Schimmler, Manfred
Editoren:: Sakellariou, Rizos; Keane, John A; Gurd, John R; Freeman, Len
Veröffentlichungsdatum:: 2001
Typ:: Konferenzbeitrag

69. $ν$-net: Deep Learning for Generalized Biventricular Cardiac Mass and Function Parameters.

Autoren:: Winther, Hinrich B; Hundt, Christian; Schmidt, Bertil; Czerner, Christoph; Bauersachs, Johann; Wacker, Frank K; Vogel-Claussen, Jens
Veröffentlichungsdatum:: 2017
Typ:: Zeitschriftenaufsatz

70. Morphological Hough Transform on the Instruction Systolic Array.

Autoren:: Schmidt, Bertil; Schimmler, Manfred; Schröder, Heiko
Editoren:: Lengauer, Christian; Griebl, Martin; Gorlatch, Sergei
Veröffentlichungsdatum:: 1997
Typ:: Konferenzbeitrag

71. Topic Introduction.

Autoren:: Ahmad, Ishfaq; Jonker, Pieter; Schmidt, Bertil; Uhl, Andreas
Editoren:: Kosch, Harald; Böszörményi, László; Hellwagner, Hermann
Veröffentlichungsdatum:: 2003
Typ:: Konferenzbeitrag

72. GEM: an elastic and translation-invariant similarity measure with automatic trend adjustment.

Autoren:: Hundt, Christian; Schmidt, Bertil; Schömer, Elmar; Göttler, Herbert; Dang, Hoang-Vu
Editoren:: Cho, Yookun; Shin, Sung Y; Kim, Sang-Wook; Hung, Chih-Cheng; Hong, Jiman
Veröffentlichungsdatum:: 2014
Typ:: Konferenzbeitrag

73. Workshop on Using Emerging Parallel Architectures for Computational Science.

Autoren:: Schmidt, Bertil; Maskell, Douglas L
Editoren:: Allen, Gabrielle; Nabrzyski, Jaroslaw; Seidel, Edward; Albada, G Dick van; Dongarra, Jack J; Sloot, Peter MA
Veröffentlichungsdatum:: 2009
Typ:: Konferenzbeitrag

74. On the Low-Dimensional Steiner Minimum Tree Problem in Hamming Metric.

Autoren:: Althaus, Ernst; Kupilas, Joschka; Naujoks, Rouven
Editoren:: Ogihara, Mitsunori; Tarui, Jun
Veröffentlichungsdatum:: 2011
Typ:: Konferenzbeitrag

75. A Polyhedral Approach to Surface Reconstruction from Planar Contours.

Autoren:: Althaus, Ernst; Fink, Christian
Editoren:: Cook, William J; Schulz, Andreas S
Veröffentlichungsdatum:: 2002
Typ:: Konferenzbeitrag

76. Computing Locally Coherent Discourses.

Autoren:: Althaus, Ernst; Karamanis, Nikiforos; Koller, Alexander
Editoren:: Scott, Donia; Daelemans, Walter; Walker, Marilyn A
Veröffentlichungsdatum:: 2004
Typ:: Konferenzbeitrag

77. Symbolic Worst Case Execution Times.

Autoren:: Althaus, Ernst; Altmeyer, Sebastian; Naujoks, Rouven
Editoren:: Cerone, Antonio; Pihlajasaari, Pekka
Veröffentlichungsdatum:: 2011
Typ:: Konferenzbeitrag

78. Fast and Accurate Bounds on Linear Programs.

Autoren:: Althaus, Ernst; Dumitriu, Daniel
Editoren:: Vahrenhold, Jan
Veröffentlichungsdatum:: 2009
Typ:: Konferenzbeitrag

79. LASA: A Tool for Non-heuristic Alignment of Multiple Sequences.

Autoren:: Althaus, Ernst; Canzar, Stefan
Editoren:: Elloumi, Mourad; Küng, Josef; Linial, Michal; Murphy, Robert F; Schneider, Kristan; Toma, Cristian
Veröffentlichungsdatum:: 2008
Typ:: Konferenzbeitrag

80. Computing H/D-exchange speeds of single residues from data of peptic fragments.

Autoren:: Althaus, Ernst; Canzar, Stefan; Emmett, Mark R; Karrenbauer, Andreas; Marshall, Alan G; Meyer-Bäse, Anke; Zhang, Huimin
Editoren:: Wainwright, Roger L; Haddad, Hisham
Veröffentlichungsdatum:: 2008
Typ:: Konferenzbeitrag

81. On Tamaki's Algorithm to Compute Treewidths.

Autoren:: Althaus, Ernst; Schnurbusch, Daniela; Wüschner, Julian; Ziegler, Sarah
Editoren:: Coudert, David; Natale, Emanuele
Veröffentlichungsdatum:: 2021
Typ:: Konferenzbeitrag

82. Guest Editorial.

Autoren:: Brinkmann, André; Pease, David
Veröffentlichungsdatum:: 2011
Typ:: Zeitschriftenaufsatz

83. IEEE 27th Symposium on Mass Storage Systems and Technologies, MSST 2011, Denver, Colorado, USA, May 23-27, 2011

Autoren:
Editoren:: Brinkmann, André; Pease, David
Veröffentlichungsdatum:: 2011
Typ:: Konferenzbeitrag

84. Infrastructure federation through virtualized delegation of resources and services : DGSI ; adding interoperability to DCI meta schedulers

Autoren:: Birkenheuer, Georg; Brinkmann, André; Högqvist, Mikael; Papaspyrou, Alexander; Schott, Bernhard; Sommerfeld, Dietmar; Ziegler, Wolfgang
Veröffentlichungsdatum:: 2011
Typ:: Zeitschriftenaufsatz

85. Deduplication Analyses of Multimedia System Images

Autoren:: Süß, Tim; Kaya, Tunahan; Mäsker, Markus; Brinkmann, André
Editoren:: Ahmad, Irfan; Sundararaman, Swaminathan
Veröffentlichungsdatum:: 2018
Typ:: Konferenzbeitrag

86. 3. Grid Workflow Workshop (GWW 2010).

Autoren:: Hasselbring, Wilhelm; Brinkmann, André
Editoren:: Engels, Gregor; Luckey, Markus; Pretschner, Alexander; Reussner, Ralf H
Veröffentlichungsdatum:: 2010
Typ:: Konferenzbeitrag

87. A rapid prototyping environment for microprocessor based system-on-chips and its application to the development of a network processor

Autoren:: Brinkmann, André; Langen, Dominik; Rückert, Ulrich
Editoren:: Hartenstein, Reiner W; Grünbacher, Herbert
Veröffentlichungsdatum:: 2000
Typ:: Konferenzbeitrag

88. 3. Grid Workflow Workshop (GWW 2010).

Autoren:: Hasselbring, Wilhelm; Brinkmann, André
Editoren:: Engels, Gregor; Luckey, Markus; Schäfer, Wilhelm
Veröffentlichungsdatum:: 2010
Typ:: Konferenzbeitrag

89. V:drive - costs and benefits of an out-of-band storage virtualization system

Autoren:: Brinkmann, André; Heidebuer, Michael; Meyer auf der Heide, Friedhelm; Rückert, Ulrich; Salzwedel, Kay; Vodisek, Mario
Editoren:: Kobler, Ben; Hariharan, PC
Veröffentlichungsdatum:: 2004
Typ:: Konferenzbeitrag

90. Time-efficient Garbage Collection in SSDs

Autoren:: Nagel, Lars; Süß, Tim; Kremer, Kevin; Hameed, M Umar; Zeng, Lingfang; Brinkmann, André
Veröffentlichungsdatum:: 2018
Typ:: Zeitschriftenaufsatz

91. Analysis of the ECMWF Storage Landscape

Autoren:: Grawinkel, Matthias; Nagel, Lars; Mäsker, Markus; Padua, Federico; Brinkmann, André; Sorth, Lennart
Editoren:: Schindler, Jiri
Veröffentlichungsdatum:: 2015
Typ:: Konferenzbeitrag

92. Grid-workflows in molecular science

Autoren:: Birkenheuer, Georg; Breuers, Sebastian; Brinkmann, André; Blunk, Dirk; Fels, Gregor; Gesing, Sandra; Herres-Pawlis, Sonja; Kohlbacher, Oliver; Krüger, Jens; Packschies, Lars
Editoren:: Engels, Gregor
Veröffentlichungsdatum:: 2010
Typ:: Konferenzbeitrag

93. Granular security for a science gateway in structural bioinformatics

Autoren:: Gesing, Sandra; Grunzke, Richard; Balaskó, Ákos; Birkenheuer, Georg; Blunk, Dirk; Breuers, Sebastian; Brinkmann, André; Fels, Gregor; Herres-Pawlis, Sonja; Kacsuk, Peter; Kozlovszky, Miklos; Krüger, Jens; Packschies, Lars; Schäfer, Patrick; Schuller, Bernd; Schuster, Johannes; Steinke, Thomas; Fabri, Anna Szikszay; Wewior, Martin; Müller-Pfefferkorn, Ralph; Kohlbacher, Oliver
Editoren:: Terstyánszky, Gábor; Kiss, Tamás
Veröffentlichungsdatum:: 2011
Typ:: Konferenzbeitrag

94. Secure Genome Processing in Public Cloud and HPC Environments

Autoren:: Brinkmann, André; Kaiser, Jürgen; Löwer, Martin; Nagel, Lars; Sahin, Ugur; Süß, Tim
Editoren:: Gesing, Sandra; Kurowski, Krzysztof; Kiss, Tamás
Veröffentlichungsdatum:: 2017
Typ:: Konferenzbeitrag

95. New Models and Methods for Arc Routing.

Autoren:: Irnich, Stefan
Editoren:: Barnhart, Cynthia; Clausen, Uwe; Lauther, Ulrich; Möhring, Rolf H
Veröffentlichungsdatum:: 2009
Typ:: Konferenzbeitrag