Rezultaty - interactive applications program ((execution array) OR (execution error)) https

1

Implementation and Application of Functional Languages 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers /

Wydane 2006

Spis treści: “... Deconstruction of Landin’s J Operator -- A Dependently Typed Framework for Static Analysis of Program Execution...”
Dokumenty pełnotekstowe

Elektroniczne E-book

2

Model Driven Architecture - Foundations and Applications 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008, Proceedings /

Wydane 2008

Spis treści: “...-Specific Modelling Languages -- Data Flow Analysis of UML Action Semantics for Executable Models -- From...”
Dokumenty pełnotekstowe

Elektroniczne E-book

3

Applications of Evolutionary Computation EvoApplications 2010: EvoCOMNET, EvoENVIRONMENT, EvoFIN...

Wydane 2010

Spis treści: “... Antenna Array System -- Automatic Parameter Tuning with Metaheuristics of the AODV Routing Protocol...”
Dokumenty pełnotekstowe

Elektroniczne E-book

4

Multimedia Introduction to Programming Using Java

od Gries, David., Gries, David., Gries, Paul.
Wydane 2005

Spis treści: “...Basic Object-Oriented Programming -- Computers and Programming -- Object-Oriented Introduction...”
Dokumenty pełnotekstowe

Elektroniczne E-book

5

OpenMP Shared Memory Parallel Programming International Workshop, IWOMP 2005 and IWOMP 2006, Eugene...

Wydane 2008

Spis treści: “...Performance Tools -- Performance Analysis of Large-Scale OpenMP and Hybrid MPI/OpenMP Applications...”
Dokumenty pełnotekstowe

Elektroniczne E-book

6

Agile Processes in Software Engineering and Extreme Programming 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007, Proceedings /

Wydane 2007

Spis treści: “... Failed Unit Tests with Potential Programming Errors -- Empirical Studies -- Does XP Deliver Quality...”
Dokumenty pełnotekstowe

Elektroniczne E-book

7

Advanced Methods, Techniques, and Applications in Modeling and Simulation Asia Simulation Conference 2011, Seoul, Korea, November 2011, Proceedings /

Wydane 2012

Spis treści: “... -- A Novel Federation Development and Execution Process Based on Collaboration Ontology -- PASENS...”
Dokumenty pełnotekstowe

Elektroniczne E-book

8

Evaluation of Novel Approaches to Software Engineering 3rd and 4th International Conference, ENASE 2008 / 2009, Funchal, Madeira, Portugal, May 4-7, 2008 / Milan, Italy, May 9-10,...

Wydane 2010

Spis treści: “... an Executable TTCN-3 Markov Chain Usage Model -- Language-Critical Development of Process-Centric Application...”
Dokumenty pełnotekstowe

Elektroniczne E-book

9

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

Wydane 2010

Spis treści: “... -- Designing Execution Control in Programs with Global Application States Monitoring -- Distributed MIND – A...”
Dokumenty pełnotekstowe

Elektroniczne E-book

10

Testing Software and Systems 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012, Proceedings /

Wydane 2012

Spis treści: “... Execution Environment Variability during Software Testing:mAn Industrial Experience -- A Technique for Agile...”
Dokumenty pełnotekstowe

Elektroniczne E-book

11

Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of...

Wydane 2010

Spis treści: “... for Probabilistic Systems -- Simple O(m logn) Time Markov Chain Lumping -- Model Checking Interactive Markov Chains...”
Dokumenty pełnotekstowe

Elektroniczne E-book

12

Recent Advances in Parallel Virtual Machine and Message Passing Interface 13th European PVM/MPI User's Group Meeting, Bonn, Germany, September 17-20, 2006, Proceedings /

Wydane 2006

Spis treści: “... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...”
Dokumenty pełnotekstowe

Elektroniczne E-book

13

Advances in Cryptology – EUROCRYPT 2015 34th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Sofia, Bulgaria, April 26-30, 2015, Proceedings, Part II /

Wydane 2015

Spis treści: “...: Analysis and Applications -- Linear Secret Sharing Schemes from Error Correcting Codes -- Function Secret...”
Dokumenty pełnotekstowe

Elektroniczne E-book

14

Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /

Wydane 2008

Spis treści: “...1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without...”
Dokumenty pełnotekstowe

Elektroniczne E-book

15

Task Models and Diagrams for Users Interface Design 5th International Workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006, Revised Papers /

Wydane 2007

Spis treści: “... Interaction Modalities -- Model-Based Support for Specifying eService eGovernment Applications -- A Model...”
Dokumenty pełnotekstowe

Elektroniczne E-book

16

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

Wydane 2007

Spis treści: “... System for Parallel Execution of Fragmented Subroutines -- Application of Simulation Approaches...”
Dokumenty pełnotekstowe

Elektroniczne E-book

17

Towards Mechanized Mathematical Assistants 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings /

Wydane 2007

Spis treści: “...Contributions to Calculemus 2007 -- Executing in Common Lisp, Proving in ACL2 -- A Rational...”
Dokumenty pełnotekstowe

Elektroniczne E-book

18

Network and Parallel Computing IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005, Proceedings /

Wydane 2005

Spis treści: “... Programming and Environment -- A Greedy Algorithm for Capacity-Constrained Surrogate Placement in CDNs...”
Dokumenty pełnotekstowe

Elektroniczne E-book

19

Advances in Grid Computing - EGC 2005 European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers /

Wydane 2005

Spis treści: “... Collaborative Grid Portals -- Contextualised Workflow Execution in MyGrid -- Real World Workflow Applications...”
Dokumenty pełnotekstowe

Elektroniczne E-book

20

Distributed Computing -- IWDC 2004 6th International Workshop, Kolkata, India, December 27-30, 2004, Proceedings /

Wydane 2005

Spis treści: “...-Intensive Grid Applications -- Failure Recovery in Grid Database Systems -- On Design of Cluster and Grid...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty