Search alternatives:
concurrent programs » current programs, current program
constraint » constraints, constrain
concurrent programs » current programs, current program
constraint » constraints, constrain
1
by Mehrotra, Santosh
Published 2014
Subjects:
“...CONCURRENT EVALUATION...”Published 2014
Get full text
Get full text
2
3
4
5
6
by Enea, Constantin.
Published 2023
Format:
Published 2023
Table of Contents: “... Program Termination Proofs -- 1 Introduction -- 2 Preliminaries -- 2.1 Concurrent Programs -- 2...”
Click to View
7
by Silva, Alexandra.
Published 2021
Format:
Published 2021
Table of Contents: “... -- NNREPAIR: Constraint-Based Repair of Neural Network Classifiers -- 1 Introduction -- 2 Background -- 3...”
Click to View
8
by Silva, Alexandra.
Published 2021
Format:
Published 2021
Table of Contents: “... of Probabilistic Programs -- 3 Training Neural Ranking Supermartingales -- 4 Verifying Ranking Supermartingales...”
Click to View
9
by Marwedel, Peter.
Published 2021
Format:
Published 2021
Table of Contents: “....2.2 Scheduling with Precedence Constraints -- Task Graphs -- Latest Deadline First (LDF) Algorithm -- 6...”
Click to View
10
by Kiefer, Stefan.
Published 2021
Format:
Published 2021
Table of Contents: “...6 Protocols for all Predicates in ZPL -- References -- Leafy automata for higher-order concurrency...”
Click to View
11
by Energy Sector Management Assistance Program
Published 2021
“...; competition with existing fuels
and technologies; and program design features, including...”Published 2021
Get full text
Get full text