Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage

Treffer 121 - 140 von 12.073

121

Dieses Ergebnis kann Gästen nicht angezeigt werden.

122

Tools and Algorithms for the Construction and Analysis of Systems
Biere, Armin ; Parker, David

Theory of Computation Special Purpose and Appl... Computer System Implemen... Control Structures and M... Mathematics of Computing open access
E-Book
Zu den Favoriten
123

Dieses Ergebnis kann Gästen nicht angezeigt werden.

124

Event-based composition of concurrent programs
James C. Browne ; Raju Pandey
Lecture Notes in Computer Science ISBN: 9783540576594

16. Peace & justice
Buch
Zu den Favoriten
125

Shared Memory Concurrent System Verification using Kronecker Algebra
Mittermayr, Robert ; Blieberger, Johann

Computer Science - Logic... D.2.4 F.3.1 F.3.2
Report
Zu den Favoriten
126

Dieses Ergebnis kann Gästen nicht angezeigt werden.

127

Dieses Ergebnis kann Gästen nicht angezeigt werden.

130

Program Verification with Separation Logic and Rely Guarantee : a thesis submitted to the Victoria University of Wellington in fulfilment of the requirements for the degree of Master of Science in Computer Science
Tabilog, Allan Martinez ; Tabilog, Allan Martinez

Logic programming. Logic design. Computer programs Verifi... Parallel programming (Co... Programmation logique. Structure logique.
Zu den Favoriten
131

Twenty-five years of national health IT: exploring strategy, structure, and systems in the English NHS.
Price, Colin ; Green, William ; Suhomlinova, Olga
Journal of the American Medical Informatics Association. Mar2019, Vol. 26 Issue 3, p188-197. 10p. 5 Diagrams, 1 Chart.

Information technology Electronic health record... Technological innovation... Medical informatics Retrospective studies Public health
Fachzeitschrift
Zu den Favoriten
132

Program Verification with Separation Logic and Rely Guarantee
Groves, Lindsay ; Tabilog, Allan ; Groves, Lindsay ; et al.

E-Ressource
Zu den Favoriten
133

ConC: a language for concurrent programming
GARG, V. K ; RAMAMOORTHY, C. V
Computer languages. 16(1):5-18

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

The concurrent language, shared prolog
BROGI, A ; CIANCARINI, P
ACM transactions on programming languages and systems. 13(1):99-123

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

Program Execution on Reconfigurable Multicore Architectures
Prasad, Sanjiva
EPTCS 211, 2016, pp. 83-91

Computer Science - Progr... Computer Science - Distr... Computer Science - Perfo...
Report
Zu den Favoriten
136

Capsules: a shared memory access mechanism for concurrent C/C++
GEHANI, N. H
IEEE transactions on parallel and distributed systems. 4(7):795-811

Electronics Electronique Computer science Informatique Sciences exactes et tech... Exact sciences and techn...
Fachzeitschrift
Zu den Favoriten
137

The Feasibility of Automatic Storage Reclamation with Concurrent Program Execution in a LISP Environment.
NAVAL POSTGRADUATE SCHOOL MONTEREY CA ; Cassidy,Kevin G ; NAVAL POSTGRADUATE SCHOOL MONTEREY CA ; et al.
DTIC AND NTIS

E-Ressource
Zu den Favoriten
138

Dieses Ergebnis kann Gästen nicht angezeigt werden.

139

Implementing concurrent C
GEHANI, N. H ; ROOME, W. D
Software, practice & experience. 22(3):265-285

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

Verifying Invariants of Lock-Free Data Structures with Rely-Guarantee and Refinement Types.
GORDON, COLIN S. ; ERNST, MICHAEL D. ; GROSSMAN, DAN ; et al.
ACM Transactions on Programming Languages & Systems. May2017, Vol. 39 Issue 3, p1-54. 54p.

DATA structures PROGRAMMING languages SCALABILITY INTERACTIVE proof method... VERIFICATION of computer...
Fachzeitschrift
Zu den Favoriten

Filter