UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

A journey among Java neutral program variants

Genetic programming and evolvable machines, 2019-12, Vol.20 (4), p.531-580

2019

Volltextzugriff (PDF)

Efficient high-level programming in plain java

International journal of parallel programming, 2023-02, Vol.51 (1), p.22-42

2023

Volltextzugriff (PDF)

BejaGNN: behavior-based Java malware detection via graph neural network

The Journal of supercomputing, 2023-09, Vol.79 (14), p.15390-15414

2023

Volltextzugriff (PDF)

Seismotectonic Studies to Determine the Recurrence of Earthquakes Mw > 7 Using a Statistical Approach and Plate Motion in the Megathrust Western Part of Java

Geotechnical and geological engineering, 2023-03, Vol.41 (2), p.1397-1406

2023

Volltextzugriff (PDF)

Fungible and non-fungible tokens with snapshots in Java

Cluster computing, 2023-10, Vol.26 (5), p.2701-2718

2023

Volltextzugriff (PDF)

Integrating formal specifications into applications: the ProB Java API

Formal methods in system design, 2021-10, Vol.58 (1-2), p.160-187

2021

Volltextzugriff (PDF)

Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis

Automated software engineering, 2013-09, Vol.20 (3), p.391-425

2013

Volltextzugriff (PDF)

Multi-level emulation of tsunami simulations over Cilacap, South Java, Indonesia

Computational geosciences, 2023-02, Vol.27 (1), p.127-142

2023

Volltextzugriff (PDF)

Spatial distribution and pollution assessment of metals in sediments along the industrialized coast of East Java, Indonesia

Environmental geochemistry and health, 2024-06, Vol.46 (6), p.205, Article 205

2024

Volltextzugriff (PDF)

Inferring visual contracts from Java programs

Automated software engineering, 2018-12, Vol.25 (4), p.745-784

2018

Volltextzugriff (PDF)

Comparing apples and oranges? Investigating the consistency of CPU and memory profiler results across multiple java versions

Automated software engineering, 2024-05, Vol.31 (1), p.28, Article 28

2024

Volltextzugriff (PDF)

Mining Reusable Software Components from Object-Oriented Source Code using Discrete PSO and Modeling Them as Java Beans

Information systems frontiers, 2020-12, Vol.22 (6), p.1519-1537

2020

Volltextzugriff (PDF)

Automated refactoring of legacy Java software to enumerated types

Automated software engineering, 2017-12, Vol.24 (4), p.757-787

Khatchadourian, Raffi

2017

Volltextzugriff (PDF)

Mechanising a Type-Safe Model of Multithreaded Java with a Verified Compiler

Journal of automated reasoning, 2018-06, Vol.61 (1-4), p.243-332

Lochbihler, Andreas

2018

Volltextzugriff (PDF)

Online Genetic Improvement on the java virtual machine with ECSELR

Genetic programming and evolvable machines, 2017-03, Vol.18 (1), p.83-109

2017

Volltextzugriff (PDF)

J2M: a Java to MapReduce translator for cloud computing

The Journal of supercomputing, 2016-05, Vol.72 (5), p.1928-1945

2016

Volltextzugriff (PDF)

Keyword programming in Java

Automated software engineering, 2009-03, Vol.16 (1), p.37-71

2009

Volltextzugriff (PDF)

How effective are existing Java API specifications for finding bugs during runtime verification?

Automated software engineering, 2019-12, Vol.26 (4), p.795-837

2019

Volltextzugriff (PDF)

Eliminating object reference checks by escape analysis on real-time Java virtual machine

Cluster computing, 2019-07, Vol.22 (Suppl 4), p.9323-9334

2019

Volltextzugriff (PDF)

Refactoring techniques for aggressive object inlining in Java applications

Automated software engineering, 2012-03, Vol.19 (1), p.97-136

2012

Volltextzugriff (PDF)

A simple distributed garbage collector for distributed real-time Java

The Journal of supercomputing, 2014-12, Vol.70 (3), p.1588-1616

2014

Volltextzugriff (PDF)

FastMPJ: a scalable and efficient Java message-passing library

Cluster computing, 2014-09, Vol.17 (3), p.1031-1050

2014

Volltextzugriff (PDF)

Towards Scalable Java HPC with Hybrid and Native Communication Devices in MPJ Express

International journal of parallel programming, 2016-12, Vol.44 (6), p.1142-1172

2016

Volltextzugriff (PDF)

Java Bytecode Verification: Algorithms and Formalizations

Journal of automated reasoning, 2003-05, Vol.30 (3-4), p.235-269

Leroy, Xavier

2003

Volltextzugriff (PDF)

Analyzing Program Termination and Complexity Automatically with AProVE

Journal of automated reasoning, 2017, Vol.58 (1), p.3-31

2017

Volltextzugriff (PDF)

1 – 25 von 4.463

Suche als RSS-Feed

Aktive Filter

KollektionIngenta.com

Zeitschrift / SerieIop Conference Series: Materials Science And Engineering

KollektionJournals@Ovid Ovid Full Text

ThemaTechnology

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(4.253)
Mit Volltextzugriff
(4.375)

Publikationsform

Artikel
(4.463)

Sprache

Englisch
(4.463)

Erscheinungsjahr

n.n

Thema

Science & Technology
(4.428)
Computer Science
(3.751)
Computer Science, Theory & Methods
(2.262)
Computer Science, Information Systems
(1.851)
Engineering
(1.690)
Algorithms
(1.339)
Computer Communication Networks
(1.293)
Engineering, Electrical & Electronic
(1.275)
Processor Architectures
(1.263)
Artificial Intelligence
(1.204)
Computer Science, Artificial Intelligence
(995)
Studies
(911)
Data Structures And Information Theory
(864)
Computer Science, Software Engineering
(851)
Multimedia Information Systems
(741)
Special Purpose And Application-Based Systems
(690)
Software
(688)
Programming Languages
(657)
Compilers
(542)

14 weitere anzeigen...

Weniger anzeigen...

Zeitschrift / Serie

5 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

... seit 30 Tagen
(2)
... seit 90 Tagen
(11)

Menü

Weitere Dienste

Einstellungen

A journey among Java neutral program variants

Efficient high-level programming in plain java

BejaGNN: behavior-based Java malware detection via graph neural network

Seismotectonic Studies to Determine the Recurrence of Earthquakes Mw > 7 Using a Statistical Approach and Plate Motion in the Megathrust Western Part of Java

Fungible and non-fungible tokens with snapshots in Java

Integrating formal specifications into applications: the ProB Java API

Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis

Multi-level emulation of tsunami simulations over Cilacap, South Java, Indonesia

Spatial distribution and pollution assessment of metals in sediments along the industrialized coast of East Java, Indonesia

Inferring visual contracts from Java programs

Comparing apples and oranges? Investigating the consistency of CPU and memory profiler results across multiple java versions

Mining Reusable Software Components from Object-Oriented Source Code using Discrete PSO and Modeling Them as Java Beans

Automated refactoring of legacy Java software to enumerated types

Mechanising a Type-Safe Model of Multithreaded Java with a Verified Compiler

Online Genetic Improvement on the java virtual machine with ECSELR

J2M: a Java to MapReduce translator for cloud computing

Keyword programming in Java

How effective are existing Java API specifications for finding bugs during runtime verification?

Eliminating object reference checks by escape analysis on real-time Java virtual machine

Refactoring techniques for aggressive object inlining in Java applications

A simple distributed garbage collector for distributed real-time Java

FastMPJ: a scalable and efficient Java message-passing library

Towards Scalable Java HPC with Hybrid and Native Communication Devices in MPJ Express

Java Bytecode Verification: Algorithms and Formalizations

Analyzing Program Termination and Complexity Automatically with AProVE

Aktive Filter

Suchergebnisse filtern