CDx: A Family of Real-time Java Benchmarks Tomas

Autor: Tomas, Kalibera, Jeff, Hagelberg, Pizlo, Filip, Plsek, Ales, Titzer, Ben, Jan, Vitek

Publikováno v: International Workshop on Java Technologies for Real-Time and Embedded Systems
International Workshop on Java Technologies for Real-Time and Embedded Systems, Sep 2009, Madrid, Spain

International audience; Java is becoming a viable platform for hard real-time computing. There are production and research real-time Java VMs, as well as applications in both military and civil sector. Technological advances and increased adoption of

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______165::ff1984191c6dafc6500869c51933f9d2
https://inria.hal.science/inria-00410011/file/paper.pdf

Component-Oriented Development for Real-Time Java.

Autor: Plsek, Ales, Loiret, Frederic, Malohlava, Michal

Publikováno v: Distributed, Embedded & Real-time Java Systems; 2012, p265-292, 28p

Static checking of safety critical Java annotations.

Autor: Tang, Daniel, Plsek, Ales, Vitek, Jan

Publikováno v: ACM International Conference Proceeding Series; Aug2010, p148-154, 7p

CDx.

Autor: Kalibera, Tomas, Hagelberg, Jeff, Pizlo, Filip, Plsek, Ales, Titzer, Ben, Vitek, Jan

Publikováno v: ACM International Conference Proceeding Series; Sep2009, p41-50, 10p

Extending Java PathFinder with Behavior Protocols

Autor: Plšek, Aleš

The Component-based programming is an aproach to efficient development of software applications, where Behavior protocol is a formalism used for behavior specification of components. To further ease the development of a component application, System

Externí odkaz: http://www.nusl.cz/ntk/nusl-269506