Resultados da pesquisa - processing tutorial programs functionality general https

Pesquisas alternativas:
programs functionality » program functionality , programs functional , properties functionality
functionality general » functionalities general , functionality centered , functioning general
processing tutorial » processing tutorials , processes tutorial , processing materials
tutorial programs » tutorial program , social programs , cultural programs
https » http

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /

Publicado em 2006

Sumário: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
Obter o texto integral

Recurso Electrónico livro electrónico

Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...

Publicado em 2005

Sumário: “...Programming with Explicit Security Policies -- Trace Partitioning in Abstract Interpretation Based...”
Obter o texto integral

Recurso Electrónico livro electrónico

Programming Languages and Systems 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European /

Publicado em 2006

Sumário: “... for Automated Reasoning About Pointer Programs -- Bisimulations for Untyped Imperative Objects -- A Typed...”
Obter o texto integral

Recurso Electrónico livro electrónico

Product-Focused Software Process Improvement 9th International Conference, PROFES 2008, Monte Porzio Catone, Italy, June 23-25, 2008, Proceedings /

Publicado em 2008

Sumário: “... -- The Effect of Entity Generalization on Software Functional Sizing: A Case Study -- Towards a Capability Model...”
Obter o texto integral

Recurso Electrónico livro electrónico

Embedded System Design: Topics, Techniques and Trends IFIP TC10 Working Conference: International Embedded Systems Symposium (IESS), May 30 - June 1, 2007, Irvine (CA), USA /

Publicado em 2007

Sumário: “... of Retimed Software Loops under Timing and Resource Constraints -- Identification and Removal of Program...”
Obter o texto integral

Recurso Electrónico livro electrónico

Logic and Theory of Algorithms 4th Conference on Computability in Europe, CiE 2008 Athens, Greece, June 15-20, 2008, Proceedings /

Publicado em 2008

Sumário: “...Deterministic Graphical Games Revisited -- Program Schemes with Deep Pushdown Storage -- Herbrand...”
Obter o texto integral

Recurso Electrónico livro electrónico

Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeirao Preto, Braz...

Publicado em 2006

Sumário: “... -- Reinventing Machine Learning with ROC Analysis -- Cocktail Party Processing -- AI in Education and Intelligent...”
Obter o texto integral

Recurso Electrónico livro electrónico

Languages and Compilers for Parallel Computing 22nd International Workshop, LCPC 2009, Newark, DE, USA, October 8-10, 2009, Revised Selected Papers /

Publicado em 2010

Sumário: “... on the Cyclops-64 Many-Core Processor -- Mapping Streaming Languages to General Purpose Processors through...”
Obter o texto integral

Recurso Electrónico livro electrónico

Reuse of Off-the-Shelf Components 9th International Conference on Software Reuse, ICSR 2006, Torino, Italy, June 12-15, 2006, Proceedings /

Publicado em 2006

Sumário: “... Components Selection -- A State-of-the-Practice Survey of Off-the-Shelf Component-Based Development Processes...”
Obter o texto integral

Recurso Electrónico livro electrónico

Theoretical Aspects of Computing - ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings /

Publicado em 2005

Sumário: “... Relations -- Languages and Process Calculi for Network Aware Programming – Short Summary - -- Stochastic...”
Obter o texto integral

Recurso Electrónico livro electrónico

Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings /

Publicado em 2008

Sumário: “...-the-Box Attacks -- Invited Tutorials -- Assertion-Based Verification: Industry Myths to Realities (Invited...”
Obter o texto integral

Recurso Electrónico livro electrónico

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc...

Publicado em 2014

Sumário: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Obter o texto integral

Recurso Electrónico livro electrónico

Theoretical Aspects of Computing - ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings /

Publicado em 2007

Sumário: “... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...”
Obter o texto integral

Recurso Electrónico livro electrónico

KI 2007: Advances in Artificial Intelligence 30th Annual German Conference on AI, KI 2007, Osnabrück, Germany, September 10-13, 2007, Proceedings /

Publicado em 2007

Sumário: “... -- Inductive Synthesis of Recursive Functional Programs -- Training on the Job — Collecting Experience...”
Obter o texto integral

Recurso Electrónico livro electrónico

Algebraic Biology Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008, Proceedings /

Publicado em 2008

Sumário: “...Algorithms for Inference, Analysis and Control of Boolean Networks -- Tutorial on Model Checking...”
Obter o texto integral

Recurso Electrónico livro electrónico

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /

Publicado em 2007

Sumário: “... on Satisfiability Modulo Theories -- A JML Tutorial: Modular Specification and Verification of Functional Behavior...”
Obter o texto integral

Recurso Electrónico livro electrónico

Logic, Language, Information and Computation 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008, Proceedings /

Publicado em 2008

Sumário: “...Tutorials and Invited Lectures -- Inter-deriving Semantic Artifacts for Object-Oriented Programming...”
Obter o texto integral

Recurso Electrónico livro electrónico

Guide to Geometric Algebra in Practice

Publicado em 2011

Sumário: “... Geometric Algebra -- Part III: Image Processing -- Quaternion Atomic Function for Image Processing -- Color...”
Obter o texto integral

Recurso Electrónico livro electrónico

Informatics in Control, Automation and Robotics I

Publicado em 2006

Sumário: “... more suitable cost function -- AN LMI OPTIMIZATION APPROACH FOR GUARANTEED COST CONTROL OF SYSTEMS...”
Obter o texto integral

Recurso Electrónico livro electrónico

Graph Transformations Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings /

Publicado em 2006

Sumário: “... of High-Level Conditions -- Weakest Preconditions for High-Level Programs -- Tutorial and Workshops...”
Obter o texto integral

Recurso Electrónico livro electrónico

Refinar a Pesquisa