Volltext-Artikel, E-Books und Literaturhinweise aus dem EBSCO Discovery Service
"Artikel & mehr" berücksichtigt nur einen Teil der für die Bibliothek der Frankfurt UAS verfügbaren Datenbanken. Zur Übersicht in DBIS
Ergebnis verändern
- Publikationstyp
Publikationstyp- Thema
- erschienen in
- Geographic terms
- Sprache
- Datenbank
-
1
von Thomé, Émilie ; Massif, Matthieu ; Ampere Software Technology ; et al.
Proceeding of ERTS 2026 on Embedded Real Time Systems ; 13th European Congress of Embedded Real Time Systems (ERTS) ; https://hal.science/hal-05513956 ; 13th European Congress of Embedded Real Time Systems (ERTS), Feb 2026, Toulouse, France. ⟨10.82331/ERTS.2026.51⟩ ; https://conference-erts.org/
Schlagworte: Synchronous Paradigm; Functional Reactive Programming; Software-Defined Vehicle; Model-Based Design; [INFO]Computer Science [cs]
-
2
von Bourke, Timothy ; Jeanmaire, Paul ; Pouzet, Marc ; et al.
JFLA 2026 – 37es Journées Francophones des Langages Applicatifs ; https://hal.science/hal-05428043 ; JFLA 2026 – 37es Journées Francophones des Langages Applicatifs, Marie Kerjean; Yannick Zakowski, Jan 2026, Oberbronn, France
Schlagworte: [INFO]Computer Science [cs]
-
3
von Le Guillou, Eve ; Fortin, Pierre ; Tierny, Julien ; et al.
ISSN: 1045-9219 ; IEEE Transactions on Parallel and Distributed Systems ; https://hal.science/hal-05337555 ; IEEE Transactions on Parallel and Distributed Systems, 2026, 37 (1), pp.137 - 154. ⟨10.1109/TPDS.2025.3626047⟩.
Schlagworte: distributed-memory algorithms; persistent homology; high-performance computing; Topological data analysis; [INFO]Computer Science [cs]
-
4
von Clément, Julien ; Genitrini, Antoine ; Groupe de Recherche en Informatique, Image et Instrumentation de Caen (GREYC) ; et al.
ISSN: 1529-3785.
Schlagworte: Boolean Function; Reduced Ordered Binary Decision Diagram; Enumerative Combinatorics; Directed Acyclic Graph; [MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO]
-
5
von Le Guillou, Eve ; Fortin, Pierre ; Tierny, Julien ; et al.
ISSN: 1045-9219 ; IEEE Transactions on Parallel and Distributed Systems ; https://hal.science/hal-05337555 ; IEEE Transactions on Parallel and Distributed Systems, 2026, 37 (1), pp.137 - 154. ⟨10.1109/TPDS.2025.3626047⟩.
Schlagworte: distributed-memory algorithms; persistent homology; high-performance computing; Topological data analysis; [INFO]Computer Science [cs]
-
6
von Clément, Julien ; Genitrini, Antoine ; Groupe de Recherche en Informatique, Image et Instrumentation de Caen (GREYC) ; et al.
ISSN: 1529-3785.
Schlagworte: Boolean Function; Reduced Ordered Binary Decision Diagram; Enumerative Combinatorics; Directed Acyclic Graph; [MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO]
-
7
von Clément, Julien ; Genitrini, Antoine ; Groupe de Recherche en Informatique, Image et Instrumentation de Caen (GREYC) ; et al.
ISSN: 1529-3785.
Schlagworte: Boolean Function; Reduced Ordered Binary Decision Diagram; Enumerative Combinatorics; Directed Acyclic Graph; [MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO]
-
8
von Bodini, Olivier ; Genitrini, Antoine ; Nurligareev, Khaydar ; et al.
https://hal.science/hal-05562485 ; 2026.
Schlagworte: [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]
-
9
von Bodini, Olivier ; Genitrini, Antoine ; Nurligareev, Khaydar ; et al.
https://hal.science/hal-05562485 ; 2026.
Schlagworte: [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]
-
10
von Valnet, Milla ; Monat, Raphaël ; Miné, Antoine ; et al.
https://inria.hal.science/hal-05563571 ; 2026.
Schlagworte: 2012 ACM Subject Classification Software and its engineering → Automated static analysis Theory of computation → Program analysis Software and its engineering → Functional languages Static Value Analysis; Abstract Interpretation; Functional Programming Digital Object Identifier 10.4230/LIPIcs; 2012 ACM Subject Classification Software and its engineering → Automated static analysis; Theory of computation → Program analysis; Software and its engineering → Functional languages Static Value Analysis; [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
-
11
von Bodini, Olivier ; Genitrini, Antoine ; Nurligareev, Khaydar ; et al.
https://hal.science/hal-05562485 ; 2026.
Schlagworte: [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]
-
12
von Campion, Marco ; Mastroeni, Isabella ; Pasqua, Michele ; et al.
https://inria.hal.science/hal-04935306 ; 2026.
Schlagworte: Abstract Lipschitz Continuity; Abstract Interpretation; Partial Completeness; Partial Abstract Non-Interference; Abstract Robustness; [INFO]Computer Science [cs]
-
13
von Curiel, Amaury ; Genitrini, Antoine ; Algorithmes, Programmes et Résolution (APR) ; et al.
https://hal.science/hal-05486059 ; 2026.
Schlagworte: Twentyfold Way; Twelvefold Way; Unranking; Combinatorial generation; Lexicographic order; Thirtyfold Way; [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]
-
14
von Valnet, Milla ; Monat, Raphaël ; Miné, Antoine ; et al.
https://inria.hal.science/hal-05563571 ; 2026.
Schlagworte: 2012 ACM Subject Classification Software and its engineering → Automated static analysis Theory of computation → Program analysis Software and its engineering → Functional languages Static Value Analysis; Abstract Interpretation; Functional Programming Digital Object Identifier 10.4230/LIPIcs; 2012 ACM Subject Classification Software and its engineering → Automated static analysis; Theory of computation → Program analysis; Software and its engineering → Functional languages Static Value Analysis; [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
-
15
von Bodini, Olivier ; Genitrini, Antoine ; Nurligareev, Khaydar ; et al.
https://hal.science/hal-05562485 ; 2026.
Schlagworte: [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]
-
16
von Bodini, Olivier ; Genitrini, Antoine ; Nurligareev, Khaydar ; et al.
https://hal.science/hal-05562485 ; 2026.
Schlagworte: [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]
-
17
von Bodini, Olivier ; Genitrini, Antoine ; Nurligareev, Khaydar ; et al.
https://hal.science/hal-05562485 ; 2026.
Schlagworte: [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]
-
18
von Campion, Marco ; Mastroeni, Isabella ; Pasqua, Michele ; et al.
https://inria.hal.science/hal-04935306 ; 2026.
Schlagworte: Abstract Lipschitz Continuity; Abstract Interpretation; Partial Completeness; Partial Abstract Non-Interference; Abstract Robustness; [INFO]Computer Science [cs]
-
19
von Curiel, Amaury ; Genitrini, Antoine ; Algorithmes, Programmes et Résolution (APR) ; et al.
https://hal.science/hal-05486059 ; 2026.
Schlagworte: Twentyfold Way; Twelvefold Way; Unranking; Combinatorial generation; Lexicographic order; Thirtyfold Way; [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]
-
20
Reusing Caches and Invariants for Efficient and Sound Incremental Static Analysis (Extended Version)
von Razafintsialonina, Mamy ; Bühler, David ; Miné, Antoine ; et al.
39th European Conference on Object-Oriented Programming (ECOOP 2025); https://hal.science/hal-05110966; 39th European Conference on Object-Oriented Programming (ECOOP 2025), Jun 2025, Bergen, Norway
Schlagworte: Abstract Interpretation; Static Analysis; Incremental Analysis; [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
-
21
von Monat, Raphaël ; Ouadjaout, Abdelraouf ; Miné, Antoine ; et al.
Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2025 ; https://inria.hal.science/hal-04968769 ; Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2025, May 2025, Hamilton, Ontario, Canada
Schlagworte: Static Analysis; Abstract Interpretation; SV-Comp; Competition on Software Verification; [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]; [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
-
22
von Valnet, Milla ; Monat, Raphaël ; Miné, Antoine ; et al.
Leibniz International Proceedings in Informatics ; 39th European Conference on Object-Oriented Programming (ECOOP 2025) ; https://hal.science/hal-05047369 ; 39th European Conference on Object-Oriented Programming (ECOOP 2025), Jun 2025, Bergen, Norway. pp.15, ⟨10.4230/LIPIcs.ECOOP.2025.15⟩
Schlagworte: Abstract Interpretation; Static Value Analysis; Functional Programming; [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
-
23
von Monat, Raphaël ; Ouadjaout, Abdelraouf ; Miné, Antoine ; et al.
Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2025 ; https://inria.hal.science/hal-04968769 ; Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2025, May 2025, Hamilton, Ontario, Canada
Schlagworte: Static Analysis; Abstract Interpretation; SV-Comp; Competition on Software Verification; [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]; [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
-
24
von Valnet, Milla ; Monat, Raphaël ; Miné, Antoine ; et al.
Leibniz International Proceedings in Informatics ; 39th European Conference on Object-Oriented Programming (ECOOP 2025) ; https://hal.science/hal-05047369 ; 39th European Conference on Object-Oriented Programming (ECOOP 2025), Jun 2025, Bergen, Norway. pp.15, ⟨10.4230/LIPIcs.ECOOP.2025.15⟩
Schlagworte: Abstract Interpretation; Static Value Analysis; Functional Programming; [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
-
25
von Kissi, Mohamed Amine ; Sisouk, Keanu ; Levine, Joshua, A ; et al.
https://topoinvis-workshop.github.io/2025/program.html ; IEEE Workshop on Topological Data Analysis and Visualization ; https://hal.science/hal-05338058 ; IEEE Workshop on Topological Data Analysis and Visualization, Nov 2025, Vienna, Austria.
Schlagworte: persistence optimization; topological data analysis; neural networks; Temporal interpolation; [INFO]Computer Science [cs]
Hilfe & Kontakt ǀ Fernleihe | Hilfe zur Fernleihe ǀ Literaturvorschlag| Literaturvorschlag