Zobrazeno 1 - 10 of 406 pro vyhledávání: '"Basten, T."'
1
Akademický článek
SMT-based verification of temporal properties for component-based software systems
Autor: Jonk, R., Voeten, J., Geilen, M., Basten, T., Schiffelers, R.
Publikováno v: In IFAC PapersOnLine 2020 53(4):493-500
Zobrazit plný text záznamu
2
Akademický článek
A Compositional Model for Multi-Rate Max-Plus Linear Systems
Autor: Elahi, H., Geilen, M., Basten, T.
Publikováno v: In IFAC PapersOnLine 2020 53(4):54-61
Zobrazit plný text záznamu
3
Akademický článek
Analyzing concurrency in streaming applications
Autor: Stuijk, S., Basten, T.
Publikováno v: In Journal of Systems Architecture 2008 54(1):124-144
Zobrazit plný text záznamu
4
Reconfigurable pipelined control systems
Autor: Sanchez, R.M., Nikkhah, S.T., Goswami, D., Heemels, W., Stuijk, S., Basten, T.
Publikováno v: IEEE Design and Test
Pipelining is a promising technique to deal with long delays in control loops, for instance due to intensive data processing. Reconfigurable pipelined control (RPC) is of particular interest, as it has an improved performance compared to a static con
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::93b67c04988d0277c4d4346a172d8d23
http://resolver.tudelft.nl/uuid:a8a1eaae-f873-4ef7-83e6-ea66122fae29
Zobrazit plný text záznamu
5
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
6
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
7
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
10
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje