Treffer 41 - 60 von 122

42

An Elegant l-exclusion Algorithm for Shared Memory Systems.
Aravind, Alex A.
Computing Letters. 2006, Vol. 2 Issue 3, p107-116. 10p. 2 Diagrams.

ALGORITHMS DISTRIBUTED shared memor... DISTRIBUTED computing SYNCHRONIZATION MATHEMATICAL induction KNOWLEDGE management
Fachzeitschrift
Zu den Favoriten
43

Interpretable machine learning for psychological research: Opportunities and pitfalls.
Henninger, Mirka ; Debelak, Rudolf ; Rothacher, Yannick ; et al.
Psychol Methods

Fachzeitschrift
Zu den Favoriten
44

Dieses Ergebnis kann Gästen nicht angezeigt werden.

45

Dieses Ergebnis kann Gästen nicht angezeigt werden.

46

Dieses Ergebnis kann Gästen nicht angezeigt werden.

47

Parallel PSO in Spark
Cui, Long

Spark VDP::Technology: 500::In... parallel informasjonsteknologi datateknikk PSO
Dissertation
Zu den Favoriten
48

Finite‐state model extraction and visualization from Java program execution
Jevitha K. P. ; Swaminathan Jayaraman ; Bharat Jayaraman ; et al.
Software: Practice and Experience. 51:409-437

0202 electrical engineer... 0102 computer and inform... 02 engineering and techn... 01 natural sciences
Fachzeitschrift
Zu den Favoriten
49

JAVA BYTECODE INSTRUCTION USAGE COUNTING WITH ALGATOR
Tomaž Dobravec
Acta Electrotechnica et Informatica, Vol 18, Iss 4, Pp 17-25 (2019)

Java bytecode counting Algorithm evaluation 0202 electrical engineer... Electrical engineering.... 0102 computer and inform... 02 engineering and techn...
Fachzeitschrift
Zu den Favoriten
50

Partition-distance via the assignment problem
Konovalov, Dmitry A. ; Litow, Bruce ; Bajema, Nigel
Bioinformatics. 21:2463-2468

Evolution, Molecular 0301 basic medicine 0303 health sciences 03 medical and health sc... Models, Genetic Quantitative Trait Loci
Fachzeitschrift
Zu den Favoriten
51

Deadlock and starvation free reentrant readers–writers: A case study combining model checking with theorem proving: A case study combining model checking with theorem proving
van Gastel, B.E. ; Lensink, L. ; Smetsers, S. ; et al.
Science of Computer Programming, 76, 2, pp. 82-99
van Gastel, B, Lensink, L, Smetsers, S & van Eekelen, M 2011, 'Deadlock and starvation free reentrant readers-writers : A case study combining model checking with theorem proving', Science of Computer Programming, vol. 76, no. 2, pp. 82-99. https://doi.org/10.1016/j.scico.2010.03.004

PVS 2. Zero hunger Model checking Readers-writers algorith... 0102 computer and inform... 02 engineering and techn...
Fachzeitschrift
Zu den Favoriten
53

TzuYu: Learning stateful typestates
XIAO, Hao ; SUN, Jun ; LIU, Yang ; et al.
2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE). :432-442

0202 electrical engineer... Software Engineering 0102 computer and inform... 02 engineering and techn... 01 natural sciences
Fachzeitschrift
Zu den Favoriten
54

The Gaggle: An open-source software system for integrating bioinformatics software and data sources
Nitin S. Baliga ; Richard Bonneau ; David J Reiss ; et al.
BMC Bioinformatics
BMC Bioinformatics, Vol 7, Iss 1, p 176 (2006)

0301 basic medicine Databases, Factual QH301-705.5 Computer applications to... 0206 medical engineering R858-859.7
Fachzeitschrift
Zu den Favoriten
55

A Prototype Web-based Reporting System for Onsite-Offsite Clinician Communication
Suzie El-Saden ; Corey W. Arnold ; Hooshang Kangarloo ; et al.
RadioGraphics. 27:1201-1211

Internet User-Computer Interface 03 medical and health sc... Radiology Information Sy... 0302 clinical medicine Information Disseminatio...
Fachzeitschrift
Zu den Favoriten
56

Brownian Disks Lab: Simulating time-lapse microscopy experiments for exploring microrheology techniques and colloidal interactions
Pablo Domínguez-García
Computer Physics Communications. 252:107123

0103 physical sciences 01 natural sciences
Fachzeitschrift
Zu den Favoriten
57

Introduction to the Paper by G. M. Kolodny, M.D., et al, ?An All-digital Nuclear Medicine Department?
Gerald M. Kolodny
Journal of Digital Imaging. 16:3-4

03 medical and health sc... 0302 clinical medicine 3. Good health
Fachzeitschrift
Zu den Favoriten
58

Data mining with Oracle Data Mining (11g)
Boštjančič, Grega

Computer and Information...
Dissertation
Zu den Favoriten
59

Dieses Ergebnis kann Gästen nicht angezeigt werden.

60

Look back, move forward: A bibliometric review of team literature.
He, Jia-Hui ; Xie, Xiao-Yun ; Ling, Chu-Ding ; et al.
Group Dyn

Fachzeitschrift
Zu den Favoriten

Filter