Volltext-Artikel, eBooks und vieles mehr aus dem EBSCO Discovery Service

Das Gesuchte nicht gefunden? Schauen Sie in der Onleihe oder machen Sie einen Kaufvorschlag

Treffer 181 - 200 von 7.101

181

Vector Fortran for Numerical Problems on CRAY-1.
Petersen, W. P. ; Swarztrauber, Paul
Communications of the ACM. Nov83, Vol. 26 Issue 11, p1008-1021. 14p. 29 Diagrams.

SYSTEMS software COMPILERS (Computer prog... SILICON compilers FORTRAN AUTOSATE FAP (Computer program la...
Zeitschrift
182

A PRACTICAL TOOL KIT FOR MAKING PORTABLE COMPILERS.
Tanenbaum, Andrew S. ; van Staveren, Hans ; Keizer, E. G. ; et al.
Communications of the ACM. Sep83, Vol. 26 Issue 9, p654-660. 7p. 2 Diagrams.

SYSTEMS software COMPUTER software ASSEMBLY languages (Elec... COMPILERS (Computer prog... INTERPRETERS (Computer p... SOURCE code
Zeitschrift
183

An Event-Driven Compiling Technique.
Banatre, J.P. ; Routeau, J.P. ; Trilling, L.
Communications of the ACM. Jan1979, Vol. 22 Issue 1, p34-42. 9p.

COMPILERS (Computer prog... ALGOL (Computer program...
Zeitschrift
184

基于元模型的 Simulink 静态分析技术.
王 瑞 ; 陈 静 ; 王坤龙 ; et al.
Application Research of Computers / Jisuanji Yingyong Yanjiu. Jan2022, Vol. 39 Issue 1, p206-213. 8p.

DIRECTED graphs COMPILERS (Computer prog... SPEED
Fachzeitschrift
185

DOTMIX-Pro: faster and more efficient variants of DOTMIX for dynamic-multithreading platforms.
Ritchie, Robert ; Bibak, Khodakhast
Journal of Supercomputing. Jan2022, Vol. 78 Issue 1, p945-961. 17p.

INTEL Corp. COMPILERS (Computer prog... DEBUGGING GENEALOGY
Fachzeitschrift
186

PhD Abstracts.
HUTTON, GRAHAM
Journal of Functional Programming. 2022, Vol. 32, p1-11. 11p.

PROGRAMMING languages COMPILERS (Computer prog... PATTERN matching DIFFERENTIAL forms MATHEMATICAL formulas DIFFERENTIAL operators
Fachzeitschrift
187

ANF preserves dependent types up to extensional equality.
KORONKEVICH, PAULETTE ; RAKOW, RAMON ; AHMED, AMAL ; et al.
Journal of Functional Programming. 2022, Vol. 32, p1-53. 53p.

COMPILERS (Computer prog... NATURAL numbers
Fachzeitschrift
188

Compiler-directed scratchpad memory data transfer optimization for multithreaded applications on a heterogeneous many-core architecture.
Tao, Xiaohan ; Pang, Jianmin ; Xu, Jinlong ; et al.
Journal of Supercomputing. Dec2021, Vol. 77 Issue 12, p14502-14524. 23p.

COMPILERS (Computer prog... SCIENTIFIC computing MEMORY ENERGY consumption DATA analysis ELECTRONIC data processi...
Fachzeitschrift
189

A Survey of Programming Language Memory Models.
Moiseenko, E. ; Podkopaev, A. ; Koznov, D.
Programming & Computer Software. Nov2021, Vol. 47 Issue 6, p439-456. 18p.

PROGRAMMING languages COMPILERS (Computer prog... MEMORY MODERN languages
Fachzeitschrift
190

A compiler for multi-key homomorphic signatures for Turing machines.
Dolatnezhad Samarin, Somayeh ; Fiore, Dario ; Venturi, Daniele ; et al.
Theoretical Computer Science. Oct2021, Vol. 889, p145-170. 26p.

TURING machines COMPILERS (Computer prog...
Fachzeitschrift
191

Correct program parallelisations.
Blom, S. ; Darabi, S. ; Huisman, M. ; et al.
International Journal on Software Tools for Technology Transfer. Oct2021, Vol. 23 Issue 5, p741-763. 23p.

COMPOSITION operators COMPILERS (Computer prog... SOFTWARE verification SYNTAX (Grammar) PARALLEL programming
Fachzeitschrift
192

Quarterly News Digest.
Mosteo, Alejandro R.
Ada User Journal. Sep-Dec2021, Vol. 42 Issue 3/4, p130-168. 39p.

COMPILERS (Computer prog... OPTICAL character recogn... OPEN source software
Fachzeitschrift
193

CRState: checkpoint/restart of OpenCL program for in-kernel applications.
Chen, Genlang ; Zhang, Jiajian ; Zhu, Zufang ; et al.
Journal of Supercomputing. Jun2021, Vol. 77 Issue 6, p5426-5467. 42p.

GRAPHICS processing unit... COMPILERS (Computer prog... COMPUTATIONAL complexity FAULT-tolerant computing
Fachzeitschrift
194

Ada and Other Languages.
Mosteo, Alejandro R.
Ada User Journal. Jun2021, Vol. 42 Issue 2, p77-80. 4p.

COMPILERS (Computer prog... DATA structures LANGUAGE & languages PROGRAMMING languages VIRTUAL machine systems REFUSE collection
Fachzeitschrift
195

Ada Practice.
Mosteo, Alejandro R.
Ada User Journal. Jun2021, Vol. 42 Issue 2, p80-92. 13p.

COMPILERS (Computer prog... PROGRAMMING languages REFUSE collection BUILDING failures
Fachzeitschrift
196

Ada-related Tools.
Mosteo, Alejandro R.
Ada User Journal. Jun2021, Vol. 42 Issue 2, p69-77. 9p.

COMPILERS (Computer prog... SOFTWARE engineering MULTIPLE scattering (Phy...
Fachzeitschrift
197

Deterministic algorithms for compiling quantum circuits with recurrent patterns.
Ferrari, Davide ; Tavernelli, Ivano ; Amoretti, Michele
Quantum Information Processing. Jun2021, Vol. 20 Issue 6, p1-21. 21p.

POLYNOMIAL time algorith... COMPILERS (Computer prog... ALGORITHMS DETERMINISTIC algorithms HEURISTIC
Fachzeitschrift
198

Efficient code development for improving execution performance in high-performance computing centers.
Corral-García, Javier ; Lemus-Prieto, Felipe ; Pérez-Toledano, Miguel-Ángel
Journal of Supercomputing. Apr2021, Vol. 77 Issue 4, p3261-3288. 28p.

COMPILERS (Computer prog... PARALLEL programming TEST design
Fachzeitschrift
199

The OpenMP API for High Integrity Systems: Moving Responsibility from Users to Vendors.
Klemm, Michael ; Quiñones, Eduardo ; Taft, Tucker ; et al.
Ada User Journal. Mar2021, Vol. 42 Issue 1, p39-42. 4p.

COMPILERS (Computer prog... RESPONSIBILITY PROGRAMMING languages PARALLEL programming SYSTEMS development
Fachzeitschrift
200

XERIS/APEX: Hyperscaling with Ada.
Wai, Richard
Ada User Journal. Mar2021, Vol. 42 Issue 1, p43-47. 5p.

COMPILERS (Computer prog... MODERN architecture MESSAGE passing (Compute... JAVASCRIPT programming l...
Fachzeitschrift

Filter