• Suche: The Java virtual machine specification

Treffer 1 - 20 von 27.935

3

Towards an Algebraic Specification of the Java Virtual Machine
Prospects for Hardware Foundations
Stephenson, K.
LECTURE NOTES IN COMPUTER SCIENCE. (1546):236-277

Zeitschrift
Merkliste
4

A selective dynamic compiler for embedded Java virtual machines targeting ARM processors
Debbabi, Mourad ; Gherbi, Abdelouahed ; Mourad, Azzam ; et al.
In Science of Computer Programming 2006 59(1):38-63

Fachzeitschrift
Merkliste
5

Rapid Prototyping of a Co-Designed Java Virtual Machine
Rapid system prototyping; shortening the path from specification to prototype
Kent, K. ; Ma, H. ; Serra, M.
IEEE INTERNATIONAL WORKSHOP ON RAPID SYSTEM PROTOTYPING. 15:164-173

Konferenz
Merkliste
7

Design and performance analysis of a distributed Java Virtual Machine
Surdeanu, M. ; Moldovan, D.
IEEE Transactions on Parallel and Distributed Systems IEEE Trans. Parallel Distrib. Syst. Parallel and Distributed Systems, IEEE Transactions on. 13(6):611-627 Jun, 2002

Fachzeitschrift
Merkliste
10

Java Virtual Machine monitoring for dependability benchmarking
Orlando, S. ; Russo, S.
Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'06) Object and Component-Oriented Real-Time Distributed Computing Object and Component-Oriented Real-Time Distributed Computing, 2006. ISORC 2006. Ninth IEEE International Symposium on. :8 pp. 2006

Konferenz
Merkliste
11

A selective dynamic compiler for embedded Java virtual machines targeting ARM processors
Mourad, Azzam ; Debbabi, Mourad ; Gherbi, Abdelouahed ; et al.

E-Ressource
Merkliste
12

Barracuda: a dynamic, Turing-complete GPU virtual machine for high-performance simulations.
Duncan-Gelder P ; O'Keeffe D ; Bones PJ ; et al.
Publisher: Springer Country of Publication: United States NLM ID: 7704869 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 1741-0444 (Electronic) Linking ISSN: 01400118 NLM ISO Abbreviation: Med Biol Eng Comput Subsets: MEDLINE

Fachzeitschrift
Merkliste
13

Dynamic semantics of Java bytecode
Bertelsen, Peter
In Future Generation Computer Systems 2000 16(7):841-850

Fachzeitschrift
Merkliste
14

Hard real-time garbage collection in the Jamaica virtual machine
Siebert, F.
Proceedings Sixth International Conference on Real-Time Computing Systems and Applications. RTCSA'99 (Cat. No.PR00306) Real-time computing systems and applications Real-Time Computing Systems and Applications, 1999. RTCSA '99. Sixth International Conference on. :96-102 1999

Konferenz
Merkliste
15

Encoding the Java Virtual Machine's Instruction Set
Eichberg, Michael ; Sewe, Andreas
ENTCS: Electronic Notes in Theoretical Computer Science. Feb2011, Vol. 264 Issue 4, p35-50. 16p.

Data encryption Virtual machine systems Data flow computing XML (Extensible Markup L... Computer software develo...
Zeitschrift
Merkliste
16

Challenges in Implementing the Real-Time Specification for Java (RTSJ) in a Commercial Real-Time Java Virtual Machine
Dawson, Michael H.
2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC) Object Oriented Real-Time Distributed Computing (ISORC), 2008 11th IEEE International Symposium on. :241-247 May, 2008

Konferenz
Merkliste
17

Re-engineering ERC-20 Smart Contracts with Efficient Snapshots for the Java Virtual Machine
Crosara, Marco ; Olivieri, Luca ; Spoto, Fausto ; et al.
2021 Third International Conference on Blockchain Computing and Applications (BCCA) Blockchain Computing and Applications (BCCA), 2021 Third International Conference on. :187-194 Nov, 2021

Konferenz
Merkliste
18

Automated Conformance Testing of Java Virtual Machines
Calvagna, Andrea ; Tramontana, Emiliano
2013 Seventh International Conference on Complex, Intelligent, and Software Intensive Systems Complex, Intelligent, and Software Intensive Systems (CISIS), 2013 Seventh International Conference on. :547-552 Jul, 2013

Konferenz
Merkliste
19

Hardware/software co-design of a Java virtual machine
Kent, K.B. ; Serra, M.
Proceedings 11th International Workshop on Rapid System Prototyping. RSP 2000. Shortening the Path from Specification to Prototype (Cat. No.PR00668) Rapid system prototype Rapid System Prototyping, 2000. RSP 2000. Proceedings. 11th International Workshop on. :66-71 2000

Konferenz
Merkliste
20

Optimizing object reference checks on real-time Java virtual machine
Feng, Wei ; Shi, Xiaohua ; Yu, Hengyang
2015 6th IEEE International Conference on Software Engineering and Service Science (ICSESS) Software Engineering and Service Science (ICSESS), 2015 6th IEEE International Conference on. :77-80 Sep, 2015

Konferenz
Merkliste
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter