Treffer 241 - 260 von 21.582

241

JIVE : Java interactive software visualization environment
CATTANEO, Giuseppe ; FARUOLO, Pompeo ; FERRARO PETRILLO, Umberto ; et al.
Visual languages and human centric computing (2004 IEEE International Symposium - Proceedings). :41-43

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

Static Resource Analysis for Java Bytecode Using Amortisation and Separation Logic
Fenacci, Damon ; MacKenzie, Kenneth
In Electronic Notes in Theoretical Computer Science 2 December 2011 279(1):19-32

Fachzeitschrift
Zu den Favoriten
243

Purity and side effect analysis for Java Programs
SALCIANU, Alexandru ; RINARD, Martin
VMCAI 2005 : verification, model checking, and abstract interpretation (Paris, 17-19 January 2005)Lecture notes in computer science. :199-215

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

Seed: an easy to use random generator of recursive data structures for testing
Heam, Pierre-Cyrille ; Nicaud, Cyril ; Combination of approaches to the security of infinite states systems (CASSIS) ; et al.
[Research Report] ENS Cachan. 2009. :18-18

[INFO.INFO-SE]Computer S... Software Engineering [cs...
Report
Zu den Favoriten
245

Mining frequent Itemsets from transaction databases using hybrid switching framework
Jashma Suresh, P.P ; Dinesh Acharya, U ; Reddy, N.V. Subba
Multimedia Tools and Applications: An International Journal. :1-21

Fachzeitschrift
Zu den Favoriten
246

Supporting mixed criticality applications in a Ravenscar-Java environment
HAO CAI ; WELLINGS, Andy
On the move to meaningful internet systems 2004: OTM 2004 workshops (Agia Napa, 25-29 October 2004)Lecture notes in computer science. :278-291

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

Distributed spatial data warehouse
GORAWSKI, Marcin ; MALCZOK, Rafal
PPAM 2003 : parallel processing and applied mathematics (Czestochowa, 7-10 September 2003, revised papers)Lecture notes in computer science. :676-681

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

Efficient incremental checkpointing of Java programs
LAWALL, Julia L ; MULLER, Gilles
DSN 2000 : international conference on dependable systems and networks (New york NY, 25-28 June 2000 ). :61-70

Control theory, operatio... Automatique, recherche o... Computer science Informatique Sciences exactes et tech... Exact sciences and techn...
Konferenz
Zu den Favoriten
249

Algorithms for Data Mining and Bio-informatics
Algorithmes pour la Fouille de Données et la Bioinformatique

Mondal, Kartick Chandra ; Laboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe KEIA ; Scalable and Pervasive softwARe and Knowledge Systems (Laboratoire I3S - SPARKS) ; et al.
Data Structures and Algorithms [cs.DS]. Université Nice Sophia Antipolis, 2013. English. ⟨NNT : 2013NICE4049⟩

Suffix-Tree Data Structu... Galois Connection Formal Concept Analysis Data Mining Knowledge Discovery in D... Bases of Association Rul...
Dissertation
Zu den Favoriten
250

It's Time for a Change: The Sun Java Real-Time System for Automation Systems
Bollella, Greg
In IFAC Proceedings Volumes 2008 41(2):8311-8314

Fachzeitschrift
Zu den Favoriten
251

Generic programming for scientific computing in C++, Java, and C#
GERLACH, Jens ; KNEIS, Joachim
APPT 2003 : advanced parallel processing technologies (Xiamen, 17-19 September 2003)Lecture notes in computer science. :301-310

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

The Design of a Real-Time Event Manager Component
Masson, Damien ; Midonnet, Serge ; Laboratoire d'Informatique Gaspard-Monge (LIGM) ; et al.
DANCE 2010. :291-296

[INFO.INFO-DS]Computer S... Data Structures and Algo...
Konferenz
Zu den Favoriten
253

Dieses Ergebnis kann Gästen nicht angezeigt werden.

254

On the use of Java arrays for sparse matrix computations
Gundersen, G. ; Steihaug, T.
In Advances in Parallel Computing 2004 13:119-126

Fachzeitschrift
Zu den Favoriten
255

Java-based application framework for visualization of gene regulatory region annotations
HAO SUN ; DAVULURI, Ramana V
Bioinformatics (Oxford. Print). 20(5):727-734

Bioinformatics Bioinformatique Sciences biologiques et... Biological and medical s... Sciences biologiques fon... Fundamental and applied...
Fachzeitschrift
Zu den Favoriten
256

On-the-fly form generation and on-line metadata configuration--a clinical data management Web infrastructure in Java.
Beck P ; Truskaller T ; Rakovac I ; et al.
Publisher: IOS Press Country of Publication: Netherlands NLM ID: 9214582 Publication Model: Print Cited Medium: Print ISSN: 0926-9630 (Print) Linking ISSN: 09269630 NLM ISO Abbreviation: Stud Health Technol Inform

Austria Medical Records Systems,... Database Management Syst... Internet Medical Informatics orga...
Fachzeitschrift
Zu den Favoriten
257

Userland Approximate Slack Stealer with Low Time Complexity
Masson, Damien ; Midonnet, Serge ; Laboratoire d'Informatique Gaspard-Monge (LIGM) ; et al.
RTNS 2008. :29-38

Rennes, France, France [INFO.INFO-DS]Computer S... Data Structures and Algo...
Konferenz
Zu den Favoriten
258

A Termination Analyzer for Java Bytecode Based on Path-Length
SPOTO, Fausto ; MESNARD, Fred ; PAYET, Etienne
ACM transactions on programming languages and systems. 32(3)

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

Data Flow Analysis for Software Prefetching Linked Data Structures in Java.
Cahoon, Brendon ; McKinley, Kathryn S.
Proceedings 2001 International Conference on Parallel Architectures & Compilation Techniques; Sep2001, p280-291, 12p

Konferenz
Zu den Favoriten
260

TAIL: Data Structures Tutorial Site
Jauco, Lauren ; Parker, Ian ; Rodriguez, Allie ; et al.
Computer Science and Engineering Senior Theses

Computer Science and Eng... Computer Engineering
Fachzeitschrift
Zu den Favoriten

Filter