• Suche: "Computer languages"

Treffer 1 - 20 von 1.142

1

Productivity, Portability, Performance, and Reproducibility: Data-Centric Python
Alexandros Nikolaos Ziogas ; Timo Schneider ; Tal Ben-Nun ; et al.
IEEE Transactions on Parallel and Distributed Systems, 36 (5)

distributed computing Computer languages high-performance computi... dataflow computing parallel programming Python
Fachzeitschrift
Zu den Favoriten
2

A Relational Theory of Monadic Rewriting Systems, Part I
Faggian, Claudia ; Gavazzo, Francesco ; Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)) ; et al.
LICS 2021 - 36th Annual ACM/IEEE Symposium on Logic in Computer Science. :1-14

Rome, France Computer science Sufficient conditions Computer languages Algebra Computational modeling …
Konferenz
Zu den Favoriten
3

Performance of a high-order MPI-Kokkos accelerated fluid solver
Sporykhin, Filipp ; Homann, Holger
In Computer Physics Communications January 2026 318

Fachzeitschrift
Zu den Favoriten
4

Educating Augmented Programmers
Sánchez Gordón, Mary ; Tovar Caro, Edmundo ; Colomo Palacios, Ricardo ; et al.
Computer, ISSN 1558-0814, 2023-12-01, Vol. 56, No. 12
Archivo Digital UPM
Universidad Politécnica de Madrid

Informática Artificial intelligence Programming environments Human factors Computer languages Computer science educati...
Fachzeitschrift
Zu den Favoriten
5

Robust Safety for Move
Patrignani, M ; Blackshear, S
2023 IEEE 36th Computer Security Foundations Symposium (CSF). :308-323

FOS: Computer and inform... Computer Science - Progr... Encapsulation, Computer... 0202 electrical engineer... 0102 computer and inform... 02 engineering and techn... …
Fachzeitschrift
Zu den Favoriten
6

ContraBERT: Enhancing Code Pre-trained Models via Contrastive Learning
LIU, Shangqing ; WU, Bozhi ; XIE, Xiaofei ; et al.
2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE). :2476-2487

Software Engineering (cs... FOS: Computer and inform... computer languages perturbation methods Computer Science - Softw... Artificial Intelligence... …
Fachzeitschrift
Zu den Favoriten
7

TECHSUMBOT: A Stack Overflow Answer Summarization Tool for Technical Query
YANG, Chengran ; XU, Bowen ; LIU, Jiakun ; et al.
2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion). :132-135

Benchmark testing Software engineering Artificial Intelligence... Theory and Algorithms Search engines Manuals …
Fachzeitschrift
Zu den Favoriten
8

Identification and Evaluation of Pitfalls in the Migration From IEC 61131-3 to IEC 61499: A Review
Ashiwal, Virendra ; Miguel-Escrig, Oscar ; Wiesmayr, Bianca ; et al.

IEC Standards Standards Codes Automation Software Systematic literature re... …
Fachzeitschrift
Zu den Favoriten
9

Comparison of the most used javascript frameworks through the creation of a web application: Comparison of the most used JavaScript frameworks when creating a web application
Andi, Kerly ; Ramirez, Diego ; Chango Sailema, Wilson Gustavo
Mikarimin. Revista Científica Multidisciplinaria; Vol. 10 Núm. 3 (2024): Septiembre-Diciembre; 81-100

comparativa aplicacion informática computer languages frameworks Lenguaje de programación... Framework …
Fachzeitschrift
Zu den Favoriten
10

Computer Languages/Debugging/Hacking.
Rao, Kate
School Library Journal. Fall2024 Series Made Simple, Vol. 70, p55-56. 2p.

Nonfiction Computer Science 101: Co... Computer Science 101: De... Computer Science 101: Ha... Holmes, Kirsty Das, Priyanka …
Rezension
Zu den Favoriten
11

poST: A Process-Oriented Extension of the IEC 61131-3 Structured Text Language
Zyubin, Vladimir E. ; Rozov, Andrei S. ; Anureev, Igor S. ; et al.
IEEE Access, Vol 10, Pp 35238-35250 (2022)

Mathematical models Standards 0209 industrial biotechn... ta213 IEC Standards 0102 computer and inform... …
Fachzeitschrift
Zu den Favoriten
12

Model-checking infinite-state nuclear safety I&C systems with nuXmv
Pakonen Antti
2021 IEEE 19th International Conference on Industrial Informatics (INDIN). :1-6

ta113 Tools Signal processing 0202 electrical engineer... Heuristic algorithms Manuals …
Fachzeitschrift
Zu den Favoriten
13

Commutative Monads for Probabilistic Programming Languages
Jia, Xiaodong ; Lindenhovius, Bert ; Mislove, Michael ; et al.
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). :1-14

FOS: Computer and inform... Computer Science - Logic... Calculus [INFO.INFO-LO] Computer... Computer Science - Progr... Cost accounting …
Fachzeitschrift
Zu den Favoriten
14

History of Abstract Interpretation
Roberto Giacobazzi ; Francesco Ranzato
IEEE Annals of the History of Computing. 44:33-43

0202 electrical engineer... Semantics , Mathematical... 0102 computer and inform... 02 engineering and techn... 01 natural sciences
Fachzeitschrift
Zu den Favoriten
15

A new P-Lingua toolkit for agile development in membrane computing
Pérez Hurtado de Mendoza, Ignacio ; Orellana Martín, David ; Martínez del Amor, Miguel Ángel ; et al.
idUS. Depósito de Investigación de la Universidad de Sevilla
Universidad de Sevilla (US)
instname

Membrane computing 0202 electrical engineer... Software tools 0102 computer and inform... 02 engineering and techn... Computer simulation …
Fachzeitschrift
Zu den Favoriten
16

Code Generation Using Machine Learning: A Systematic Review
Enrique Dehaerne ; Bappaditya Dey ; Sandip Halder ; et al.
IEEE Access, Vol 10, Pp 82434-82455 (2022)

Technology data collection Documentation text mining 02 engineering and techn... 46 Information and compu... …
Fachzeitschrift
Zu den Favoriten
17

Enabling Type Checking on Columns in Data Frame Libraries by Abstract Interpretation
Yungyu Zhuang ; Ming-Yang Lu
IEEE Access, Vol 10, Pp 14418-14428 (2022)

source code analysis computer languages type checking Data frames static program analysis 0103 physical sciences …
Fachzeitschrift
Zu den Favoriten
18

Deep Transfer Bug Localization
Xuan Huo ; Ferdian Thung ; Ming Li ; et al.
IEEE Transactions on Software Engineering. 47:1368-1380

Cross-project bug locali... Computer bugs Task analysis Encoding Data models 0202 electrical engineer... …
Fachzeitschrift
Zu den Favoriten
19

Theoretical Computer Science in Italy: The Early Years
Giorgio Ausiello ; Giorgio Gambosi ; Ausiello, G ; et al.
IEEE Annals of the History of Computing. 43:44-56

Europe Physics Markov processes 4. Education Computational modeling 0102 computer and inform... …
Fachzeitschrift
Zu den Favoriten
20

Same File, Different Changes: The Potential of Meta-Maintenance on GitHub
HATA, Hideaki ; KULA, Raula ; ISHIO, Takashi ; et al.
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE). :773-784

Tools Software Engineering (cs... FOS: Computer and inform... Computer Science - Softw... Software engineering Statistical analysis …
Fachzeitschrift
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter