Вы здесь

Wilhelm R.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ 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
СТ Zu den Ethischen Leitlinien der Gesellschaft fur Informatik 1996 Rodiger K. -H., Wilhelm R. Informatik Spektrum 18.05.1996
СТ 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
СТ Tree Automata for Code Selection 1994 Ferdinand C., Seidl H., Wilhelm R. Acta Informatica 24.01.1995
СТ 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
СТ 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
СТ Shape Analysis 2000 Wilhelm R., Sagiv M., Reps T. Lecture Notes in Computer Science 22.04.2000
СТ 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
СТ Parallel Implementation of Functional Languages 1997 Wilhelm R., Alt M., Martin F., Raber M. Lecture Notes in Computer Science 20.02.1997
СТ On Predicting Data Cache Behavior for Real-Time Systems 1998 Ferdinand C., Wilhelm R. Lecture Notes in Computer Science 10.10.1998
СТ Implementing 2DT on a Multiprocessor 1994 Ben-Asher Y., Runger G., Wilhelm R., Schuster A. Lecture Notes in Computer Science 27.04.1994
СТ Generation of Synchronization Code for Parallel Compilers 1993 Alt M., Sander G., Wilhelm R. Lecture Notes in Computer Science 22.09.1993
СТ Fast and Efficient Cache Behaviour Prediction 1998 Ferdinand C., Wilhelm R. Engineering Tehnikateadused 24.07.1998
М Compiler Design 1996 Wilhelm R., Maurer D. 26.02.2000
СТ Analysis of Loops 1998 Martin F., Alt M., Wilhelm R., Ferdinand C. Lecture Notes in Computer Science 17.04.1998
СТ An Application Specific Parallel Programming Paradigm 1995 Rauber T., Runger G., Wilhelm R. Lecture Notes in Computer Science 29.06.1995