Search Results - functions computation programming session using tools*

Search alternatives:
computation programming » communication programming , computation programmatic , computing programming
functions computation » function computation , functions composition , function composition
programming session » programming series , programming service , programs session
session using » sessions using , mission using , fission using
using tools » cutting tools , making tools , mining tools

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Published 2008

Table of Contents: “... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”
View full text

Electronic eBook

Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings /

Published 2010

Table of Contents: “... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”
View full text

Electronic eBook

Reconfigurable Computing: Architectures, Tools and Applications 6th International Symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010, Proceedings /

Published 2010

Table of Contents: “... Design -- A Reconfigurable Implementation of the Tate Pairing Computation over GF(2 m ) -- Session 3...”
View full text

Electronic eBook

Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...

Published 2013

Table of Contents: “... -- A Discipline for Program Verification Based on Backpointers and Its Use in Observational...”
View full text

Electronic eBook

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

Published 2008

Table of Contents: “... CEGAR -- Session 4: Hybrid Systems -- Computing Differential Invariants of Hybrid Systems as Fixedpoints...”
View full text

Electronic eBook

Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings /

Published 2010

Table of Contents: “...: Theory and Practice by Example -- Session 1. Software Model Checking -- Invariant Synthesis for Programs...”
View full text

Electronic eBook

VEE Pro: Practical Graphical Programming

by Angus, Robert B., Angus, Robert B., Hulbert, Thomas E.
Published 2005

Table of Contents: “... the Vehicle Radiator -- Using VEE Pro to Create UserFunctions -- Using VEE Pro for Application Simulations...”
View full text

Electronic eBook

Computer Safety, Reliability, and Security 26th International Conference, SAFECOMP 2007, Nurmberg, Germany, September 18-21, 2007, Proceedings /

Published 2007

Table of Contents: “... -- Modelling Interdependencies Between the Electricity and Information Infrastructures -- Poster Session 1...”
View full text

Electronic eBook

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

Published 2007

Table of Contents: “... Verification Using Lazy Learning -- Local Proofs for Global Safety Properties -- Session II: Verification...”
View full text

Electronic eBook

Dependable Computing - EDCC 2005 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings /

Published 2005

Table of Contents: “... Recovery Protocols Using MPICH-GF -- Session 2B: Assessment and Analysis -- An Approach to Experimentally...”
View full text

Electronic eBook

Service-Oriented Computing - ICSOC 2006 4th International Conference, Chicago, IL, USA, December 4-7, Proceedings /

Published 2006

Table of Contents: “... and Non-functional Requirements -- SOCK: A Calculus for Service Oriented Computing -- A Priori Conformance...”
View full text

Electronic eBook

Recent Advances in Parallel Virtual Machine and Message Passing Interface 12th European PVM/MPI User's Group Meeting, Sorrento, Italy, September 18-21, 2005, Proceedings /

Published 2005

Table of Contents: “... Cluster of SMP Nodes -- Computing Frequent Itemsets in Parallel Using Partial Support Trees -- A Grid...”
View full text

Electronic eBook

Recent Advances in Parallel Virtual Machine and Message Passing Interface 15th European PVM/MPI Users' Group Meeting, Dublin, Ireland, September 7-10, 2008, Proceedings /

Published 2008

Table of Contents: “... -- MPI and Hybrid Programming Models for Petascale Computing -- Some Aspects of Message-Passing on Future...”
View full text

Electronic eBook

Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers /

Published 2010

Table of Contents: “...Session 1. Invited Papers -- A Process-Theoretic Look at Automata -- Verification, Performance...”
View full text

Electronic eBook

Beginning PHP and MySQL From Novice to Professional /

by Gilmore, W Jason., Gilmore, W Jason.
Published 2010

Table of Contents: “...Introducing PHP -- Configuring Your Environment -- PHP Basics -- Functions -- Arrays -- Object...”
View full text

Electronic eBook

Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings /

Published 2008

Table of Contents: “...Marrying Words and Trees -- Simulation Using Orchestration -- Liberate Computer User from...”
View full text

Electronic eBook

Software Architecture 4th European Conference , ECSA 2010, Copenhagen, Denmark, August 23-26, 2010, Proceedings /

Published 2010

Table of Contents: “... in Architecture Representation -- Flexible Working Architectures: Agile Architecting Using PPCs -- Lightweight...”
View full text

Electronic eBook

UML Modeling Languages and Applications <<UML>> 2004 Satellite Activities Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers /

Published 2005

Table of Contents: “... Engineering (WiSME’2004) -- Open Issues in Industrial Use Case Modeling -- Models for Non-functional Aspects...”
View full text

Electronic eBook

Automated Reasoning 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings /

Published 2008

Table of Contents: “... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...”
View full text

Electronic eBook

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

Published 2014

Table of Contents: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
View full text

Electronic eBook

Narrow Search