Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage
  • Suche: Concurrent program structures

Treffer 21 - 40 von 12.073

21

CheckFence : Checking consistency of concurrent data types on relaxed memory models
BURCKHARDT, Sebastian ; ALUR, Rajeev ; MARTIN, Milo M. K
PLDI'07 Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design & Implementation, June 10-13, 2007, San Diego, CAACM SIGPLAN notices. 42(6):12-21

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

Some Challenges of Specifying Concurrent Program Components
Hayes, Ian J.
EPTCS 282, 2018, pp. 10-22

Computer Science - Progr... Computer Science - Logic...
Report
Zu den Favoriten
24

Elucidating concurrent algorithms via layers of abstraction and reification
JONES, Cliff B ; PIERCE, Ken G
Formal aspects of computing. 23(3):289-306

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques... …
Fachzeitschrift
Zu den Favoriten
25

Concurrent process and combinatorics of increasingly labeled structures : quantitative analysis and random generation algorithms
Processus concurrents et combinatoire des structures croissantes : analyse quantitative et algorithmes de génération aléatoire
Dien, Matthieu ; Algorithmes, Programmes et Résolution (APR) ; Laboratoire d'Informatique de Paris 6 (LIP6) ; et al.
Data Structures and Algorithms [cs.DS]. Université Pierre et Marie Curie - Paris VI, 2017. English. ⟨NNT : 2017PA066210⟩

Random generation Analytic combinatorics Concurrency theory Combinatoire analytique Théorie de la concurrenc... Génération aléatoire …
Dissertation
Zu den Favoriten
26

Parallel elementwise processable functions in concurrent clean
HORVATH, Z ; ZSOK, V ; SERRARENS, P ; et al.
Hungarian applied mathematics and computer applications: dedicated to Professor Matyas Arato, Professor Laszlo Varga and Professor V. M. Zolotarev on the occasion of their respective 70th birthdaysMathematical and computer modelling. 38(7-9):865-875

Computer science Informatique Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn... …
Fachzeitschrift
Zu den Favoriten
27

Suicide prevention training within graduate psychology programs in Quebec, Canada: A quantitative and qualitative survey.
Guindon, Julie ; Spodenkiewicz, Michel ; Beland, Karina ; et al.
Canadian Psychological Review / Psychologie Canadienne; Canadian Psychologist / Psychologie canadienne; The Canadian Psychologist

Fachzeitschrift
Zu den Favoriten
28

Efficient rewriting of operations on finite structures in ACL2
KAUFMANN, Matt ; SUMNERS, Rob
3rd international workshop on the ACL2 theorem prover and its applications (Grenoble, 8-9 April 2002). :141-150

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques... …
Konferenz
Zu den Favoriten
29

Dieses Ergebnis kann Gästen nicht angezeigt werden.

30

Concurrent aggregates (CA): design and experience with a concurrent object-oriented language based on aggregates
CHIEN, A. A
Journal of parallel and distributed computing (Print). 25(2):174-196

Computer science Informatique Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn... …
Fachzeitschrift
Zu den Favoriten
31

Detecting deadlock in ada rendezvous flow structure based on process algebra
YUAN LIU ; BAOWEN XU ; ZHENQIANG CHEN
Formal methods and software engineering (Shanghai, 21-25 October 2002)Lecture notes in computer science. :262-274

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

Dieses Ergebnis kann Gästen nicht angezeigt werden.

33

Dieses Ergebnis kann Gästen nicht angezeigt werden.

34

Modelling musical structures
ZIMMERMANN, Detlev
Constraints for Multimedia Artistic ApplicationsConstraints (Dordrecht). 6(1):53-83

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

Synthesis of large dynamic concurrent programs from dynamic specifications
Attie, Paul C.
Formal Methods in System Design: An International Journal. April 2016 48(1-2):94-147

Fachzeitschrift
Zu den Favoriten
36

Concurrency in C# Cookbook : Asynchronous, Parallel, and Multithreaded Programming
Stephen Cleary ; Stephen Cleary

C# (Computer program lan... Data structures (Compute... Computer programming
E-Book
Zu den Favoriten
37

A concurrent dynamic task graph
JOHNSON, T ; DAVIS, T. A ; HADFIELD, S. M
Parallel computing. 22(2):327-333

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

Partitioning programs for parallel execution : A case study in the Intel iPSC/2 environment
BOBBIE, P. O
International journal of mini & microcomputers. 19(2):84-96

Electronics Electronique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Fachzeitschrift
Zu den Favoriten
39

Concurrent program schemes and their logics
PELEG, D ; ENGELER, E
Theoretical computer science. 55(1):1-45

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

Scalable concurrent B-trees using multi-version memory
WANG, P ; WEIHL, W. E
Journal of parallel and distributed computing (Print). 32(1):28-48

Computer science Informatique Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn... …
Fachzeitschrift
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter