• Suche: Data Structures in Java

Treffer 281 - 300 von 21.582

281

A hardware/software co-design and co-verification on a novel embedded object-oriented processor
CHI HANG YAU ; YI YU TAN ; PAK LUN MOK ; et al.
Embedded and ubiquitous computing (International conference EUC 2005)0EUC 2005. :371-380

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

Simulating reachability using first-order logic with applications to verification of linked data structures
Tal Lev-Ami ; Neil Immerman ; Thomas Reps ; et al.
Logical Methods in Computer Science, Vol 5, Issue 2 (2009)

computer science - logic... computer science - progr... f.3.1 f.3.2 f.4.1 Logic …
Fachzeitschrift
Zu den Favoriten
283

The Blind Eye and the Strong Arm: The Colonial Archive and the Imbrication of Knowledge and Power in Mid-Nineteenth Century Java
Knight, G. Roger
Asian Journal of Social Science, 2005 Jan 01. 33(3), 544-567.

Fachzeitschrift
Zu den Favoriten
284

Checking Java Implementation of a Naming Architecture Using Testera
Khurshid, Sarfraz ; Marinov, Darko
In Electronic Notes in Theoretical Computer Science October 2001 55(3):322-342

Fachzeitschrift
Zu den Favoriten
285

An optimistic approach to lock-free FIFO queues
LADAN-MOZES, Edya ; SHAVIT, Nir
DISC 2004 : distributed computing (Amsterdam, 4-7 October 2004)Lecture notes in computer science. :117-131

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

Classification of household poverty in West Java using the generalized mixed-effects trees model
FARDILLA RAHMAWATI ; KHAIRIL ANWAR NOTODIPUTRO ; KUSMAN SADIK
Jurnal Natural, Vol 23, Iss 3, Pp 209-219 (2023)

fixed effects household per capita exp... machine learning random effects supervised learning Science (General) …
Fachzeitschrift
Zu den Favoriten
288

Using Dynamic Data Structures: 15.11 Programming Exercises
Java Actually: A Comprehensive Primer in Programming. 2008, p495-498.

Buch
Zu den Favoriten
289

Simulating reachability using first-order logic with applications to verification of linked data structures
LEV-AMI, T ; IRNRNERMAN, N ; REPS, T ; et al.
CADE-20 : automated deduction (Tallinn, 22-27 July 2005)Lecture notes in computer science. :99-115

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

Using Dynamic Data Structures: 15.10 Review Questions
Java Actually: A Comprehensive Primer in Programming. 2008, p492-495.

Buch
Zu den Favoriten
291

Detecting non-cyclicity by abstract compilation into boolean functions
ROSSIGNOLI, Stefano ; SPOTO, Fausto
Verification, model checking, and abstract interpretation (7th international conference, VMCAI 2006, Charleston SC, USA, January 8-10, 2006)0VMCAI 2006. :95-110

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

Implementing Dynamic Data Structures: 16.4 Programming Exercises
Java Actually: A Comprehensive Primer in Programming. 2008, p526-530.

Buch
Zu den Favoriten
293

Portraying algorithms with Leonardo web
BONIFACI, Vincenzo ; DEMETRESCU, Camil ; FINOCCLI, Irene ; et al.
Web information systems engineering (WISE 2005 international workshops)0WISE 2005. :73-83

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

Implementing statically typed object-oriented programming languages.
Ducournau, Roland
ACM Computing Surveys. Apr2011, Vol. 43 Issue 3, p1-48. 48p.

OBJECT-oriented programm... DATA structures COMPUTER programming ELECTRONIC file manageme... OBJECT-oriented methods...
Fachzeitschrift
Zu den Favoriten
295

Concurrent cycle collection in reference counted systems
BACON, David F ; RAJAN, V. T
ECOOP 2001 : object-oriented programming (Budapest, 18-22 June 2001)Lecture notes in computer science. :207-235

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

Evaluating the Impact of Java Virtual Machines on Energy Consumption
Ournani, Zakaria ; Belgaid, Mohammed Chakib ; Rouvoy, Romain ; et al.

Bari, Italy [INFO.INFO-SE]Computer S... Software Engineering [cs...
Konferenz
Zu den Favoriten
297

Symbolic execution with abstraction
ANAND, Saswat ; PASAREANU, Corina S ; VISSER, Willem
Special Section on SpinInternational journal on software tools for technology transfer (Print). 11(1):53-67

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

X-ray simulations with gVXR as a useful tool for education, data analysis, set-up of CT scans, and scanner development
Vidal, Franck ; Afshari, Shaghayegh ; Ahmed, Sharif ; et al.
OPTICAL ENGINEERING + APPLICATIONS (2024-10-23); SPIE 2024, San Diego, United States [US], août 2024

X-ray tomography simulation Engineering, computing &... Mechanical engineering Ingénierie, informatique... Ingénierie mécanique
Konferenz
Zu den Favoriten
299

Accessing the Internal Organization of Data Structures in the JDSL Library
Michael T. Goodrich ; Mark Handy ; Benoît Hudson ; et al.
Lecture Notes in Computer Science ISBN: 9783540662273

Buch
Zu den Favoriten
300

Stride prefetching by dynamically inspecting objects
INAGAKI, Tatsushi ; ONODERA, Tamiya ; KOMATSU, Hideaki ; et al.
Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation ® (PLDI'03), San Diego, California, USA, June 9-11, 2003ACM SIGPLAN notices. 38(5):269-277

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter