Suchergebnisse - parallel event program functionals function https

Andere Suchmöglichkeiten:
functionals function » function function , functions functional , function dysfunction
program functionals » programs functional , program functionality , problem functionals
parallel event » parallel agent , parallel ant , parallel exact
function https » functions https , fiction https
event program » tvet program , eset program , element program

Implementation and Application of Functional Languages 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers /

Veröffentlicht 2012

Inhaltsangabe: “...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”
Volltext

Elektronisch E-Book

Network and Parallel Computing IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010, Proceedings /

Veröffentlicht 2010

Inhaltsangabe: “...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2010

Inhaltsangabe: “... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2010

Inhaltsangabe: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
Volltext

Elektronisch E-Book

Euro-Par 2009, Parallel Processing - Workshops HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009, Workshops /

Veröffentlicht 2010

Inhaltsangabe: “... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...”
Volltext

Elektronisch E-Book

Recent Advances in Parallel Virtual Machine and Message Passing Interface 15th European PVM/MPI...

Veröffentlicht 2008

Inhaltsangabe: “... -- On the Performance of Transparent MPI Piggyback Messages -- Internal Timer Synchronization for Parallel Event Tracing...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2015

Inhaltsangabe: “... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”
Volltext

Elektronisch E-Book

Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...

Veröffentlicht 2015

Inhaltsangabe: “... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”
Volltext

Elektronisch E-Book

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...

Veröffentlicht 2013

Inhaltsangabe: “... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2010

Inhaltsangabe: “... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2007

Inhaltsangabe: “...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2008

Inhaltsangabe: “... in Industrial Software Quality Control -- Animating Event B Models by Formal Data Models -- Automated Formal...”
Volltext

Elektronisch E-Book

Artificial Intelligence: Theories, Models and Applications 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008, Proceedings /

Veröffentlicht 2008

Inhaltsangabe: “... Perception and Action on Functionally Grounded Representations -- A Sparse Regression Mixture Model...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2013

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

Elektronisch E-Book

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

Veröffentlicht 2010

Inhaltsangabe: “... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2014

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

Elektronisch E-Book

High-Performance Computing 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advance Low Power Systems, ALPS 2006, Revised...

Veröffentlicht 2008

Inhaltsangabe: “... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...”
Volltext

Elektronisch E-Book

Algorithmic Applications in Management First International Conference, AAIM 2005, Xian, China, June 22-25, 2005, Proceedings /

Veröffentlicht 2005

Inhaltsangabe: “... with Infinite Strategic Space -- On the Online Dial-A-Ride Problem with Time-Windows -- Semidefinite Programming...”
Volltext

Elektronisch E-Book

Data Warehousing and Knowledge Discovery 12th International Conference, DaWaK 2010, Bilbao, Spain, August 30 - September 2, 2010, Proceedings /

Veröffentlicht 2010

Inhaltsangabe: “...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...”
Volltext

Elektronisch E-Book

Applications of Evolutionary Computing Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC /

Veröffentlicht 2005

Inhaltsangabe: “... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”
Volltext

Elektronisch E-Book

Suche einschränken