Rezultati - parallel process program function tests https

1

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Workshops, Part II /

Izdano 2010

Kazalo: “...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”
Polni tekst

Elektronski eKnjiga

2

Trends in Functional Programming 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers /

Izdano 2011

Teme: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Polni tekst

Elektronski eKnjiga

3

Pro .NET 4 Parallel Programming in C#

od Freeman, Adam., Freeman, Adam.
Izdano 2010

Kazalo: “...Introducing Parallel Programming -- Task Programming Hibernate -- Sharing Data -- Coordinating...”
Polni tekst

Elektronski eKnjiga

4

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /

Izdano 2013

Kazalo: “... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”
Polni tekst

Elektronski eKnjiga

5

Genetic Programming 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings /

Izdano 2015

Kazalo: “... Genetic Programming -- Automatic Derivation of Search Objectives for Test-Based Genetic Programming...”
Polni tekst

Elektronski eKnjiga

6

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

Izdano 2006

Kazalo: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
Polni tekst

Elektronski eKnjiga

7

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings /

Izdano 2005

Kazalo: “... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”
Polni tekst

Elektronski eKnjiga

8

Principles and Practice of Constraint Programming - CP 2010 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, Proceedings /

Izdano 2010

Kazalo: “..., and Complexity -- Distinguished Papers -- Testing Expressibility Is Hard -- Applying Constraint Programming...”
Polni tekst

Elektronski eKnjiga

9

Dependable Systems: Software, Computing, Networks Research Results of the DICS Program /

Izdano 2006

Kazalo: “... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”
Polni tekst

Elektronski eKnjiga

10

Proceedings of the Second International Conference on Mechatronics and Automatic Control

Izdano 2015

Kazalo: “... and Parallel Processing -- Review of Voltage Sag Disturbance Recognition -- The Exterior Type Consistency...”
Polni tekst

Elektronski eKnjiga

11

From Model-Driven Design to Resource Management for Distributed Embedded Systems IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006) October 11-13, 2006, Braga, Portugal /

Izdano 2006

Kazalo: “... the Semantic Domains of Component Contracts -- Model-Based Test Selection for Infinite State Reactive Systems...”
Polni tekst

Elektronski eKnjiga

12

Intelligent Technologies and Engineering Systems

Izdano 2013

Kazalo: “... the Sorted-Set Intersection Problem onto a Graphics Processing Unit -- A Novel Double Dynamic Stress...”
Polni tekst

Elektronski eKnjiga

13

International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings /

Izdano 2007

Kazalo: “...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...”
Polni tekst

Elektronski eKnjiga

14

Evolutionary Algorithms for Solving Multi-Objective Problems

od Coello Coello, Carlos., Coello Coello, Carlos., Lamont, Gary B., van Veldhuizen, David A.
Izdano 2007

Kazalo: “... -- MOEA Test Suites -- MOEA Testing and Analysis -- MOEA Theory and Issues -- Applications -- MOEA...”
Polni tekst

Elektronski eKnjiga

15

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings /

Izdano 2005

Kazalo: “...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”
Polni tekst

Elektronski eKnjiga

16

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /

Izdano 2008

Kazalo: “... the Challenges of Software Development Process for SMEs with Rigorous Support and Open Source -- Workflow Testing...”
Polni tekst

Elektronski eKnjiga

17

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 23-29, 2...

Izdano 2010

Kazalo: “... under a General Weighted Cost Function -- How to Complete an Interactive Configuration Process...”
Polni tekst

Elektronski eKnjiga

18

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

Izdano 2014

Kazalo: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Polni tekst

Elektronski eKnjiga

19

Innovations in Computing Sciences and Software Engineering

Izdano 2010

Kazalo: “... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”
Polni tekst

Elektronski eKnjiga

20

Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings /

Izdano 2008

Kazalo: “...Invited Talks -- Tests, Proofs and Refinements -- Formal Verification and Biology -- Trust...”
Polni tekst

Elektronski eKnjiga

Zoži iskanje