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

Treffer 1 - 20 von 12.073

1

Zing: Exploiting program structure for model checking concurrent software
ANDREWS, Tony ; QADEER, Shaz ; RAJAMANI, Sriram K ; et al.
CONCUR 2004 : concurrency theory (London, 31 August - 3 September 2004)Lecture notes in computer science. :1-15

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

Deadlock Property Analysis of Concurrent Programs Based on Petri Net Structure
Liu, Wei ; Wang, Lu ; Du, Yuyue ; et al.
International Journal of Parallel Programming. August 2017 45(4):879-898

Fachzeitschrift
Zu den Favoriten
3

Efficient computation of may-happen-in-parallel information for concurrent java programs
BARIK, Rajkishore
Languages and compilers for parallel computing (18th international workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005)0LCPC 2005. :152-169

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

Improved program dependence graph and algorithm for static slicing concurrent programs
JIANYU XIAO ; DEYUN ZHANG ; HAIQUAN CHEN ; et al.
Advanced parallel processing technologies (6th International workshop, APPT 2005)0APPT 2005. :121-130

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

VYRD : Verifying concurrent programs by runtime refinement-violation detection
ELMAS, Tayfun ; TASIRAN, Serdar ; QADEER, Shaz
Proceedings of 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI'05ACM SIGPLAN notices. 40(6):27-37

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

Foundations of Software Science and Computation Structures
Bouyer, Patricia ; Schröder, Lutz

Categorical models and l... language theory, automat... modal, spatial, and temp... type theory and proof th... concurrency theory and p... rewriting theory …
E-Book
Zu den Favoriten
7

Advanced slicing of sequential and concurrent programs
KRINKE, Jens
ICSM 2004 (20th IEEE International Conference on Software Maintenance). :464-468

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

Flexible Program Structures for Concurrent Programming.
Ambuj K. Singh ; Ying Liu
Research Directions in High-Level Parallel Programming Languages. :64-71

Konferenz
Zu den Favoriten
9

Concurrent object-oriented programs: From specification to code
SEKERINSKI, Emil
FMCO 2002 : formal methods for components and objects (Leiden, 5-8 November 2002, revised lectures)Lecture notes in computer science. :403-423

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

Quasar: A new tool for concurrent Ada programs analysis
EVANGELISTA, Sami ; KAISER, Claude ; PRADAT-PEYRE, Jean-Francois ; et al.
Reliable software technologies - Ada-Europe 2003 (Toulouse, 16-20 June 2003)Lecture notes in computer science. :168-181

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

Verifying parallel programs with dynamic communication structures
TOUILI, Tayssir ; MOHAMED FAOUZI ATIG
Implementation and Application of Automata (CIAA 2009)Theoretical computer science. 411(38-39):3460-3468

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

Dieses Ergebnis kann Gästen nicht angezeigt werden.

13

A Fully Replicable Exercise Program for Individuals with Sleep-Disordered Breathing: Protocol Design and Training Load Monitoring.
Saavedra, Jose M. ; Fridgeirsdottir, Katrin Y. ; Murphy, Conor J. ; et al.
Journal of Functional Morphology & Kinesiology. Sep2025, Vol. 10 Issue 3, p311.

Fachzeitschrift
Zu den Favoriten
14

A Concurrent Program Logic with a Future and History
Meyer, Roland ; Wies, Thomas ; Wolff, Sebastian
Proc. ACM Program. Lang. 6, OOPSLA2, Article 174 (October 2022), 30 pages

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

Specifying and Verifying the Convergence Stairs of the Collatz Program
Ebnenasir, Ali

Computer Science - Discr... Computer Science - Data... Computer Science - Forma... D.3.1 F.3.1 F.2.2
Report
Zu den Favoriten
16

Concurrent program structures
Choice Reviews Online. 26:26-2729

Fachzeitschrift
Zu den Favoriten
17

Algebraic structures of directed acyclic graphs : application to concurrent calculus
LUCANU, D
International journal of computer mathematics. 57(3-4):127-156

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

Concurrent engineering in design of aircraft structures
KRAMMER, J ; SENSBURG, O ; VILSMEIER, J ; et al.
Journal of aircraft. 32(2):423-430

Aeronautics astronautics Aéronautique, astronauti... Mechanical engineering Génie mécanique Mechanics acoustics Mécanique et acoustique …
Fachzeitschrift
Zu den Favoriten
19

Reliability modeling of parallel programs with modular structure using stochastic Petri nets
TSU-FENG HO ; WAH-CHUN CHAN ; CHYAN-GOEI CHUNG
The Journal of systems and software. 16(2):121-128

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

Verification and refinement with fine-grained action-based concurrent objects
SEKERINSKI, Emil
Formal Methods for Components and ObjectsTheoretical computer science. 331(2-3):429-455

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter