Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
positional functionals » additional functional, conditional functional, positive functionals
functionals function » function function, functions functional, function dysfunction
programs positional » programs position, programs conditionals, programs operational
parallel programs » parallel programming
function https » functions https, fiction https
positional functionals » additional functional, conditional functional, positive functionals
functionals function » function function, functions functional, function dysfunction
programs positional » programs position, programs conditionals, programs operational
parallel programs » parallel programming
function https » functions https, fiction https
1
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Publicat 2014
Taula de continguts:
“... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”Obtenir text complet
Electrònic
eBook
2
Publicat 2008
Taula de continguts:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”Obtenir text complet
Electrònic
eBook
3
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Publicat 2006
Taula de continguts:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”Obtenir text complet
Electrònic
eBook
4
Publicat 2005
Taula de continguts:
“...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”Obtenir text complet
Electrònic
eBook
5
Publicat 2008
Taula de continguts:
“... Perception and Action on Functionally Grounded Representations -- A Sparse Regression Mixture Model...”Obtenir text complet
Electrònic
eBook
6
Publicat 2014
Taula de continguts:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”Obtenir text complet
Electrònic
eBook
7
Publicat 2008
Taula de continguts:
“... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...”Obtenir text complet
Electrònic
eBook
8
Publicat 2012
Taula de continguts:
“... and Stochastic Methods for Modeling Highly Heterogeneous Media Robust Solvers for Symmetric Positive Definite...”Obtenir text complet
Electrònic
eBook
9
Publicat 2005
Taula de continguts:
“... Networks -- 5-Regular Graphs are 3-Colorable with Positive Probability -- Optimal Integer Alphabetic Trees...”Obtenir text complet
Electrònic
eBook
10
Publicat 2006
Taula de continguts:
“... for Identity Based Encryption Schemes -- Optimally Adaptive Integration of Univariate Lipschitz Functions...”Obtenir text complet
Electrònic
eBook
11
Publicat 2013
Taula de continguts:
“....- Unambiguous Automata Denoting Finitely Sequential Functions.- Duplication-Loss Genome Alignment: Complexity...”Obtenir text complet
Electrònic
eBook
12
Publicat 2010
Taula de continguts:
“... Operative Solutions -- Parallel and Distributed Computing -- Application of the Location and Tracking System...”Obtenir text complet
Electrònic
eBook
13
Publicat 2014
Taula de continguts:
“... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...”Obtenir text complet
Electrònic
eBook
14
Taula de continguts:
“... Takagi‒Sugeno Fuzzy Positive Systems -- Stabilization of Delayed T-S Fuzzy Positive Systems -- Robust...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
15
Publicat 2015
Taula de continguts:
“... Therapist Manages for Adaptations ─ Overview -- Environmental Adaptation for Individuals with Functional...”Obtenir text complet
Electrònic
eBook
16
Publicat 2014
Taula de continguts:
“... Topology via Functional Programming: A Baseline Analysis: D. Duke and H. Carr -- 6 Distributed Contour...”Obtenir text complet
Electrònic
eBook
17
Publicat 2005
Taula de continguts:
“... Programming Perspective -- Recent Advances in Mining Time Series Data -- Focus the Mining Beacon: Lessons...”Obtenir text complet
Electrònic
eBook
18
Publicat 2006
Taula de continguts:
“... for Coordinating Data-Parallel Programs (Position Statement) -- Implementations of Square-Root and Exponential...”Obtenir text complet
Electrònic
eBook
19
Publicat 2015
Taula de continguts:
“... in Computer Aided Design -- Software Framework for Modular Machine Learning Systems -- Parallel cost function...”Obtenir text complet
Electrònic
eBook
20
Publicat 2007
Taula de continguts:
“... -- Weighted Cohesiveness for Identification of Functional Modules and Their Interconnectivity -- Modelling...”Obtenir text complet
Electrònic
eBook