Topaicí Molta laistigh de do chuardach.
Topaicí Molta laistigh de do chuardach.
Cuardaigh malartuithe:
program functionality » protein functionality, programs functional, supra functionality
functionality testing » functionality setting, functional testing, functionality using
parallel operators » parallel operating, parallel operation, parabolic operators
operators program » operating program, operation program, operators programming
testing https » teaching https, being https, writing https
program functionality » protein functionality, programs functional, supra functionality
functionality testing » functionality setting, functional testing, functionality using
parallel operators » parallel operating, parallel operation, parabolic operators
operators program » operating program, operation program, operators programming
testing https » teaching https, being https, writing https
1
Clár Ábhair:
“...Introducing Parallel Programming -- Task Programming Hibernate -- Sharing Data -- Coordinating...”
Faigh an téacs iomlán
Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
2
Foilsithe 2007
Clár Ábhair:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
3
Foilsithe 2010
Clár Ábhair:
“...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
4
Foilsithe 2008
Clár Ábhair:
“... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
5
Foilsithe 2006
Clár Ábhair:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
6
Foilsithe 2005
Clár Ábhair:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
7
Foilsithe 2008
Clár Ábhair:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
8
Foilsithe 2006
Clár Ábhair:
“... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
9
Foilsithe 2015
Clár Ábhair:
“... Genetic Programming -- Automatic Derivation of Search Objectives for Test-Based Genetic Programming...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
10
Foilsithe 2008
Clár Ábhair:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
11
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Foilsithe 2015
Clár Ábhair:
“... for Type-Unsafe Operations Detection -- Running Probabilistic Programs Backwards -- A Verified Compiler...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
12
Foilsithe 2014
Clár Ábhair:
“... Matchgates -- Testing Probability Distributions Underlying Aggregated Data -- Parallel Repetition...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
13
Foilsithe 2006
Clár Ábhair:
“... -- Definition and Correct Refinement of Operation Specifications -- Formal Test Generation from UML Models...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
14
Foilsithe 2010
Clár Ábhair:
“..., and Complexity -- Distinguished Papers -- Testing Expressibility Is Hard -- Applying Constraint Programming...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
15
le Juneau, Josh., Juneau, Josh., Baker, Jim., Wierzbicki, Frank., Soto Muoz, Leo., Ng, Victor., Ng, Alex., Baker, Donna L.
Foilsithe 2010
Clár Ábhair:
“... -- Operators, Expressions, and Program Flow -- Defining Functions and Using Built-ins -- Input and Output...”Foilsithe 2010
Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
16
Foilsithe 2007
Clár Ábhair:
“...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
17
Foilsithe 2010
Clár Ábhair:
“... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
18
Foilsithe 2008
Clár Ábhair:
“... Conformance Checking of Recursive and Parallel Component-Based Systems -- Structural Testing of Component...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
19
Ábhair:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Faigh an téacs iomlán
Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
20
Foilsithe 2005
Clár Ábhair:
“...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
- 1
- 2
- 3
- Ar aghaidh »
- [3]



