Zobrazeno 1 - 10
of 109
pro vyhledávání: '"Drusinsky, D."'
Periodical
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Periodical
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Periodical
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
In-spite of three decades of software formal verification and validation (FV&V) research, there exists no ideal FV&V technique that works well for all FV&V concerns. That is, there is no one technique that enables (i) easy and correct construction of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2778::83552ecf32e4ecc78529b522505f0f20
https://hdl.handle.net/10945/524
https://hdl.handle.net/10945/524
This is our second report on the Sun Java Real-Time System (RTS) experiments. In this report we describe the findings on RTS 2.0 beta release that includes the real-time garbage collector (RTGC). We performed a number of experiments to determine whet
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2778::7781e63087e79bd0b4083fdde34c7ee1
https://hdl.handle.net/10945/521
https://hdl.handle.net/10945/521
This paper addresses the need to reduce the difficulties in developing time-constrained Java applications. We present a design pattern for a class of time-constrained real-time applications that allows developers to use (and re-use) Java code librari
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2778::8a0cf1d0f418dc6da81dc062ac1edbe0
https://hdl.handle.net/10945/39584
https://hdl.handle.net/10945/39584
Autor:
Luqi, Shing, M., Berzins, V., Puett, J., Guan, Z., Qiao, Y., Zhang, L., Chaki, N., Liang, X., Ray, W., Brown, M., Floodeen, D., Drusinsky, D.
This report summarizes our prototyping effort for the Infusion Pump Computer Assisted Resuscitation Algorithm (CARA) software. Computer aided prototyping (CAP) shows promise that one system under development frees designers from implementation detail
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2778::feeef8a9652ed4b09c5d56ea0b8f1c9f
https://hdl.handle.net/10945/65076
https://hdl.handle.net/10945/65076
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Periodical
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
2011 6th International Conference on System of Systems Engineering (SoSE); 2011, p155-160, 6p
