Вы здесь

Wilhelm R.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ An Application Specific Parallel Programming Paradigm 1995 Rauber T., Runger G., Wilhelm R. Lecture Notes in Computer Science 29.06.1995
СТ Analysis of Loops 1998 Martin F., Alt M., Wilhelm R., Ferdinand C. Lecture Notes in Computer Science 17.04.1998
М Compiler Design 1996 Wilhelm R., Maurer D. 26.02.2000
СТ Fast and Efficient Cache Behaviour Prediction 1998 Ferdinand C., Wilhelm R. Engineering Tehnikateadused 24.07.1998
СТ Generation of Synchronization Code for Parallel Compilers 1993 Alt M., Sander G., Wilhelm R. Lecture Notes in Computer Science 22.09.1993
СТ Implementing 2DT on a Multiprocessor 1994 Ben-Asher Y., Runger G., Wilhelm R., Schuster A. Lecture Notes in Computer Science 27.04.1994
СТ On Predicting Data Cache Behavior for Real-Time Systems 1998 Ferdinand C., Wilhelm R. Lecture Notes in Computer Science 10.10.1998
СТ Parallel Implementation of Functional Languages 1997 Wilhelm R., Alt M., Martin F., Raber M. Lecture Notes in Computer Science 20.02.1997
СТ Putting Static Analysis to Work for Verification: A Case Study 2000 Lev-Ami T., Reps T., Sagiv M., Wilhelm R. Software Engineering Notes 14.12.2000
СТ Shape Analysis 2000 Wilhelm R., Sagiv M., Reps T. Lecture Notes in Computer Science 22.04.2000
СТ Solving Shape-Analysis Problems in Languages with Destructive Updating 1998 Sagiv M., Reps T., Wilhelm R. ACM Trans. on Programming Languages and Systems 30.07.1998
СТ Static Program Analysis via 3-Valued Logic 2004 Reps T. W., Sagiv M., Wilhelm R. Lecture Notes in Computer Science Lecture Notes in Computer Science 04.09.2004
СТ Tree Automata for Code Selection 1994 Ferdinand C., Seidl H., Wilhelm R. Acta Informatica 24.01.1995
СТ Verifying Temporal Heap Properties Specified via Evolution Logic 2003 Yahav E., Reps T., Sagiv M., Wilhelm R. Lecture Notes in Computer Science 16.04.2003
СТ Zu den Ethischen Leitlinien der Gesellschaft fur Informatik 1996 Rodiger K. -H., Wilhelm R. Informatik Spektrum 18.05.1996
СТ 2DT-FP: An FP Based Programming Language for Efficient Parallel Programming of Multiprocessor Networks 1993 Ben-Asher Y., Runger G., Schuster A., Wilhelm R. Lecture Notes in Computer Science 29.07.1993