Suchergebnisse
Katalog
Aufsätze & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Art der Quelle
Thema
- [info.info-mo]computer science [cs]/modeling and simulation 1.813 Treffer
- [info.info-ma]computer science [cs]/multiagent systems [cs.ma] 1.551 Treffer
- [info.info-cr]computer science [cs]/cryptography and security [cs.cr] 1.550 Treffer
- [info.info-dc]computer science [cs]/distributed 1.544 Treffer
- and cluster computing [cs.dc] 1.544 Treffer
-
45 weitere Werte:
- parallel 1.544 Treffer
- [info.info-et]computer science [cs]/emerging technologies [cs.et] 1.531 Treffer
- [info.info-iu]computer science [cs]/ubiquitous computing 1.530 Treffer
- [spi.auto]engineering sciences [physics]/automatic 116 Treffer
- [info.info-ds]computer science [cs]/data structures and algorithms [cs.ds] 98 Treffer
- geo 46 Treffer
- info 45 Treffer
- data generators 33 Treffer
- acm: d.: software/d.2: software engineering/d.2.5: testing and debugging/d.2.5.8: testing tools (e.g. 32 Treffer
- coverage testing) 32 Treffer
- [phys.meca.mefl]physics [physics]/mechanics [physics]/fluid mechanics [physics.class-ph] 31 Treffer
- [phys.meca.ther]physics [physics]/mechanics [physics]/thermics [physics.class-ph] 31 Treffer
- [spi.nrj]engineering sciences [physics]/electric power 31 Treffer
- [phys.phys.phys-optics]physics [physics]/physics [physics]/optics [physics.optics] 29 Treffer
- [spi.other]engineering sciences [physics]/other 27 Treffer
- edu 27 Treffer
- [phys.meca]physics [physics]/mechanics [physics] 26 Treffer
- acm: i.: computing methodologies/i.2: artificial intelligence/i.2.11: distributed artificial intelligence/i.2.11.3: multiagent systems 22 Treffer
- verification 22 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 18 Treffer
- envir 18 Treffer
- security protocols 17 Treffer
- [info.info-ni]computer science [cs]/networking and internet architecture [cs.ni] 16 Treffer
- [info.info-sc]computer science [cs]/symbolic computation [cs.sc] 16 Treffer
- model-based testing 16 Treffer
- random generation 16 Treffer
- [info.info-cl]computer science [cs]/computation and language [cs.cl] 15 Treffer
- environment 14 Treffer
- simulation 14 Treffer
- test generation 14 Treffer
- [info]computer science [cs] 13 Treffer
- complex systems 13 Treffer
- test 13 Treffer
- formal methods 12 Treffer
- optimization 12 Treffer
- phil 12 Treffer
- synchronization 12 Treffer
- dynamic reconfiguration 11 Treffer
- interaction 11 Treffer
- programming language 11 Treffer
- simulation techniques 11 Treffer
- smart cities 11 Treffer
- uml/ocl 11 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 10 Treffer
- average complexity 10 Treffer
Verlag
- hal ccsd 2.193 Treffer
- elsevier 176 Treffer
- springer verlag 81 Treffer
- springer 78 Treffer
- ieee 62 Treffer
-
45 weitere Werte:
- mdpi 34 Treffer
- springer-verlag 27 Treffer
- wiley 25 Treffer
- ieee computer society press 13 Treffer
- institute of electrical and electronics engineers 11 Treffer
- springer international publishing switzerland 11 Treffer
- biomed central 9 Treffer
- public library of science 9 Treffer
- association for computing machinery 8 Treffer
- genie industriel multimedia 8 Treffer
- oxford university press (uk) 8 Treffer
- world scientific publishing 8 Treffer
- frontiers media 7 Treffer
- acm 6 Treffer
- dunod 6 Treffer
- springer berlin / heidelberg 6 Treffer
- acm press 5 Treffer
- inderscience 5 Treffer
- iste 5 Treffer
- lavoisier 5 Treffer
- oxford university press (oup) 5 Treffer
- springer verlag (germany) 5 Treffer
- springer nature switzerland 4 Treffer
- c & s 3 Treffer
- crc press 3 Treffer
- dmfa slovenije 3 Treffer
- dynamic publishers inc., usa 3 Treffer
- ieee computer society 3 Treffer
- ieee cps 3 Treffer
- institution of engineering and technology - hindawi 3 Treffer
- isca 3 Treffer
- publishing association nordic journal of computing 3 Treffer
- springer international publishing 3 Treffer
- springer -verlag 3 Treffer
- taylor & francis 3 Treffer
- trans tech publications 3 Treffer
- a 2 Treffer
- american institute for mathematical sciences 2 Treffer
- cnrst-imist 2 Treffer
- edp sciences 2 Treffer
- elsevier masson 2 Treffer
- experice - universite paris-nord 2 Treffer
- fyp editions 2 Treffer
- graz university of technology, institut fur informationssysteme und computer medien 2 Treffer
- hermann 2 Treffer
Publikation
- issn: 2169-3536 22 Treffer
- issn: 1380-7501 19 Treffer
- issn: 1877-7503 16 Treffer
- issn: 0920-8542 14 Treffer
- issn: 1084-8045 12 Treffer
-
45 weitere Werte:
- issn: 1879-2294 12 Treffer
- issn: 0934-5043 11 Treffer
- issn: 1433-2779 9 Treffer
- issn: 0010-4620 8 Treffer
- issn: 0960-0833 7 Treffer
- issn: 0963-9314 7 Treffer
- issn: 1265-1397 7 Treffer
- issn: 2372-2541 7 Treffer
- 13th international conference on practical applications of agents and multi-agent systems (paams'15) ; https://hal.science/hal-01122557 ; 13th international conference on practical applications of agents and multi-agent systems (paams'15), jun 2015, salamanca, spain. pp.107-119, ⟨10.1007/978-3-319-18944-4_9⟩ 6 Treffer
- 14th international conference on autonomous agents and multiagent systems (aamas) ; https://hal.science/hal-01122523 ; 14th international conference on autonomous agents and multiagent systems (aamas), may 2015, istanbul, turkey. pp.1801-1802 ; http://www.aamas2015.com/en/aamas_2015_usb/aamas/p1801.pdf 6 Treffer
- issn: 1936-6442 6 Treffer
- international journal of sensor networks (ijsn) ; https://hal.science/hal-02993830 ; international journal of sensor networks (ijsn), 2020, 32 (3), pp.127 - 138. ⟨10.1504/ijsnet.2020.105558⟩ 5 Treffer
- issn: 0140-3664 5 Treffer
- issn: 0752-4072 ; eissn: 2116-5920 5 Treffer
- issn: 1367-4803 5 Treffer
- issn: 1932-6203 5 Treffer
- computer communications ; https://hal.science/hal-02993848 ; computer communications, 2020, 150, pp.115 - 121. ⟨10.1016/j.comcom.2019.11.006⟩ 4 Treffer
- euro-par 2023: parallel processing: 29th international conference on parallel and distributed computing, limassol, cyprus, august 28 - september 1, 2023, proceedings ; 29th international european conference on parallel and distributed computing (euro-par 2023) ; https://hal.science/hal-04257315 ; 29th international european conference on parallel and distributed computing (euro-par 2023), aug 2023, limassol, cyprus. pp.229--242, ⟨10.1007/978-3-031-39698-4_16⟩ ; https://link.springer.com/chapter/10.1007/978-3-031-39698-4_16 4 Treffer
- issn: 0167-739x ; future generation computer systems ; https://hal.science/hal-02370471 ; future generation computer systems, 2019, 96, pp.168 - 175. ⟨10.1016/j.future.2019.02.005⟩ 4 Treffer
- issn: 0921-8890 4 Treffer
- issn: 0923-5965 ; eissn: 1879-2677 4 Treffer
- issn: 0956-5515 4 Treffer
- issn: 0960-0833 ; eissn: 1099-1689 4 Treffer
- issn: 1532-0626 ; eissn: 1532-0634 4 Treffer
- issn: 1553-734x 4 Treffer
- issn: 1751-8806 4 Treffer
- 7th international workshop on formal aspects of component software - facs'2010 ; https://inria.hal.science/inria-00541613 ; 7th international workshop on formal aspects of component software - facs'2010, oct 2010, guimaraes, portugal 3 Treffer
- electronic proceedings in theoretical computer science ; 11th international workshop on formal engineering approaches to software components and architectures, satellite event of etaps ; https://hal.science/hal-00935129 ; 11th international workshop on formal engineering approaches to software components and architectures, satellite event of etaps, apr 2014, grenoble, france. 14 p 3 Treffer
- https://hal.science/hal-00495769 ; 2010 3 Treffer
- https://hal.science/hal-03692839 ; 2022, 128 (3), pp.519 - 528 3 Treffer
- international conference on software composition 2012 ; https://hal.science/hal-00699997 ; international conference on software composition 2012, may 2012, prague, czech republic. pp.35-50 3 Treffer
- issn: 0013-9351 3 Treffer
- issn: 0218-1274 3 Treffer
- issn: 0305-215x 3 Treffer
- issn: 0743-7315 3 Treffer
- issn: 1300-686x 3 Treffer
- issn: 1549-8328 ; eissn: 1558-0806 3 Treffer
- issn: 1570-0755 3 Treffer
- issn: 1614-5046 3 Treffer
- issn: 1664-302x 3 Treffer
- issn: 1741-1106 3 Treffer
- issn: 1855-3966 3 Treffer
- issn: 2214-2096 3 Treffer
- issn: 2297-055x ; frontiers in cardiovascular medicine ; https://hal.science/hal-03692848 ; frontiers in cardiovascular medicine, 2022, 9, pp.754609 (13). ⟨10.3389/fcvm.2022.754609⟩ 3 Treffer
- model and data engineering ; https://inria.hal.science/hal-01241302 ; model and data engineering, sep 2015, island of rhodes, greece. ⟨10.1007/978-3-319-23781-7_6⟩ 3 Treffer
Sprache
Geographischer Bezug
Inhaltsanbieter
2.193 Treffer
-
In: Euro-Par 2023: Parallel Processing: 29th International Conference on Parallel and Distributed Computing, Limassol, Cyprus, August 28 – September 1, 2023Online KonferenzZugriff:
-
In: Conférence d’informatique en Parallélisme, Architecture et Système (COMPAS 2023) ; https://hal.science/hal-04257319 ; Conférence d’informatique en Parallélisme, 2023Online KonferenzZugriff:
-
In: Euro-Par 2023: Parallel Processing: 29th International Conference on Parallel and Distributed Computing, Limassol, Cyprus, August 28 – September 1, 2023Online KonferenzZugriff:
-
In: 24ème Congrès annuel de l'association française de Recherche Opérationnelle et d’Aide à la Décision (ROADEF 2023) ; https://hal.science/hal-04257320 ; 24ème Congrès annuel de l'association française de Recherche Opérationnelle et d’Aide à la Décision (ROADEF 2023), Association Française de Recherche Opérationnelle et d’Aide à la Décision, Feb 2023, Rennes, France ; https://roadef2023.sciencesconf.org/, 2023Online KonferenzZugriff:
-
In: Euro-Par 2023: Parallel Processing: 29th International Conference on Parallel and Distributed Computing, Limassol, Cyprus, August 28 – September 1, 2023Online KonferenzZugriff:
-
In: 24e Congrès annuel de la société Française de Recherche Opérationnelle et d’Aide à la Décision (ROADEF 2023) ; https://hal.science/hal-04257320 ; 24e Congrès annuel de la société Française de Recherche Opérationnelle et d’Aide à la Décision (ROADEF 2023), Société Française de Recherche Opérationnelle et d’Aide à la Décision, Feb 2023, Rennes, France ; https://roadef2023.sciencesconf.org/, 2023Online KonferenzZugriff:
-
In: Conférence d’informatique en Parallélisme, Architecture et Système (COMPAS 2023) ; https://hal.science/hal-04257319 ; Conférence d’informatique en Parallélisme, 2023Online KonferenzZugriff:
-
In: Conférence d’informatique en Parallélisme, Architecture et Système (COMPAS 2023) ; https://hal.science/hal-04257319 ; Conférence d’informatique en Parallélisme, 2023Online KonferenzZugriff:
-
In: 2023 International Wireless Communications and Mobile Computing (IWCMC) ; International Wireless Communications and Mobile Computing Conference (IWCMC) ; https://hal.science/hal-04257322 ; International Wireless Communications and Mobile Computing Conference (IWCMC), Jun 2023, Marrakech, Morocco. ⟨10.1109/IWCMC58020.2023.10182755⟩, 2023Online KonferenzZugriff:
-
In: 24ème Congrès annuel de l'association française de Recherche Opérationnelle et d’Aide à la Décision (ROADEF 2023) ; https://hal.science/hal-04257320 ; 24ème Congrès annuel de l'association française de Recherche Opérationnelle et d’Aide à la Décision (ROADEF 2023), Association Française de Recherche Opérationnelle et d’Aide à la Décision, Feb 2023, Rennes, France ; https://roadef2023.sciencesconf.org/, 2023Online KonferenzZugriff:
-
In: Euro-Par 2023: Parallel Processing: 29th International Conference on Parallel and Distributed Computing, Limassol, Cyprus, August 28 – September 1, 2023Online KonferenzZugriff:
-
In: International Wireless Communications and Mobile Computing Conference ; https://hal.science/hal-04224793 ; International Wireless Communications and Mobile Computing Conference, Jun 2023, Marrakech, Morocco, 2023Online KonferenzZugriff:
-
In: COORDINATION 2023 - 25th International Conference on Coordination Models and Languages ; https://inria.hal.science/hal-04098074 ; COORDINATION 2023 - 25th International Conference on Coordination Models and Languages, Jun 2023, Lisbon, Portugal, 2023Online KonferenzZugriff:
-
In: Formal Methods Teaching ; https://hal.science/hal-04238447 ; Formal Methods Teaching, Mar 2023, Lübeck, Germany. ⟨10.1007/978-3-031-27534-0_3⟩, 2023Online KonferenzZugriff:
-
A methodology for emergency calls severity prediction: from pre-processing to BERT-based classifiersIn: IFIP Advances in Information and Communication Technology ; Artificial Intelligence Applications and Innovations conference ; https://hal.science/hal-04224649 ; Artificial Intelligence Applications and Innovations conference, Jun 2023, Leon, Spain. ⟨10.1007/978-3-031-34111-3_28⟩, 2023Online KonferenzZugriff:
-
In: IEEE 28th International Conference on Parallel and Distributed Systems (ICPADS) ; International Conference on Parallel and Distributed Systems ; https://hal.science/hal-04224799 ; International Conference on Parallel and Distributed Systems, Jan 2023, Nanjing, China. ⟨10.1109/ICPADS56603.2022.00064⟩, 2023Online KonferenzZugriff:
-
In: 24éme Congrès annuel de la société Française de Recherche Opérationnelle et d’Aide à la Décision (ROADEF 2023) ; https://hal.science/hal-04224818 ; 24éme Congrès annuel de la société Française de Recherche Opérationnelle et d’Aide à la Décision (ROADEF 2023), Feb 2023, Rennes, France, 2023Online KonferenzZugriff:
-
In: 2023 3rd International Conference on Computer, Control and Robotics (ICCCR) ; International Conference on Computer, 2023Online KonferenzZugriff:
-
In: International Wireless Communications and Mobile Computing Conference ; https://hal.science/hal-04224786 ; International Wireless Communications and Mobile Computing Conference, Jun 2023, Marrakech, Morocco, 2023Online KonferenzZugriff:
-
In: International Conference on Advanced Information Networking and Applications ; https://hal.science/hal-04224816 ; International Conference on Advanced Information Networking and Applications, Mar 2023, Juiz de Fora, Brazil, 2023Online KonferenzZugriff: