• Suche: Programming for the Java virtual machine

Treffer 221 - 240 von 5.745

221

Towards the Formal Verification of a Java Processor in Event-B
Evans, Neil ; Grant, Neil
ENTCS: Electronic Notes in Theoretical Computer Science. Mar2008, Vol. 201, p45-67. 23p.

Electronic systems Java programming languag... Systems design System analysis Computer software develo... Debugging …
Zeitschrift
Zu den Favoriten
222

IBM WebSphere Everyplace Micro Environment Contributes to T9 Predictive Text.
WebSphere Advisor Online. 6/19/2006, Vol. 7 Issue 25, p33-33. 1p.

International Business M... Tegic Communications Inc... Text messages Mobile communication sys... Cost effectiveness Virtual machine systems …
Zeitschrift
Zu den Favoriten
223

Heap compression for memory-constrained Java environments
CHEN, G ; KANDEMIR, M ; VIJAYKRISHNAN, N ; et al.
Proceedings of the 2003 ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'03)ACM SIGPLAN notices. 38(11):282-301

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
224

A high-level modular definition of the semantics of C#
BÖRGER, Egon ; FRUJA, Nicu G ; GERVASI, Vincenzo ; et al.
Abstract state machines and high-level system design and analysisTheoretical computer science. 336(2-3):235-284

Asie Asia Indonésie Indonesia Java Computer science …
Fachzeitschrift
Zu den Favoriten
225

Dieses Ergebnis kann Gästen nicht angezeigt werden.

226

Controlling and optimizing the usage of one resource
GALLAND, Antoine ; BAUDET, Mathieu
Programming languages and systems (Beijing, 27-29 November 2003)Lecture notes in computer science. :195-211

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
227

8. Warning on Sticking with Microsoft's JVM.
Computergram Weekly. 10/9/2003, Issue 4773, p4. 1p.

Microsoft Corp. Conchango PLC Dinsmore, Ted Virtual machine systems Java programming languag...
Zeitschrift
Zu den Favoriten
228

Verified bytecode verifiers
KLEIN, Gerwin ; NIPKOW, Tobias
Foundations of Software Science and Computation StructuresTheoretical computer science. 298(3):583-626

Asie Asia Indonésie Indonesia Java Computer science …
Konferenz
Zu den Favoriten
229

Apple, Microsoft plan to merge virtual machines.
Menefee, Craig
Computing Canada. 04/06/98, Vol. 24 Issue 13, p17. 1/4p.

Apple Inc. Microsoft Corp. Java programming languag...
Zeitschrift
Zu den Favoriten
230

Incommunicado: Efficient communication for isolates
PALACZ, Krzysztof ; CZAJKOWSKI, Grzegorz ; DAYNES, Laurent ; et al.
Proceedings of the 2002 ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'02)ACM SIGPLAN notices. 37(11):262-274

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
231

ROBOT: A Tool for Automating Ontology Workflows
Jackson, Rebecca C ; Balhoff, James P ; Douglass, Eric ; et al.
BMC Bioinformatics. 20(1)

46 Information and Compu... 4602 Artificial Intellig... 4612 Software Engineerin... Networking and Informati... Generic health relevance... Biological Ontologies (m... …
Fachzeitschrift
Zu den Favoriten
232

Researchers say virtual machines vulnerable.
Carr, David E.
Computer Dealer News. 07/14/97, Vol. 13 Issue 14, p62. 1/3p. 1 Color Photograph.

Sun Microsystems Inc. Microsoft Corp. Java programming languag... Virtual machine systems
Zeitschrift
Zu den Favoriten
233

Derivation and evaluation of concurrent collectors
VECHEV, Martin T ; BACON, David F ; CHENG, Perry ; et al.
ECOOP 2005 : object-oriented programming (Glasgow, 25-29 July 2005)Lecture notes in computer science. :577-601

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
234

Testing Concurrent Java Programs using Randomized Scheduling
Stoller, Scott D.
ENTCS: Electronic Notes in Theoretical Computer Science. Dec2002, Vol. 70 Issue 4, p1-16. 16p.

Java programming languag... Programming languages Computer software Computers
Zeitschrift
Zu den Favoriten
235

Automating type soundness proofs via decision procedures and guided reductions
SYME, Don ; GORDON, Andrew D
LPAR 2002 : logic for programming, artificial intelligence, and reasoning (Tbilisi, 14-18 October 2002)Lecture notes in computer science. :418-434

Computer science Informatique Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn... …
Konferenz
Zu den Favoriten
236

SafeTSA : A type safe and referentially secure mobile-code representation based on static single assignment form
AMME, Wolfram ; DALTON, Niall ; VON RONNE, Jeffery ; et al.
Proceedings of the ACM SIGPLAN'01 Conference on Programming Language Design and Implementation® (PLDI), Snowbird, Utah, June 20-22, 2001ACM SIGPLAN notices. 36(5):137-147

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
237

Derby: The Java Relational Database.
Bradbury, Stanley ; Fallside, David
Linux Magazine. Sep2005, Vol. 7 Issue 9, p40-47. 6p. 7 Diagrams.

Relational databases Open source software Java programming languag... Embedded computer system... Web services
Zeitschrift
Zu den Favoriten
238

An Internet authorization scheme using smart-card-based security kernels
DESWARTE, Yves ; ABGHOUR, Noreddine ; NICOMETTE, Vincent ; et al.
E-smart 2001 : smart card programming and security (Cannes, 19-21 September 2001)Lecture notes in computer science. :71-82

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
239

HoloTrap: Interactive hologram design for multiple dynamic optical trapping
Pleguezuelos, E. ; Carnicer, A. ; Andilla, J. ; et al.
In Computer Physics Communications 2007 176(11):701-709

Fachzeitschrift
Zu den Favoriten
240

Optimizing the Java Piped I/O Stream Library for Performance.
Pugh, Bill ; Tseng, Chau-Wen ; Zhang, Ji ; et al.
Languages & Compilers for Parallel Computing (9783540307815). 2005, p233-248. 16p.

Buch
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter