Rezultaty - parallel program quality functionals function https

1

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

Wydane 2010

Spis treści: “... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”
Dokumenty pełnotekstowe

Elektroniczne E-book

2

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

Wydane 2005

Spis treści: “... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”
Dokumenty pełnotekstowe

Elektroniczne E-book

3

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

Wydane 2010

Spis treści: “...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”
Dokumenty pełnotekstowe

Elektroniczne E-book

4

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

Wydane 2008

Spis treści: “... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”
Dokumenty pełnotekstowe

Elektroniczne E-book

5

Requirements Engineering: Foundation for Software Quality 21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedings /

Wydane 2015

Spis treści: “... for Elicitation of Quality Requirements -- Towards Crowd-based Requirements Engineering -- Functional Requirements...”
Dokumenty pełnotekstowe

Elektroniczne E-book

6

Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings /

Wydane 2010

Spis treści: “... Quality Assurance -- Similar Code Detection and Elimination for Erlang Programs -- Static Detection...”
Dokumenty pełnotekstowe

Elektroniczne E-book

7

Recent Advances in System Reliability Signatures, Multi-state Systems and Statistical Inference /

Wydane 2012

Spis treści: “... for Supermarket Refrigeration System by Using Combined Stochastic Process and Universal Generating Function Method...”
Dokumenty pełnotekstowe

Elektroniczne E-book

8

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

Wydane 2007

Spis treści: “...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...”
Dokumenty pełnotekstowe

Elektroniczne E-book

9

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

Wydane 2008

Spis treści: “... in Industrial Software Quality Control -- Animating Event B Models by Formal Data Models -- Automated Formal...”
Dokumenty pełnotekstowe

Elektroniczne E-book

10

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

Wydane 2014

Spis treści: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Dokumenty pełnotekstowe

Elektroniczne E-book

11

Multiobjective Optimization Interactive and Evolutionary Approaches /

Wydane 2008

Spis treści: “... -- Multiobjective Optimization Software -- Parallel Approaches for Multiobjective Optimization -- Quality Assessment...”
Dokumenty pełnotekstowe

Elektroniczne E-book

12

Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning Adaptation and Multi-Agent Learning, 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Ada...

Wydane 2008

Spis treści: “... Double Auction Market -- Parallel Reinforcement Learning with Linear Function Approximation -- Combining...”
Dokumenty pełnotekstowe

Elektroniczne E-book

13

Innovations in Computing Sciences and Software Engineering

Wydane 2010

Spis treści: “... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”
Dokumenty pełnotekstowe

Elektroniczne E-book

14

Progress in Artificial Intelligence 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilha, Portugal, December 5-8, 2005, Proceedings /

Wydane 2005

Spis treści: “... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...”
Dokumenty pełnotekstowe

Elektroniczne E-book

15

Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10th, 2011. Revised Selected Papers /

Wydane 2012

Spis treści: “... Levels over Bulgaria from High Resolution Simulations.-New Parallel Implementation of an Air Pollution...”
Dokumenty pełnotekstowe

Elektroniczne E-book

16

Intelligent Data Engineering and Automated Learning -- IDEAL 2010 11th International Conference, Paisley, UK, September 1-3, 2010, Proceedings /

Wydane 2010

Spis treści: “...Large Scale Instance Selection by Means of a Parallel Algorithm -- Typed Linear Chain Conditional...”
Dokumenty pełnotekstowe

Elektroniczne E-book

17

Algorithms - ESA 2008 16th Annual European Symposium, Karlsruhe, Germany, September 15-17, 2008, Proceedings /

Wydane 2008

Spis treści: “... -- Approximating Multi-criteria Max-TSP -- An Integer Programming Algorithm for Routing Optimization in IP Networks...”
Dokumenty pełnotekstowe

Elektroniczne E-book

18

Advanced Techniques in Computing Sciences and Software Engineering

Wydane 2010

Spis treści: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
Dokumenty pełnotekstowe

Elektroniczne E-book

19

Information Computing and Applications, Part II International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part II /

Wydane 2010

Spis treści: “... for Software Quality -- Security Scheme for Managing a Large Quantity of Individual Information in RFID...”
Dokumenty pełnotekstowe

Elektroniczne E-book

20

High Performance Computing - HiPC 2008 15th International Conference, Bangalore, India, December 17-20, 2008, Proceedings /

Wydane 2008

Spis treści: “... Media -- The Excitement in Parallel Computing -- Session I: Performance Optimization -- Improving...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty