Mikko Levanto

According to our database, Mikko Levanto authored at least 6 papers between 1989 and 2015.

Collaborative distances:

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

2015

RADE: Resource-aware distributed browser-to-browser 3D graphics delivery in the web.

Timo Koskela, Arto Heikkinen, Erkki Harjula, Mikko Levanto, Mika Ylianttila

Proceedings of the 11th IEEE International Conference on Wireless and Mobile Computing, 2015

1995

A scheduling problem language.

Mikko Levanto

Proceedings of the 7th Euromicro Workshop on Real-Time Systems, 1995

1993

Putting Advanced Reachability Analysis Techniques Together: the "ARA" Tool.

Antti Valmari, Jukka Kemppainen, Matthew Clegg, Mikko Levanto

Proceedings of the FME '93: Industrial-Strength Formal Methods, 1993

ReaGOS - An Application Specific R/T-OS.

Ari Okkonen, Mikko Levanto, Jyrki Okkonen, Antti Auer, Jarmo Kalaoja, Heikki Päivike

Proceedings of the Fifth Euromicro Workshop on Real-Time Systems, 1993

1990

Solution in software crisis.

Antti Auer, Mikko Levanto, Ari Okkonen, Jyrki Okkonen

Microprocessing and Microprogramming, 1990

1989

Sokrates-SA - A formal method for specifying real-time systems.

Ari Okkonen, Antti Auer, Mikko Levanto, Jyrki Okkonen, Jarmo Kalaoja

Microprocessing and Microprogramming, 1989