Skip to contents Bourke, Timothy [Author]; Bregeon, Vincent [Author]; Pouzet, Marc [Author] ; Timothy Bourke and Vincent Bregeon and Marc Pouzet [Contributor] Scheduling and Compiling Rate-Synchronous Programs with End-To-End Latency Constraints Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023 Li, Xin [Author]; von Hanxleden, Reinhard [Author] ; Xin Li and Reinhard von Hanxleden [Contributor] The Kiel Esterel Processor - A Semi-Custom, Configurable Reactive Processor Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2005 Petit, Bertrand [Author] ; Université Côte d'Azur [Contributor]; Serrano, Manuel [Contributor] Temps et durée : de la programmation réactive synchrone à la composition musicale ; Time and duration : from synchronous reactive programming to music composition Thesis View online Schließen > Links http://www.theses.fr/2020COAZ4024/document Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2020-07-02 Rammal, Darine [Author] ; Orléans [Contributor]; Réty, Pierre [Contributor] Memory safety for synchronous reactive programming ; Sécurité de la mémoire pour la programmation réactive synchrone Thesis View online Schließen > Links http://www.theses.fr/2024ORLE1002/document Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2024-01-19 Krishnamurthy, Jayanth [Author] ; Université Côte d'Azur [Contributor]; Serrano, Manuel [Contributor] Techniques de débogage statique et dynamique pour le langage HipHop.js ; Static and dynamic debugging techniques for the HipHop.js language Thesis View online Schließen > Links http://www.theses.fr/2023COAZ4035/document Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2023-04-21 Vidal, Colin [Author] ; Université Côte d'Azur (ComUE) [Contributor]; Serrano, Manuel [Contributor]; Berry, Gérard [Contributor] Programmation web réactive ; Reactive Web Programming Thesis View online Schließen > Links http://www.theses.fr/2018AZUR4049/document Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2018-07-06 Li, Xin [Author] ; von Hanxleden, Reinhard [Contributor]; Mendler, Michael [Contributor] The Kiel Esterel processor: a multi-threaded reactive processor Thesis View online Schließen > Links https://nbn-resolving.org/urn:nbn:de:gbv:8-diss-21983 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. MACAU: Open Access Repository of Kiel University, 2007 Lukoschus, Jan [Author] ; von Hanxleden, Reinhard [Contributor]; Edwards, Stephen A. [Contributor] Removing cycles in esterel programs Thesis View online Schließen > Links https://nbn-resolving.org/urn:nbn:de:gbv:8-diss-20159 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. MACAU: Open Access Repository of Kiel University, 2007 El Sibaïe Besognet, Rémy [Author] ; Sorbonne université [Contributor]; Chailloux, Emmanuel [Contributor] Programmation Web Réactive dans un cadre typé statiquement pour l'orchestration de contenus multimédia riches ; Reactive Web Programming in a Static Typing Context for Rich Multimedias Content Orchestration Thesis View online Schließen > Links http://www.theses.fr/2018SORUS169/document Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2018-07-12 Schulz-Rosengarten, Alexander [Author] ; von Hanxleden, Reinhard [Contributor]; Lee, Edward A. [Contributor]; Mendler, Michael [Contributor] Language Design for Reactive Systems: On Modal Models, Time, and Object Orientation in Lingua Franca and SCCharts Thesis View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. MACAU: Open Access Repository of Kiel University, 2024 Siron, Fabien [Author] ; Université Côte d'Azur [Contributor]; Potop-Butucaru, Dumitru [Contributor]; Simone, Robert de [Contributor] Méthodologie de vérification formelle de propriétés temporelles pour les applications temps-réel critiques basées sur le concept de temps logique ; Methodology for the formal verification of temporal properties for real-time safety-critical applications based on logical time Thesis View online Schließen > Links http://www.theses.fr/2023COAZ4092/document Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2023-12-11 Fuhrmann, Insa Marie-Ann [Author] ; von Hanxleden, Reinhard [Contributor]; Mendler, Michael [Contributor] Time for Reactive System Modeling Thesis View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. MACAU: Open Access Repository of Kiel University, 2018 Fuhrmann, Insa Marie-Ann [Author] ; von Hanxleden, Reinhard [Contributor]; Mendler, Michael [Contributor] Time for Reactive System Modeling Thesis View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Christian-Albrechts-Universität zu Kiel, 2018 Attar, Pejman [Author] ; Nice [Contributor]; Boussinot, Frédéric [Contributor]; Castellani, Ilaria [Contributor] Vers un langage synchrone sûr et securisé ; Towards a safe and secure synchronous language Thesis View online Schließen > Links http://www.theses.fr/2013NICE4148/document Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2013-12-12 Singer, Amr [Author] External Reactive Power Compensation of Permanent Magnet Synchronous Generator Books View online Schließen > Access More information on the full text Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 2011 ; 2010 Traulsen, Claus [Author] ; von Hanxleden, Reinhard [Contributor]; Mendler, Michael [Contributor] Reactive processing for synchronous languages and its worst case reaction time analysis Thesis View online Schließen > Links https://nbn-resolving.org/urn:nbn:de:gbv:8-diss-51086 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. MACAU: Open Access Repository of Kiel University, 2010 Yu, Huafeng [Author] ; Lille 1 [Contributor]; Dekeyser, Jean-Luc [Contributor]; Rutten, Eric [Contributor] Un modèle réactif basé sur MARTE dédié au calcul intensif à parallélisme de données : transformation vers le modèle synchrone ; A MARTE based reactive model for data paralllel intensive processing : transformation toward the synchronous model Thesis View online Schließen > Links http://www.theses.fr/2008LIL10151/document Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2008-11-27 Ganapathy, Vinod; Ramesh, S. Slicing Synchronous Reactive Programs Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2002 Published in: Electronic Notes in Theoretical Computer Science de Simone, Robert; André, Charles Towards a “Synchronous Reactive” UML profile? Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Science and Business Media LLC, 2006 Published in: International Journal on Software Tools for Technology Transfer Ramesh, S.; Kulkarni, A.; Kamat, V. Slicing tools for synchronous reactive programs Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 2004 Published in: ACM SIGSOFT Software Engineering Notes
Bourke, Timothy [Author]; Bregeon, Vincent [Author]; Pouzet, Marc [Author] ; Timothy Bourke and Vincent Bregeon and Marc Pouzet [Contributor] Scheduling and Compiling Rate-Synchronous Programs with End-To-End Latency Constraints Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023
Li, Xin [Author]; von Hanxleden, Reinhard [Author] ; Xin Li and Reinhard von Hanxleden [Contributor] The Kiel Esterel Processor - A Semi-Custom, Configurable Reactive Processor Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2005
Petit, Bertrand [Author] ; Université Côte d'Azur [Contributor]; Serrano, Manuel [Contributor] Temps et durée : de la programmation réactive synchrone à la composition musicale ; Time and duration : from synchronous reactive programming to music composition Thesis View online Schließen > Links http://www.theses.fr/2020COAZ4024/document Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2020-07-02
Rammal, Darine [Author] ; Orléans [Contributor]; Réty, Pierre [Contributor] Memory safety for synchronous reactive programming ; Sécurité de la mémoire pour la programmation réactive synchrone Thesis View online Schließen > Links http://www.theses.fr/2024ORLE1002/document Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2024-01-19
Krishnamurthy, Jayanth [Author] ; Université Côte d'Azur [Contributor]; Serrano, Manuel [Contributor] Techniques de débogage statique et dynamique pour le langage HipHop.js ; Static and dynamic debugging techniques for the HipHop.js language Thesis View online Schließen > Links http://www.theses.fr/2023COAZ4035/document Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2023-04-21
Vidal, Colin [Author] ; Université Côte d'Azur (ComUE) [Contributor]; Serrano, Manuel [Contributor]; Berry, Gérard [Contributor] Programmation web réactive ; Reactive Web Programming Thesis View online Schließen > Links http://www.theses.fr/2018AZUR4049/document Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2018-07-06
Li, Xin [Author] ; von Hanxleden, Reinhard [Contributor]; Mendler, Michael [Contributor] The Kiel Esterel processor: a multi-threaded reactive processor Thesis View online Schließen > Links https://nbn-resolving.org/urn:nbn:de:gbv:8-diss-21983 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. MACAU: Open Access Repository of Kiel University, 2007
Lukoschus, Jan [Author] ; von Hanxleden, Reinhard [Contributor]; Edwards, Stephen A. [Contributor] Removing cycles in esterel programs Thesis View online Schließen > Links https://nbn-resolving.org/urn:nbn:de:gbv:8-diss-20159 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. MACAU: Open Access Repository of Kiel University, 2007
El Sibaïe Besognet, Rémy [Author] ; Sorbonne université [Contributor]; Chailloux, Emmanuel [Contributor] Programmation Web Réactive dans un cadre typé statiquement pour l'orchestration de contenus multimédia riches ; Reactive Web Programming in a Static Typing Context for Rich Multimedias Content Orchestration Thesis View online Schließen > Links http://www.theses.fr/2018SORUS169/document Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2018-07-12
Schulz-Rosengarten, Alexander [Author] ; von Hanxleden, Reinhard [Contributor]; Lee, Edward A. [Contributor]; Mendler, Michael [Contributor] Language Design for Reactive Systems: On Modal Models, Time, and Object Orientation in Lingua Franca and SCCharts Thesis View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. MACAU: Open Access Repository of Kiel University, 2024
Siron, Fabien [Author] ; Université Côte d'Azur [Contributor]; Potop-Butucaru, Dumitru [Contributor]; Simone, Robert de [Contributor] Méthodologie de vérification formelle de propriétés temporelles pour les applications temps-réel critiques basées sur le concept de temps logique ; Methodology for the formal verification of temporal properties for real-time safety-critical applications based on logical time Thesis View online Schließen > Links http://www.theses.fr/2023COAZ4092/document Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2023-12-11
Fuhrmann, Insa Marie-Ann [Author] ; von Hanxleden, Reinhard [Contributor]; Mendler, Michael [Contributor] Time for Reactive System Modeling Thesis View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. MACAU: Open Access Repository of Kiel University, 2018
Fuhrmann, Insa Marie-Ann [Author] ; von Hanxleden, Reinhard [Contributor]; Mendler, Michael [Contributor] Time for Reactive System Modeling Thesis View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Christian-Albrechts-Universität zu Kiel, 2018
Attar, Pejman [Author] ; Nice [Contributor]; Boussinot, Frédéric [Contributor]; Castellani, Ilaria [Contributor] Vers un langage synchrone sûr et securisé ; Towards a safe and secure synchronous language Thesis View online Schließen > Links http://www.theses.fr/2013NICE4148/document Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2013-12-12
Singer, Amr [Author] External Reactive Power Compensation of Permanent Magnet Synchronous Generator Books View online Schließen > Access More information on the full text Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 2011 ; 2010
Traulsen, Claus [Author] ; von Hanxleden, Reinhard [Contributor]; Mendler, Michael [Contributor] Reactive processing for synchronous languages and its worst case reaction time analysis Thesis View online Schließen > Links https://nbn-resolving.org/urn:nbn:de:gbv:8-diss-51086 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. MACAU: Open Access Repository of Kiel University, 2010
Yu, Huafeng [Author] ; Lille 1 [Contributor]; Dekeyser, Jean-Luc [Contributor]; Rutten, Eric [Contributor] Un modèle réactif basé sur MARTE dédié au calcul intensif à parallélisme de données : transformation vers le modèle synchrone ; A MARTE based reactive model for data paralllel intensive processing : transformation toward the synchronous model Thesis View online Schließen > Links http://www.theses.fr/2008LIL10151/document Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2008-11-27
Ganapathy, Vinod; Ramesh, S. Slicing Synchronous Reactive Programs Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2002 Published in: Electronic Notes in Theoretical Computer Science
de Simone, Robert; André, Charles Towards a “Synchronous Reactive” UML profile? Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Science and Business Media LLC, 2006 Published in: International Journal on Software Tools for Technology Transfer
Ramesh, S.; Kulkarni, A.; Kamat, V. Slicing tools for synchronous reactive programs Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 2004 Published in: ACM SIGSOFT Software Engineering Notes
> Media type Skip to next facet Articles (25) Wert ausschließen Thesis (14) Wert ausschließen Books (1) Wert ausschließen Show more show less
> Rights information Skip to next facet In Copyright (5) Wert ausschließen Attribution (CC BY) (1) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (22) Wert ausschließen Without Specification (18) Wert ausschließen Show more show less
> Language Skip to next facet English (23) Wert ausschließen Not determined (13) Wert ausschließen French (3) Wert ausschließen German (1) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (26) Wert ausschließen Mathmatics (6) Wert ausschließen Technology (6) Wert ausschließen Physics (5) Wert ausschließen General and comparative linguistics and literary studies, indo-european, non-european languages and literatures (1) Wert ausschließen Show more show less
> Creator Skip to next facet von Hanxleden, Reinhard (8) Wert ausschließen Mendler, Michael (6) Wert ausschließen Serrano, Manuel (3) Wert ausschließen Université Côte d'Azur (3) Wert ausschließen Fuhrmann, Insa Marie-Ann (2) Wert ausschließen Li, Xin (2) Wert ausschließen MCDOWELL, CHARLES E. (2) Wert ausschließen MONTAGUE, BRUCE R. (2) Wert ausschließen Ramesh, S. (2) Wert ausschließen Simone, Robert de (2) Wert ausschließen de Simone, Robert (2) Wert ausschließen Aguado, Joaquín (1) Wert ausschließen Al-Bayati, Zaid (1) Wert ausschließen André, Charles (1) Wert ausschließen Attar, Pejman (1) Wert ausschließen Baier, Christel (1) Wert ausschließen Baruah, Sanjoy (1) Wert ausschließen Benveniste, Albert (1) Wert ausschließen Berry, Gérard (1) Wert ausschließen Berzina, Kristina (1) Wert ausschließen Blagov, M.S. (1) Wert ausschließen Bodin, Bruno (1) Wert ausschließen Bouali, Amar (1) Wert ausschließen Bourke, Timothy (1) Wert ausschließen Boussinot, Frédéric (1) Wert ausschließen Bregeon, Vincent (1) Wert ausschließen Castellani, Ilaria (1) Wert ausschließen Chailloux, Emmanuel (1) Wert ausschließen Clarke, Edmund M. (1) Wert ausschließen De Maria, Elisabetta (1) Wert ausschließen Dekeyser, Jean-Luc (1) Wert ausschließen Di Natale, Marco (1) Wert ausschließen Edwards, Stephen A. (1) Wert ausschließen El Sibaïe Besognet, Rémy (1) Wert ausschließen Ferro, Manuel Vilares (1) Wert ausschließen Gaffé, Daniel (1) Wert ausschließen Ganapathy, Vinod (1) Wert ausschließen Gil, Jorge Graña (1) Wert ausschließen Grammont, Franck (1) Wert ausschließen Gu, Zonghua (1) Wert ausschließen Gulias, V.M. (1) Wert ausschließen Gulyaev, I. V. (1) Wert ausschließen Gulías, Víctor M. (1) Wert ausschließen Halbwachs, Nicolas (1) Wert ausschließen Hartonas-Garmhausen, Vasiliki (1) Wert ausschließen Jorge, J.S. (1) Wert ausschließen Kamat, V. (1) Wert ausschließen Krishnamurthy, Jayanth (1) Wert ausschließen Kulkarni, A. (1) Wert ausschließen Lapshina, V. A. (1) Wert ausschließen Le Guernic, Paul (1) Wert ausschließen Lee, Edward A. (1) Wert ausschließen Li, Di (1) Wert ausschließen Lille 1 (1) Wert ausschließen Liu, Chengliang (1) Wert ausschließen Lukoschus, Jan (1) Wert ausschließen Maksimov, N.M. (1) Wert ausschließen Marmorat, Jean -Paul (1) Wert ausschließen Mesnyayevs, Aleksandrs (1) Wert ausschließen Mosquera, J. (1) Wert ausschließen Mosquera, Javier (1) Wert ausschließen Muzy, Alexandre (1) Wert ausschließen Nice (1) Wert ausschließen Orléans (1) Wert ausschließen Pang, Zhibo (1) Wert ausschließen Petit, Bertrand (1) Wert ausschließen Popov, A. A. (1) Wert ausschließen Posadnov, A.E. (1) Wert ausschließen Potop-Butucaru, Dumitru (1) Wert ausschließen Pouzet, Marc (1) Wert ausschließen Rammal, Darine (1) Wert ausschließen Raymond, Pascal (1) Wert ausschließen Ressouche, Annie (1) Wert ausschließen Roop, Partha (1) Wert ausschließen Rutten, Eric (1) Wert ausschließen Réty, Pierre (1) Wert ausschließen Sangiovanni-Vincentelli, Alberto (1) Wert ausschließen Savosteenko, N.V. (1) Wert ausschließen Schulz-Rosengarten, Alexander (1) Wert ausschließen Singer, Amr (1) Wert ausschließen Siron, Fabien (1) Wert ausschließen Sorbonne université (1) Wert ausschließen Sorel, Yves (1) Wert ausschließen Sorine, Michel (1) Wert ausschließen Timothy Bourke and Vincent Bregeon and Marc Pouzet (1) Wert ausschließen Toma, Horia (1) Wert ausschließen Traulsen, Claus (1) Wert ausschließen Tuya, Javier (1) Wert ausschließen Université Côte d'Azur (ComUE) (1) Wert ausschließen Valderruten, A. (1) Wert ausschließen Valderruten, Alberto (1) Wert ausschließen Vecchié, Eric (1) Wert ausschließen Vidal, Alberto Valderruten (1) Wert ausschließen Vidal, Colin (1) Wert ausschließen Vyatkin, Valeriy (1) Wert ausschließen Wang, Guoqiang (1) Wert ausschließen Xin Li and Reinhard von Hanxleden (1) Wert ausschließen Yu, Huafeng (1) Wert ausschließen Zeng, Haibo (1) Wert ausschließen Zhai, Zhenkun (1) Wert ausschließen Show more show less
> Collection Skip to next facet BASE - Bielefeld Academic Search Engine (16) Wert ausschließen theses.fr (8) Wert ausschließen MACAU: Open Access Repository of Kiel University (6) Wert ausschließen Springer Berlin Heidelberg (CrossRef) (6) Wert ausschließen Elsevier BV (CrossRef) (4) Wert ausschließen Association for Computing Machinery (ACM) (CrossRef) (2) Wert ausschließen DROPS - Dagstuhl Research Online Publication Server (Schloss Dagstuhl - Leibniz Center for Informatics ) (2) Wert ausschließen Institute of Electrical and Electronics Engineers (IEEE) (CrossRef) (2) Wert ausschließen Springer International Publishing (CrossRef) (2) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (2) Wert ausschließen Wiley (CrossRef) (2) Wert ausschließen Allerton Press (CrossRef) (1) Wert ausschließen FSAEIHE South Ural State University (National Research University) (CrossRef) (1) Wert ausschließen Lizenzfreie Online-Ressourcen (1) Wert ausschließen Qucosa (1) Wert ausschließen Trans Tech Publications, Ltd. (CrossRef) (1) Wert ausschließen Verbunddaten SWB (1) Wert ausschließen Show more show less