СТ |
Partial Evaluation of Concurrent Programs |
2001 |
Martel M., Gengler M. |
|
|
|
Lecture Notes in Computer Science |
21.08.2001 |
СТ |
Scheduling the Computations of a Loop Nest with Respect to a Given Mapping |
2000 |
Darte A., Diderich C., Gengler M., Vivien F. |
|
|
|
Lecture Notes in Computer Science |
17.11.2000 |
СТ |
Communication Topology Analysis for Concurrent Programs |
2000 |
Martel M., Gengler M. |
|
|
|
Lecture Notes in Computer Science |
26.09.2000 |
СТ |
Self-applicable Partial Evaluation for the Pi-calculus |
1997 |
Gengler M., Martel M. |
|
|
|
SIGPLAN Notices |
27.01.1998 |
СТ |
Comparing Two Probabilistic Models of the Computational Complexity of the Branch and Bound Algorithm |
1994 |
Dion M., Gengler M., Ubeda S. |
|
|
|
Lecture Notes in Computer Science |
18.11.1994 |
СТ |
A Polyvariant Binding Time Analysis Handling Partially Known Values |
1992 |
Gengler M., Rytz B. |
|
|
|
BIGRE |
11.11.1992 |
СТ |
A Parallel Best-first B&B with Synchronization Phases |
1992 |
Gengler M., Coray G. |
|
|
|
Lecture Notes in Computer Science |
01.10.1992 |