-
1Academic Journal
Authors: Malik, Avinash, Girault, Alain, Salcic, Zoran
Contributors: Girault, Alain, Department of Computer Science - Trinity College Dublin, University of Dublin, Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time (POP ART), Centre Inria de l'Université Grenoble Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG), Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS), Department of Electrical and Computer Engineering Auckland (ECE), University of Auckland Auckland
Source: IEEE Transactions on Parallel and Distributed Systems. 23:1240-1254
Subject Terms: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory/D.3.1.0: Semantics, and parallel languages, 0102 computer and information sciences, 02 engineering and technology, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.1: Concurrent, 01 natural sciences, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], [INFO.INFO-ES] Computer Science [cs]/Embedded Systems, [INFO.INFO-CL] Computer Science [cs]/Computation and Language [cs.CL], ACM: C.: Computer Systems Organization/C.3: SPECIAL-PURPOSE AND APPLICATION-BASED SYSTEMS/C.3.2: Real-time and embedded systems, 0202 electrical engineering, electronic engineering, information engineering, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, distributed
File Description: application/pdf
Linked Full TextAccess URL: http://hal.inria.fr/docs/00/77/77/30/PDF/tpds-2010-12-0720-1.pdf
https://inria.hal.science/hal-00777730v1
http://dblp.uni-trier.de/db/journals/tpds/tpds23.html#MalikGS12
http://ieeexplore.ieee.org/document/6060805/
https://www.infona.pl/resource/bwmeta1.element.ieee-art-000006060805
https://ieeexplore.ieee.org/document/6060805/
https://www.computer.org/csdl/journal/td/2012/07/ttd2012071240/13rRUwInvAG
https://hal.inria.fr/hal-00777730/document -
2Academic Journal
Authors: Malik, Avinash, Salcic, Zoran, Roop, Partha, Girault, Alain
Contributors: Girault, Alain, Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time (POP ART), Centre Inria de l'Université Grenoble Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG), Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS), Department of Electrical and Computer Engineering Auckland (ECE), University of Auckland Auckland
Source: Computer Languages, Systems & Structures. 36:317-344
Linked Full TextSubject Terms: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Embedded systems, and parallel languages, 02 engineering and technology, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.1: Concurrent, Compilation, GALS languages, Semantics, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.4: Design languages, Synchronous languages, ACM: C.: Computer Systems Organization/C.3: SPECIAL-PURPOSE AND APPLICATION-BASED SYSTEMS/C.3.2: Real-time and embedded systems, 0202 electrical engineering, electronic engineering, information engineering, distributed, Computer languages, Reactive languages
-
3Academic Journal
Authors: Girault, Alain, Rutten, Eric
Contributors: Girault, Alain, Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time (POP ART), Centre Inria de l'Université Grenoble Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG), Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS), System architecture for reflective distributed computing environments (SARDES)
Source: Formal Methods in System Design. 35:190-225
Subject Terms: ACM: C.: Computer Systems Organization/C.4: PERFORMANCE OF SYSTEMS/C.4.1: Fault tolerance, [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF], 0209 industrial biotechnology, ACM: F.: Theory of Computation/F.2: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY/F.2.2: Nonnumerical Algorithms and Problems/F.2.2.1: Computations on discrete structures, [INFO.INFO-PF] Computer Science [cs]/Performance [cs.PF], ACM: C.: Computer Systems Organization/C.3: SPECIAL-PURPOSE AND APPLICATION-BASED SYSTEMS/C.3.2: Real-time and embedded systems, 0202 electrical engineering, electronic engineering, information engineering, distributed, and parallel languages, 02 engineering and technology, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.1: Concurrent
File Description: application/pdf
Linked Full TextAccess URL: https://hal.inria.fr/hal-00748687/file/main.pdf
https://inria.hal.science/hal-00748687v1
https://doi.org/10.1007/s10703-009-0084-y
https://inria.hal.science/hal-00748687v1/document -
4Conference
Authors: Berry, Gérard, Serrano, Manuel
Contributors: Secure Diffuse Programming (INDES), Centre Inria d'Université Côte d'Azur, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Collège de France - Chaire Algorithmes, machines et langages, Collège de France (CdF (institution))
Source: International Conference on Distributed Computing and Internet Technology ; https://inria.hal.science/hal-00911782 ; International Conference on Distributed Computing and Internet Technology, Feb 2014, Bhubaneswar, India
Subject Terms: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.4: Design languages, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.1: Concurrent, distributed, and parallel languages, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.8: Multiparadigm languages, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]
Subject Geographic: Bhubaneswar, India
Relation: info:eu-repo/semantics/altIdentifier/arxiv/1312.0078; ARXIV: 1312.0078
-
5Conference
Authors: Yip, Eugene, Roop, Partha, Biglari-Abhari, Morteza, Girault, Alain
Contributors: Department of Electrical and Computer Engineering Auckland (ECE), University of Auckland Auckland, Sound Programming of Adaptive Dependable Embedded Systems (SPADES), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG), Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)
Source: International Conference on Application of Concurrency to System Design, ACSD'13 ; https://inria.hal.science/hal-00842402 ; International Conference on Application of Concurrency to System Design, ACSD'13, Jul 2013, Barcelona, Spain. pp.167--176
Subject Terms: Synchronous programming, ACM: B.: Hardware/B.8: PERFORMANCE AND RELIABILITY/B.8.2: Performance Analysis and Design Aids, ACM: C.: Computer Systems Organization/C.3: SPECIAL-PURPOSE AND APPLICATION-BASED SYSTEMS/C.3.2: Real-time and embedded systems, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.1: Concurrent, distributed, and parallel languages, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Subject Geographic: Spain
Time: Barcelona, Spain
-
6Conference
Authors: Le, Truong Giang, Fedosov, Dmitriy, Hermant, Olivier, Manceny, Matthieu, Pawlak, Renaud, Rioboo, Renaud
Contributors: Laboratoire d'Informatique, Signal et Image, Electronique et Télécommunication (LISITE), Institut Supérieur d'Electronique de Paris (ISEP), Saint-Petersburg University of Aerospace Instrumentation (SUAI), Saint-Petersburg State University of Aerospace Instrumentation (SUAI), Centre de Recherche en Informatique (CRI), Mines Paris - PSL (École nationale supérieure des mines de Paris), Université Paris Sciences et Lettres (PSL)-Université Paris Sciences et Lettres (PSL), Deduction modulo, interopérabilité et démonstration automatique (DEDUCTEAM), Inria Paris-Rocquencourt, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), IDCapture, Centre d'études et de recherche en informatique et communications (CEDRIC), Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise (ENSIIE)-Conservatoire National des Arts et Métiers Cnam (Cnam), Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise (ENSIIE), Gunar Schirner, Marcelo Götz, Achim Rettberg, Mauro C. Zanella, Franz J. Rammig, TC 10
Source: IFIP Advances in Information and Communication Technology ; 4th International Embedded Systems Symposium (IESS) ; https://inria.hal.science/hal-00924489 ; 4th International Embedded Systems Symposium (IESS), Jun 2013, Paderborn, Germany. pp.14-25, ⟨10.1007/978-3-642-38853-8_2⟩
Subject Terms: context-aware reactive systems, parallel programming, robotics, event-based programming, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.8: Multiparadigm languages, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.1: Concurrent, distributed, and parallel languages, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming/D.1.3.1: Parallel programming, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.9: Robotics, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.9: Robotics/I.2.9.1: Commercial robots and applications, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO], [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF]
Subject Geographic: Germany
Time: Paderborn, Germany
-
7Conference
Contributors: Laboratoire d'Informatique, Signal et Image, Electronique et Télécommunication (LISITE), Institut Supérieur d'Electronique de Paris (ISEP), Centre de Recherche en Informatique (CRI), Mines Paris - PSL (École nationale supérieure des mines de Paris), Université Paris Sciences et Lettres (PSL)-Université Paris Sciences et Lettres (PSL), Deduction modulo, interopérabilité et démonstration automatique (DEDUCTEAM), Inria Paris-Rocquencourt, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Centre d'études et de recherche en informatique et communications (CEDRIC), Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise (ENSIIE)-Conservatoire National des Arts et Métiers Cnam (Cnam), Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise (ENSIIE), James Park and Hamid Arabnia and Cheonshik Kim and Weisong Shi and Joon-Min Gil
Source: GPC - 8th International Conference on Grid and Pervasive Computing - 2013 ; https://inria.hal.science/hal-00924491 ; GPC - 8th International Conference on Grid and Pervasive Computing - 2013, 2013, Seoul, South Korea. pp.348-357, ⟨10.1007/978-3-642-38027-3_37⟩
Subject Terms: gateway, event-based programming, parallel programming, domain-specific languages, M2M applications, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.8: Multiparadigm languages, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.1: Concurrent, distributed, and parallel languages, ACM: J.: Computer Applications/J.7: COMPUTERS IN OTHER SYSTEMS/J.7.2: Industrial control, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.4: Distributed Systems/C.2.4.1: Distributed applications, ACM: C.: Computer Systems Organization/C.3: SPECIAL-PURPOSE AND APPLICATION-BASED SYSTEMS/C.3.2: Real-time and embedded systems, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-MC]Computer Science [cs]/Mobile Computing, [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF]
Subject Geographic: Seoul, South Korea
-
8Conference
Authors: Ahmad Kassem, Ahmad, Grumbach, Stéphane, Ubéda, Stéphane
Contributors: CITI Centre of Innovation in Telecommunications and Integration of services (CITI), Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria), Data on the Internet at the Core of the Economy (DICE), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-CITI Centre of Innovation in Telecommunications and Integration of services (CITI), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National des Sciences Appliquées (INSA), Ambient Middleware Architectures: Service-Oriented, Networked, Efficient and Secured (AMAZONES)
Source: AGERE 2012 ; https://inria.hal.science/hal-00753177 ; AGERE 2012, Oct 2012, Tucson, Arizona, United States
Subject Terms: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.1: Concurrent, distributed, and parallel languages, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.4: Design languages, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.13: Very high-level languages, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI]
Subject Geographic: Tucson, Arizona, United States
-
9Conference
Authors: Andalam, Sidharta, Roop, Partha, Girault, Alain
Contributors: Department of Electrical and Computer Engineering Auckland (ECE), University of Auckland Auckland, Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time (POP ART), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG), Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)
Source: DATE ; https://inria.hal.science/inria-00603287 ; DATE, Mar 2011, Grenoble, France
Subject Terms: Synchronous languages, time predictability, WCET analysis, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.1: Concurrent, distributed, and parallel languages, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems
-
10Conference
Authors: Malik, Avinash, Girault, Alain, Salcic, Zoran
Contributors: Department of Computer Science - Trinity College Dublin, University of Dublin, Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time (POP ART), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG), Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS), Department of Electrical and Computer Engineering Auckland (ECE), University of Auckland Auckland
Source: ACSD ; https://inria.hal.science/inria-00603329 ; ACSD, Jun 2011, Newcastle, United Kingdom
Subject Terms: GALS, dynamic reconfiguration, SystemJ, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.1: Concurrent, distributed, and parallel languages, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming/D.1.3.0: Distributed programming, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]
Subject Geographic: Newcastle, United Kingdom
-
11Conference
Authors: Andalam, Sidharta, Roop, Partha, Girault, Alain
Contributors: Department of Electrical and Computer Engineering Auckland (ECE), University of Auckland Auckland, Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time (POP ART), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG), Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)
Source: Design Automation and Test in Europe Conference, DATE'10 ; https://inria.hal.science/hal-00765020 ; Design Automation and Test in Europe Conference, DATE'10, Mar 2010, Dresden, Germany
Subject Terms: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.1: Concurrent, distributed, and parallel languages, ACM: C.: Computer Systems Organization/C.3: SPECIAL-PURPOSE AND APPLICATION-BASED SYSTEMS/C.3.2: Real-time and embedded systems, ACM: B.: Hardware/B.8: PERFORMANCE AND RELIABILITY/B.8.2: Performance Analysis and Design Aids, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems
-
12Conference
Authors: Andalam, Sidharta, Roop, Partha, Girault, Alain
Contributors: Department of Electrical and Computer Engineering Auckland (ECE), University of Auckland Auckland, Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time (POP ART), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG), Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS), AFMES INRIA associated team, European Project: 214373,ICT,FP7-ICT-2007-1,ARTISTDESIGN(2007)
Source: International Conference on Formal Methods and Models for Codesign, MEMOCODE'10 ; https://inria.hal.science/hal-00786378 ; International Conference on Formal Methods and Models for Codesign, MEMOCODE'10, Jul 2010, Grenoble, France. pp.159-168, ⟨10.1109/MEMCOD.2010.5558636⟩
Subject Terms: ACM: C.: Computer Systems Organization/C.3: SPECIAL-PURPOSE AND APPLICATION-BASED SYSTEMS/C.3.2: Real-time and embedded systems, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.1: Concurrent, distributed, and parallel languages, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]
Relation: info:eu-repo/grantAgreement//214373/EU/ArtistDesign - Design for Embedded Systems/ARTISTDESIGN
-
13Academic Journal
Authors: Delaval, Gwenaël, Girault, Alain, Pouzet, Marc
Contributors: Delaval, Gwenaël, Inria, Rapport De Recherche, Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time (POP ART), Centre Inria de l'Université Grenoble Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG), Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS), Laboratoire de Recherche en Informatique (LRI), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), INRIA
Source: ACM SIGPLAN Notices. 43:101-110
Subject Terms: Synchronous programming, FOS: Computer and information sciences, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Computer Science - Programming Languages, type systems, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.3: Data-flow languages, functional programming, and parallel languages, 02 engineering and technology, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.1: Concurrent, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], synchronous programming, distribution, 0202 electrical engineering, electronic engineering, information engineering, distributed, automatic distribution, Programming Languages (cs.PL)
File Description: application/pdf
Linked Full TextAccess URL: https://hal.inria.fr/hal-00750870/file/lctes50-delaval.pdf
http://arxiv.org/abs/1211.2776
https://inria.hal.science/hal-00750870v1
https://inria.hal.science/hal-00750870v1/document
https://doi.org/10.1145/1375657.1375672
https://inria.hal.science/inria-00193731v2
https://dl.acm .org/doi/10.1145/1379023.1375672
https://dblp.uni-trier.de/db/journals/corr/corr1211.html#abs-1211-2776
http://pop-art.inrialpes.fr/people/delaval/pub/lctes08.pdf
https://hal.inria.fr/hal-00750870/document
https://dl.acm .org/doi/10.1145/1375657.1375672
http://ui.adsabs.harvard.edu/abs/2012arXiv1211.2776D/abstract
https://core.ac.uk/display/23628782
https://arxiv.org/abs/1211.2776
https://arxiv.org/pdf/1211.2776 -
14Conference
Authors: Alras, M., Caspi, Paul, Girault, Alain, Raymond, Pascal
Contributors: Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time (POP ART), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG), Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS), VERIMAG (VERIMAG - IMAG), Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)
Source: International Conference on Embedded Systems and Software, ICESS'09 ; https://inria.hal.science/hal-00753526 ; International Conference on Embedded Systems and Software, ICESS'09, May 2009, Hangzhou, China. pp.3--10, ⟨10.1109/ICESS.2009.36⟩
Subject Terms: Model-based design, Embedded systems, Code generation, Synchronous languages, Real-time systems, ACM: C.: Computer Systems Organization/C.3: SPECIAL-PURPOSE AND APPLICATION-BASED SYSTEMS/C.3.2: Real-time and embedded systems, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.1: Concurrent, distributed, and parallel languages, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems
-
15Academic Journal
Authors: Lienhardt, Michaël, Schmitt, Alan, Stefani, Jean-Bernard
Contributors: Inria, Rapport De Recherche, Schmitt, Alan, ACM, System architecture for reflective distributed computing environments (SARDES), Laboratoire Logiciels Systèmes Réseaux (LSR - IMAG), Université Joseph Fourier - Grenoble 1 (UJF)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Centre Inria de l'Université Grenoble Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), INRIA
Source: Proceedings of the 6th international conference on Generative programming and component engineering. :43-52
Subject Terms: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.8: Multiparadigm languages, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Open Programming, 0202 electrical engineering, electronic engineering, information engineering, distributed, and parallel languages, 02 engineering and technology, Locality, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.1: Concurrent, Components, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]
File Description: application/pdf
Access URL: https://hal.inria.fr/inria-00498413/file/GPCE07-Lienhardt-Stefani-Schmitt.pdf
https://inria.hal.science/inria-00149612v2
https://hal.inria.fr/inria-00498413/document
https://doi.org/10.1145/1289971.1289980
https://dblp.uni-trier.de/db/conf/gpce/gpce2007.html#LienhardtSS07
https://www.irisa.fr/celtique/aschmitt/papers/GPCE07-Lienhardt-Stefani-Schmitt.pdf
https://hal.inria.fr/inria-00498413
https://dl.acm .org/doi/10.1145/1289971.1289980 -
16Report
Authors: Li, Chong, Hains, Gaétan
Contributors: Laboratoire d'Algorithmique Complexité et Logique (LACL), Université Paris-Est Créteil Val-de-Marne - Paris 12 (UPEC UP12)-Centre National de la Recherche Scientifique (CNRS)
Source: https://hal.inria.fr/hal-00926383 ; [Technical Report] TR-LACL-2010-12, 2010, pp.25.
Subject Terms: Bridging Model, Parallel Programming, Scatter-Gather, Bulk Synchronous, SGL, Language Semantics, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming/D.1.3.1: Parallel programming, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.1: Concurrent, distributed, and parallel languages, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.2: Modes of Computation/F.1.2.3: Parallelism and concurrency, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.1: Models of Computation/F.1.1.3: Relations between models, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]
Relation: Report N°: TR-LACL-2010-12; hal-00926383; https://hal.inria.fr/hal-00926383; https://hal.inria.fr/hal-00926383/document; https://hal.inria.fr/hal-00926383/file/TR-LACL-2010-12.pdf
-
17Report
Authors: Andalam, Sidharta, Roop, Partha, Girault, Alain, Traulsen, Claus
Contributors: Department of Electrical and Computer Engineering Auckland (ECE), University of Auckland Auckland, Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time (POP ART), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG), Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS), Department of Computer Science, Christian-Albrechts-Universität zu Kiel = Christian-Albrechts University of Kiel = Université Christian-Albrechts de Kiel (CAU), INRIA
Source: https://inria.hal.science/inria-00391621 ; [Research Report] RR-6922, INRIA. 2009, pp.38.
Subject Terms: Real-time systems, Precision Timed (PRET) Architectures, Synchronous Languages, ACM: B.: Hardware/B.1: CONTROL STRUCTURES AND MICROPROGRAMMING, ACM: C.: Computer Systems Organization/C.3: SPECIAL-PURPOSE AND APPLICATION-BASED SYSTEMS/C.3.2: Real-time and embedded systems, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.1: Concurrent, distributed, and parallel languages, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems
-
18Report
Authors: Delaval, Gwenaël, Girault, Alain, Pouzet, Marc
Contributors: Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time (POP ART), Centre Inria de l'Université Grenoble Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG), Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS), Laboratoire de Recherche en Informatique (LRI), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), INRIA
Source: https://inria.hal.science/inria-00193731 ; [Research Report] RR-6378, INRIA. 2007.
Subject Terms: Synchronous programming, automatic distribution, type systems, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.3: Data-flow languages, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.1: Concurrent, distributed, and parallel languages, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
-
19Report
Authors: Boulet, Pierre
Contributors: Contributions of the Data parallelism to real time (DART), Laboratoire d'Informatique Fondamentale de Lille (LIFL), Université de Lille, Sciences et Technologies-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lille, Sciences Humaines et Sociales-Centre National de la Recherche Scientifique (CNRS)-Université de Lille, Sciences et Technologies-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lille, Sciences Humaines et Sociales-Centre National de la Recherche Scientifique (CNRS)-Inria Lille - Nord Europe, Institut National de Recherche en Informatique et en Automatique (Inria), Université de Lille, Sciences et Technologies-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lille, Sciences Humaines et Sociales-Centre National de la Recherche Scientifique (CNRS), INRIA
Source: https://inria.hal.science/inria-00128840 ; [Research Report] RR-6113, INRIA. 2007, pp.24.
Subject Terms: Array-OL, parallelism, data parallelism, multidimensional signal processing, mapping, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.12: Specialized application languages, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.1: Concurrent, distributed, and parallel languages, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.0: Applicative (functional) languages, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems
-
20Report
Authors: Mandel, Louis, Maranget, Luc
Contributors: Mobililty, security, concurrence, verification and analysis (MOSCOVA), Inria Paris-Rocquencourt, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), INRIA
Source: https://hal.inria.fr/inria-00166125 ; [Research Report] RR-6261, INRIA. 2007.
Subject Terms: concurrency, distributed programming, programming language, functional programming, join-calculus, ML, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.0: Applicative (functional) languages, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.1: Concurrent, distributed, and parallel languages, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
Relation: Report N°: RR-6261; inria-00166125; https://hal.inria.fr/inria-00166125; https://hal.inria.fr/inria-00166125v2/document; https://hal.inria.fr/inria-00166125v2/file/RR-6261.pdf