Service restrictions from February 12-22, 2026—more information on the University Library website

Showing 1 - 20 of 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
Conference
Save to List
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

Academic journal
Save to List
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
Conference
Save to List
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
Conference
Save to List
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
Conference
Save to List
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
eBook
Save to List
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
Conference
Save to List
8

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

Conference
Save to List
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
Conference
Save to List
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
Conference
Save to List
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
Academic journal
Save to List
12

This result is not available to guest users.

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.

Academic journal
Save to List
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
Save to List
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
Save to List
16

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

Academic journal
Save to List
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...
Academic journal
Save to List
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
Academic journal
Save to List
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
Academic journal
Save to List
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
Conference
Save to List

Filter