Treffer 101 - 120 von 4.332

101

JTDec: A Tool for Tree Decompositions in Soot
Chatterjee, Krishnendu ; Goharshady, Amir ; Pavlogiannis, Andreas ; et al.
International Symposium on Automated Technology for Verification and Analysis (ATVA 2017), Oct 2017, Pune, India

Pune, India [INFO.INFO-SE]Computer S... Software Engineering [cs... [INFO.INFO-DS]Computer S... Data Structures and Algo...
Konferenz
Zu den Favoriten
102

Huskysort
Hillyard, R. C. ; Liaozheng, Yunlu ; R, Sai Vineeth K.

Computer Science - Data...
Report
Zu den Favoriten
103

The Long, the Short and the Random
Camerani, Giorgio

Computer Science - Compu... Computer Science - Artif... Computer Science - Discr... Computer Science - Data... F.2.2 G.2.1
Report
Zu den Favoriten
104

A space- and time-efficient Implementation of the Merkle Tree Traversal Algorithm
Knecht, Markus ; Meier, Willi ; Nicola, Carlo U.

Computer Science - Crypt... Computer Science - Data...
Report
Zu den Favoriten
105

Approximation Algorithm Project
Kumar, Chiranjeev

Computer Science - Data...
Report
Zu den Favoriten
106

Enhancing locality in Java based irregular applications
Faria, Nuno Filipe Monteiro ; Silva, Rui C. ; Sobral, João Luís Ferreira ; et al.

Locality Irregular data structure...
Zu den Favoriten
107

Fast and Lean Immutable Multi-Maps on the JVM based on Heterogeneous Hash-Array Mapped Tries
Steindorfer, Michael J. ; Vinju, Jurgen J.

Computer Science - Data... Computer Science - Progr...
Report
Zu den Favoriten
108

MzJava: An open source library for mass spectrometry data processing
Horlacher, Oliver ; Nikitin, Frederic ; Alocci, Davide ; et al.
In Journal of Proteomics 3 November 2015 129:63-70

Fachzeitschrift
Zu den Favoriten
109

Kendall Tau Sequence Distance: Extending Kendall Tau from Ranks to Sequences
Cicirello, Vincent A.
EAI Endorsed Transactions on Industrial Networks and Intelligent Systems, 7(23), e1, April 2020

Computer Science - Discr... Computer Science - Data...
Report
Zu den Favoriten
110

A Simple Circle Discretization Algorithm With Applications
Vercueil, Craig

Computer Science - Data... Computer Science - Compu...
Report
Zu den Favoriten
112
113

Implementation of exponential and parametrized algorithms in the AGAPE project
Berthomé, Pascal ; Lalande, Jean-François ; Levorato, Vincent

Computer Science - Data...
Report
Zu den Favoriten
114

RTSJ Extensions: Event Manager and Feasibility Analyzer
Masson, Damien ; Midonnet, Serge ; Laboratoire d'Informatique Gaspard-Monge (LIGM) ; et al.
JTRES 2008. :10-18

Santa Clara, California,... [INFO.INFO-DS]Computer S... Data Structures and Algo...
Konferenz
Zu den Favoriten
115

Joint Overlap Analysis of Multiple Genomic Interval Sets
Otlu, Burcak ; Can, Tolga

Computer Science - Data...
Report
Zu den Favoriten
116

Computing Extremely Accurate Quantiles Using t-Digests
Dunning, Ted ; Ertl, Otmar

Statistics - Computation Computer Science - Data...
Report
Zu den Favoriten
117

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
118

Verifying Visibility-Based Weak Consistency
Krishna, Siddharth ; Emmi, Michael ; Enea, Constantin ; et al.

Computer Science - Logic... Computer Science - Data...
Report
Zu den Favoriten
119

Just Say 'A Class Defines a Data Type'.
Chenglie Hu
Communications of the ACM. Mar2008, Vol. 51 Issue 3, p19-21. 3p. 1 Illustration.

DATA structures PROGRAMMING languages OBJECT-oriented methods... ALGORITHMS COMPUTER science educati... ABSTRACT data types (Com...
Zeitschrift
Zu den Favoriten
120

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

Filter