Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

نتائج البحث

Display Settings
النتائج لكل صفحة: 10
Sort By: Relevance
Filter
  • 1-10 ل  119 نتائج ل ""Java""

فلترة النتائج

Collection : Universite De Lorraine
إعادة تعيين خيارات الفبترة
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

ComplexityParser: An Automatic Tool for Certifying Poly-Time Complexity of Java Programs

Subjects: [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC]; [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]Nur-Sultan/Virtual; Kazakhstan

  • Source: ICTAC 2021 - 18th International Colloquium on Theoretical Aspects of Computing ; https://inria.hal.science/hal-03337755 ; ICTAC 2021 - 18th International Colloquium on Theoretical Aspects of

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

A Tracing Technique using Dynamic Bytecode Instrumentation of Java Applications and Libraries at Basic Block Level

Subjects: Dynamic; Bytecode; InstrumentationLancaster; United Kingdom

  • Source: 6th workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems 2011 (ICOOOLPS 2011)https://inria.hal.science/inria-006137206th workshop on

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

Which use for Java in introductory courses ?

Subjects: teaching; java; introduction à l'informatique

  • Source: Principle and Practice of Programming in Java - PPPJ' 2002 ; https://inria.hal.science/inria-00099433 ; Principle and Practice of Programming in

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Academic Journal

JBInsTrace: A Tracer of Java and JRE Classes at Basic-Block Granularity by Dynamically Instrumenting Bytecode

Subjects: Java; Tracing; Dynamic

  • Source: ISSN: 0167-6423 ; Science of Computer Programming ; https://inria.hal.science/hal-00672976 ; Science of Computer Programming, 2012.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

A Java based Implementation of a Network Level Information Model for the ATM / Frame Relay Interconnection

Subjects: network information model; tina-c; atm

  • Source: 2000 IEEE/IFIP Network Operations & Managementhttps://inria.hal.science/inria-001078432000 IEEE/IFIP Network Operations & Management, Apr 2000, none, 2 p

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Academic Journal

Verification of class liveness properties with Java modeling language

Subjects: Java language; JML assertion; temporal logic

  • Source: ISSN: 1751-8806.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

Explicit modelling of physical measures: from Event-B to Java

Subjects: Cyber-physical systems; Formal methods; [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]Xi’An; China

  • Source: Proceedings IMPEX 2017: 1st International Workshop on Handling IMPlicit and EXplicit knowledge in formal system development ; IMPEX 2017: 1st International Workshop on Handling IMPlicit and EXplicit

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Report

jYang : A YANG parser in java

Subjects: parser; java; yang

  • Source: https://inria.hal.science/inria-00411261 ; [Technical Report] 2009, pp.29.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Report

The Treewidth of Java Programs

Subjects: Java programs; control flow graph; treewidth

  • Source: https://inria.hal.science/inria-00072269 ; [Research Report] RR-4318, INRIA. 2001, pp.11.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Report

An IP Next Generation Compliant Java TM Virtual Machine

Subjects: network programming; IPV6; IPV4 compatibility

  • Source: https://inria.hal.science/inria-00072716 ; [Research Report] RR-3936, INRIA. 2000, pp.34.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
  • 1-10 ل  119 نتائج ل ""Java""