• Suche: "Computer Programs"

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 201 - 220 von 165.457

201

Dieses Ergebnis kann Gästen nicht angezeigt werden.

202

Dieses Ergebnis kann Gästen nicht angezeigt werden.

203

Dieses Ergebnis kann Gästen nicht angezeigt werden.

204

Dieses Ergebnis kann Gästen nicht angezeigt werden.

205

Dieses Ergebnis kann Gästen nicht angezeigt werden.

206

Practical Verification of Peephole Optimizations with Alive.
Lopes, Nuno P. ; Menendez, David ; Nagarakatte, Santosh ; et al.
Communications of the ACM. Feb2018, Vol. 61 Issue 2, p84-91. 8p. 6 Diagrams, 2 Charts.

COMPUTER programming PROGRAMMING languages COMPILERS (Computer prog... DEBUGGING CODING theory
Zeitschrift
Zur Merkliste hinzufügen
207

Dieses Ergebnis kann Gästen nicht angezeigt werden.

208

Specifying and Verifying Programs Over the MCA ARMv8 Architecture with TLA+.
Xiao, Lili ; Hou, Zhiru ; Zhu, Huibiao ; et al.
Journal of Circuits, Systems & Computers; 1/15/2026, Vol. 35 Issue 1, p1-21, 21p

SOFTWARE verification COMPUTER architecture SYNCHRONIZATION FORMAL methods (Computer... FORMAL languages PARALLEL programs (Compu... …
Fachzeitschrift
Zur Merkliste hinzufügen
209

Heuristics Analyses of Smart Contracts Bytecodes and Their Classifications.
Udokwu, Chibuzor ; Mirhosseini, Seyed Amid Moeinzadeh ; Craß, Stefan
Electronics (2079-9292); Jan2026, Vol. 15 Issue 1, p41, 19p

CLASSIFICATION RISK assessment COMPILERS (Computer prog... COMPUTER security vulner... BLOCKCHAINS
Fachzeitschrift
Zur Merkliste hinzufügen
210

Assessment of Multicore Processor Soft Error Reliability Using BBRO‐DNN and SSF‐FIS Models.
Jadhav, Usha ; Malathi, P.
Concurrency & Computation: Practice & Experience; Jan2026, Vol. 38 Issue 1, p1-32, 32p

MULTICORE processors SOFT errors RELIABILITY in engineeri... COMPILERS (Computer prog... VIRTUAL machine systems FAILURE analysis …
Fachzeitschrift
Zur Merkliste hinzufügen
211

Constraint-Efficient Comparators via Weighted Accumulation.
Guzmán-Albiol, Marc ; Bellés-Muñoz, Marta ; Genés-Durán, Rafael ; et al.
Mathematics (2227-7390); Dec2025, Vol. 13 Issue 24, p3959, 25p

COMPARATOR circuits BINARY number system CONSTRAINT satisfaction ALGORITHMS COMPILERS (Computer prog... CONSTRAINT programming
Fachzeitschrift
Zur Merkliste hinzufügen
212

The Creation of Alternatives for the Built-in Apps in the Android System to Increase Productivity.
Szabo, Roland
Applied Sciences (2076-3417); Dec2025, Vol. 15 Issue 24, p13279, 23p

ANDROID (Operating syste... MOBILE apps COMPUTER software develo... SOFTWARE productivity UTILITIES (Computer prog... COMPUTER file management
Fachzeitschrift
Zur Merkliste hinzufügen
213

Real-time browser-integrated phishing uniform resource locator detection via deep learning and fuzzy matching.
Dam Minh Linh ; Han Minh Chau ; Huynh Trong Thua ; et al.
Bulletin of Electrical Engineering & Informatics; Dec2025, Vol. 14 Issue 6, p4876-4889, 14p

GOOGLE Chrome (Computer... PHISHING UNIFORM Resource Locator... INTERNET security PLUG-ins (Computer progr... DEEP learning
Fachzeitschrift
Zur Merkliste hinzufügen
214

ارائه راهکارهای طراحی اقلیمی در اقلیم گرم و خشک نمونه موردی شهر شیراز. (Persian)
تارا حیدری ارجلو ; افشین قربانی پار ; فرامرز حسن پور
Journal of Applied Researches in Geographical Sciences; 2025, Vol. 25 Issue 79, p430-445, 16p

CLIMATIC zones THERMAL comfort PLUG-ins (Computer progr... SPRING COOLING systems
Fachzeitschrift
Zur Merkliste hinzufügen
215

The ArborX Library: Version 2.0.
PROKOPENKO, ANDREY ; ARNDT, DANIEL ; LEBRUN-GRANDIÉ, DAMIEN ; et al.
ACM Transactions on Mathematical Software; Dec2025, Vol. 51 Issue 4, p1-10, 10p

DATA structures ALGORITHMS SUBROUTINES (Computer pr... HIGH performance computi...
Fachzeitschrift
Zur Merkliste hinzufügen
216

Preserving provability over GPU program optimizations with annotation-aware transformations.
Şakar, Ömer ; Safari, Mohsen ; Huisman, Marieke ; et al.
Formal Methods in System Design; Dec2025, Vol. 67 Issue 3, p316-372, 57p

PROGRAM transformation SOFTWARE verification OPTIMIZATION algorithms PARALLEL programs (Compu... SCIENTIFIC observation
Fachzeitschrift
Zur Merkliste hinzufügen
217

An Innovative Heuristic to Detect Special States in Concurrent Software Systems.
Pira, Einollah ; Rouhi, Alireza
Quality & Reliability Engineering International; Dec2025, Vol. 41 Issue 8, p3686-3697, 12p

HEURISTIC VERIFICATION of computer... SOFTWARE development too... COMPUTER performance STATE-space methods SOFTWARE validation …
Fachzeitschrift
Zur Merkliste hinzufügen
218

A closed loop methodology for two-dimensional multi-material topology optimization in Grasshopper using the generalized SIMP method.
Damtsas, Efstathios ; Banh, Thanh T. ; Lee, Dongkyu ; et al.
Architectural Science Review. Dec2025, Vol. 68 Issue 6, p519-533. 15p.

MatLab (Computer softwar... Architectural design Plug-ins (Computer progr... Structural optimization Computer software Composite materials
Fachzeitschrift
Zur Merkliste hinzufügen
219

Legacy Code, Live Risk: Empirical Evidence of Malware Detection Gaps.
Huang, Gang-Cheng ; Lai, Tai-Hung
Applied Sciences (2076-3417); Nov2025, Vol. 15 Issue 22, p11862, 18p

MALWARE PROGRAMMING languages LEGACY systems COMPILERS (Computer prog... MALWARE prevention INTERNET security
Fachzeitschrift
Zur Merkliste hinzufügen
220

Automated measurement of detectability index in CT imaging: Development and validation.
Anam, Choirul ; Naufal, Ariij ; Arifin, Zaenal ; et al.
Journal of Applied Clinical Medical Physics; Nov2025, Vol. 26 Issue 11, p1-15, 15p

COMPUTED tomography COMPUTER software develo... SIGNAL processing IMAGING phantoms MODEL validation SUBROUTINES (Computer pr... …
Fachzeitschrift
Zur Merkliste hinzufügen
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter