Search

Your search keyword '"Wilhelm, Reinhard"' showing total 307 results
Start Over Author "Wilhelm, Reinhard" Publisher springer berlin heidelberg
307 results on '"Wilhelm, Reinhard"'

3. Syntactic Analysis

Author

Wilhelm, Reinhard, Seidl, Helmut, Hack, Sebastian, Wilhelm, Reinhard, Seidl, Helmut, and Hack, Sebastian

Published
2013
Full Text
View/download PDF

4. Lexical Analysis

Author

Wilhelm, Reinhard, Seidl, Helmut, Hack, Sebastian, Wilhelm, Reinhard, Seidl, Helmut, and Hack, Sebastian

Published
2013
Full Text
View/download PDF

25. Impact of Resource Sharing on Performance and Performance Prediction: A Survey

Author

Abel, Andreas, Benz, Florian, Doerfert, Johannes, Dörr, Barbara, Hahn, Sebastian, Haupenthal, Florian, Jacobs, Michael, Moin, Amir H., Reineke, Jan, Schommer, Bernhard, Wilhelm, Reinhard, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, D’Argenio, Pedro R., editor, and Melgratti, Hernán, editor

Published
2013
Full Text
View/download PDF

26. Interprocedural Shape Analysis for Effectively Cutpoint-Free Programs

Author

Kreiker, J., Reps, T., Rinetzky, N., Sagiv, M., Wilhelm, Reinhard, Yahav, E., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Voronkov, Andrei, editor, and Weidenbach, Christoph, editor

Published
2013
Full Text
View/download PDF

27. Harald Ganzinger’s Legacy: Contributions to Logics and Programming

Author

Kapur, Deepak, Nieuwenhuis, Robert, Voronkov, Andrei, Weidenbach, Christoph, Wilhelm, Reinhard, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Voronkov, Andrei, editor, and Weidenbach, Christoph, editor

Published
2013
Full Text
View/download PDF

29. Ubiquitous Verification of Ubiquitous Systems

Author

Wilhelm, Reinhard, Maffei, Matteo, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Min, Sang Lyul, editor, Pettit, Robert, editor, Puschner, Peter, editor, and Ungerer, Theo, editor

Published
2010
Full Text
View/download PDF

30. Static Timing Analysis for Hard Real-Time Systems

Author

Wilhelm, Reinhard, Altmeyer, Sebastian, Burguière, Claire, Grund, Daniel, Herter, Jörg, Reineke, Jan, Wachter, Björn, Wilhelm, Stephan, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Barthe, Gilles, editor, and Hermenegildo, Manuel, editor

Published
2010
Full Text
View/download PDF

31. Polynomial Precise Interval Analysis Revisited

Author

Gawlitza, Thomas, Leroux, Jérôme, Reineke, Jan, Seidl, Helmut, Sutre, Grégoire, Wilhelm, Reinhard, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Albers, Susanne, editor, Alt, Helmut, editor, and Näher, Stefan, editor

Published
2009
Full Text
View/download PDF

34. Timing Validation of Automotive Software

Author

Kästner, Daniel, Wilhelm, Reinhard, Heckmann, Reinhold, Schlickling, Marc, Pister, Markus, Jersak, Marek, Richter, Kai, Ferdinand, Christian, Margaria, Tiziana, editor, and Steffen, Bernhard, editor

Published
2008
Full Text
View/download PDF

35. Towards Model-Driven Development of Hard Real-Time Systems : Integrating ASCET and aiT/StackAnalyzer

Author

Ferdinand, Christian, Heckmann, Reinhold, Wolff, Hans-Jörg, Renz, Christian, Parshin, Oleg, Wilhelm, Reinhard, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Broy, Manfred, editor, Krüger, Ingolf H., editor, and Meisinger, Michael, editor

Published
2008
Full Text
View/download PDF

36. Abstract Interpretation with Applications to Timing Validation : Invited Tutorial

Author

Wilhelm, Reinhard, Wachter, Björn, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Gupta, Aarti, editor, and Malik, Sharad, editor

Published
2008
Full Text
View/download PDF

37. Exploiting SIMD Parallelism with the CGiS Compiler Framework

Author

Fritz, Nicolas, Lucas, Philipp, Wilhelm, Reinhard, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Adve, Vikram, editor, Garzarán, María Jesús, editor, and Petersen, Paul, editor

Published
2008
Full Text
View/download PDF

41. Einleitung

Author

Wilhelm, Reinhard, Maurer, Dieter, Wilhelm, Reinhard, and Maurer, Dieter

Published
1997
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results