Arama Sonuçları - parallel mobile programming function function https

Şunu mu demek istediniz:
programming function » programming functional , programming functionals , programme function
mobile programming » file programming , cable programming , more programming
function function » function functional , functions functional , function dysfunction
parallel mobile » parallel file , parallel model , parallel monte
function https » functions https , fiction https

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “... -- A Novel Trust Evaluation Model for Mobile P2P Networks -- Session 4: Parallelization...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”
Tam Metin Erişim

Elektronik Ekitap

New Horizons of Parallel and Distributed Computing

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”
Tam Metin Erişim

Elektronik Ekitap

Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings /

Baskı/Yayın Bilgisi 2005

İçindekiler: “...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”
Tam Metin Erişim

Elektronik Ekitap

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 /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... -- The Paderkicker Team: Autonomy in Realtime Environments -- Modular Compilation of Synchronous Programs -- Trends...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2008

İçindekiler: “... -- A Framework for Contract-Policy Matching Based on Symbolic Simulations for Securing Mobile Device...”
Tam Metin Erişim

Elektronik Ekitap

Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety -- Improved Algorithm...”
Tam Metin Erişim

Elektronik Ekitap

Distributed Algorithms for Message-Passing Systems

Yazar: Raynal, Michel., Raynal, Michel.
Baskı/Yayın Bilgisi 2013

İçindekiler: “... -- Chap. 2 Distributed Graph Algorithms -- Chap. 3 An Algorithmic Framework to Compute Global Functions...”
Tam Metin Erişim

Elektronik Ekitap

Innovations in Computing Sciences and Software Engineering

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”
Tam Metin Erişim

Elektronik Ekitap

Coordination Models and Languages 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005, Proceedings /

Baskı/Yayın Bilgisi 2005

İçindekiler: “...-functional Requirements -- Coordination Systems in Role-Based Adaptive Software -- Coordination...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...”
Tam Metin Erişim

Elektronik Ekitap

Theoretical Aspects of Computing - ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings /

Baskı/Yayın Bilgisi 2007

İçindekiler: “... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...”
Tam Metin Erişim

Elektronik Ekitap

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice o...

Baskı/Yayın Bilgisi 2015

İçindekiler: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... with Infinite Strategic Space -- On the Online Dial-A-Ride Problem with Time-Windows -- Semidefinite Programming...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2008

İçindekiler: “... -- Approximating Multi-criteria Max-TSP -- An Integer Programming Algorithm for Routing Optimization in IP Networks...”
Tam Metin Erişim

Elektronik Ekitap

Advanced Techniques in Computing Sciences and Software Engineering

Baskı/Yayın Bilgisi 2010

İçindekiler: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Service Using China Multimedia Mobile Broadcasting -- Double Reduction Factors Approach to the Stability...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt