|
СТ |
Experiences Using OpenMP Based on Compiler Directed Software DSM on a PC Cluster |
2003 |
Hess M., Jost G., Muller M., Ruhle R. |
|
|
|
Lecture Notes in Computer Science |
19.09.2003 |
|
СТ |
Some Simple OpenMP Optimization Techniques |
2001 |
Muller M. |
|
|
|
Lecture Notes in Computer Science |
16.08.2001 |
|
СТ |
Using FAME Assessments to Define Measurement Goals |
2001 |
Hamann D., Beitz A., Muller M., Van Solingen R. |
|
|
|
Lecture Notes in Computer Science |
05.04.2001 |
|
СТ |
Parallel/High-Performance Object-Oriented Scientific Computing |
1999 |
Mohr B., Bassetti F., Davis K., Huttemann S., Launay P., Marinescu D. C., Muller D. J., Vandewart R. L., Muller M., Prodan A. |
|
|
|
Lecture Notes in Computer Science |
26.01.2000 |
|
СТ |
Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs |
1999 |
Podelski A., Charatonik W., Muller M. |
|
|
|
Lecture Notes in Computer Science |
07.04.1999 |
|
СТ |
Type Inference for First-Class Messages with Feature Constraints |
1998 |
Muller M., Nishimura S. |
|
|
|
Lecture Notes in Computer Science |
18.12.1998 |
|
СТ |
An Axiomatic Approach to Semantics of Disjunctive Programs |
1994 |
Dix J., Muller M. |
|
|
|
Logic Programming: Proc. of the Eleventh Intern. Conf. |
01.02.1996 |
|
СТ |
Constraints for Free in Concurrent Computation |
1995 |
Niehren J., Muller M. |
|
|
|
Lecture Notes in Computer Science |
12.01.1996 |
|
СТ |
Partial Evaluation and Relevance for Approximations of the Stable Semantics |
1994 |
Dix J., Muller M. |
|
|
|
Lecture Notes in Artificial Intelligence |
16.11.1994 |
|
СТ |
The Stable Semantics and its Variants: A Comparison of Recent Approaches |
1994 |
Dix J., Muller M. |
|
|
|
Lecture Notes in Artificial Intelligence |
20.10.1994 |
|
СТ |
TabVer: A Case Study in Table Verbalization |
1994 |
Glockner I., Grieszl A., Muller M., Ronthaler M. |
|
|
|
Lecture Notes in Artificial Intelligence |
20.10.1994 |
|
П |
Bondgraph Execution as a New Algorithm for Circuit Simulation |
1993 |
Muller M. |
|
|
Univ.Passau |
|
06.04.1994 |
