Alfred Mikschl

According to our database, Alfred Mikschl authored at least 5 papers between 1996 and 2007.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2007

Automating Verification of Cooperation, Control, and Design in Traffic Applications.

Werner Damm, Alfred Mikschl, Jens Oehlerking, Ernst-Rüdiger Olderog, Jun Pang, André Platzer, Marc Segelken, Boris Wirtz

Proceedings of the Formal Methods and Hybrid Real-Time Systems, 2007

2001

WAMCOT: eine optisch bus-basierte Shared-memory-Architektur mit multithreaded Prozessoren.

Alfred Mikschl

PhD thesis, 2001

2000

Die EVENTS-Architektur (The EVENTS Architecture).

Jürgen Niehaus, Werner Damm, Alexander Metzner, Alfred Mikschl

Informationstechnik Tech. Inform., 2000

1996

A RISC Approach to Weak Cache Coherence.

Jürgen Risau, Alfred Mikschl, Werner Damm

Proceedings of the Euro-Par '96 Parallel Processing, 1996

MSparc: A Multithreaded Sparc.

Alfred Mikschl, Werner Damm

Proceedings of the Euro-Par '96 Parallel Processing, 1996