Search alternatives:
aid implementation » rapid implementation, card implementation, wfd implementation
framework program » framework programmes, framework progress
optimization aid » optimization a, optimization via, optimization based
aid implementation » rapid implementation, card implementation, wfd implementation
framework program » framework programmes, framework progress
optimization aid » optimization a, optimization via, optimization based
1
by Semini, Iris, Batona, Georges, Lafrance, Christian, Kessou, Léon, Gbedji, Eugène, Anani, Hubert, Alary, Michel
Published 2013
Subjects:
“...program efficiency...”Published 2013
Get full text
2
by Enea, Constantin.
Published 2023
Format:
Published 2023
Table of Contents: “....2 Concurrent Programs -- 2.3 Concurrent Programs as Labelled Transition Systems -- 3 A Unified Framework...”
Click to View
3
by Enea, Constantin.
Published 2023
Format:
Published 2023
Table of Contents: “... for Stochastic Dynamical Systems -- 3 Implementation Details -- 3.1 Genie -- 3.2 FairSyn -- 3.3 Mascot-SDS -- 4...”
Click to View
4
by Silva, Alexandra.
Published 2021
Format:
Published 2021
Table of Contents: “... Frameworks -- 2 An Overview of Programmable Program Synthesis -- 2.1 Why Isn't Existing Work in Synthesis...”
Click to View
5
by Shoham, Sharon.
Published 2022
Format:
Published 2022
Table of Contents: “....3 Concluding Remarks -- References -- Program Verification with Constrained Horn Clauses (Invited Paper) -- 1...”
Click to View
6
by Enea, Constantin.
Published 2023
Format:
Published 2023
Table of Contents: “... for Straight-Line Formulas -- 6 Extensions and Undecidability -- 7 Implementations, Optimizations...”
Click to View
7
8
9
by Fraser, Nicole, Cheikh, Nejma, Haacker, Markus, Masaki, Emiko, Karamoko, Djibrilla, Gorgens, Marelize, Kerr, Cliff, Gray, Richard, Shattock, Andrew, Wilson, David, Frescura, Luisa, Konan, Claude, Alhousseini, Zeinabou, Harouna, Zakou
Published 2014
Subjects:
“...AID...”Published 2014
Get full text
Get full text
10
by Yuan, Philip F.
Published 2021
Format:
Published 2021
Table of Contents: “...-Time Defect Recognition and Optimized Decision Making for Structural Timber Jointing -- 1 Introduction...”
Click to View
11
by Kim, Kyoung-Yun.
Published 2022
Format:
Published 2022
Table of Contents: “... -- 3.2 The Optimal Pick-Up Path Generated by IRAP2 Framework -- 3.3 Validation of the Robot Control...”
Click to View
12
by Roos, Vera.
Published 2022
Format:
Published 2022
Table of Contents: “....2.1 Poverty, Unemployment, Illiteracy and Social Protection -- 1.2.2 Migration -- 1.2.3 HIV and AIDS -- 1...”
Click to View