|
СТ |
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 |
|
СТ |
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 |
|
СТ |
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 |
|
М |
Compiler Design |
1996 |
Wilhelm R., Maurer D. |
|
|
|
|
26.02.2000 |
|
СТ |
On Predicting Data Cache Behavior for Real-Time Systems |
1998 |
Ferdinand C., Wilhelm R. |
|
|
|
Lecture Notes in Computer Science |
10.10.1998 |
|
СТ |
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 |
|
СТ |
Fast and Efficient Cache Behaviour Prediction |
1998 |
Ferdinand C., Wilhelm R. |
|
|
|
Engineering Tehnikateadused |
24.07.1998 |
|
СТ |
Analysis of Loops |
1998 |
Martin F., Alt M., Wilhelm R., Ferdinand C. |
|
|
|
Lecture Notes in Computer Science |
17.04.1998 |
|
СТ |
Parallel Implementation of Functional Languages |
1997 |
Wilhelm R., Alt M., Martin F., Raber M. |
|
|
|
Lecture Notes in Computer Science |
20.02.1997 |
|
СТ |
Zu den Ethischen Leitlinien der Gesellschaft fur Informatik |
1996 |
Rodiger K. -H., Wilhelm R. |
|
|
|
Informatik Spektrum |
18.05.1996 |
|
СТ |
An Application Specific Parallel Programming Paradigm |
1995 |
Rauber T., Runger G., Wilhelm R. |
|
|
|
Lecture Notes in Computer Science |
29.06.1995 |
|
СТ |
Tree Automata for Code Selection |
1994 |
Ferdinand C., Seidl H., Wilhelm R. |
|
|
|
Acta Informatica |
24.01.1995 |
|
СТ |
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 |
|
СТ |
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 |
