Suchergebnisse - parallel mobility programs function function https

Andere Suchmöglichkeiten:
parallel mobility » parallel mobile , parallel activity , parallel modeling
mobility programs » mobility programmes , mobility programme , usability programs
programs function » programs functional , programme function , programs fiction
function function » function functional , functions functional , function dysfunction
function https » functions https , fiction https

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

Veröffentlicht 2010

Inhaltsangabe: “... -- A Novel Trust Evaluation Model for Mobile P2P Networks -- Session 4: Parallelization...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2005

Inhaltsangabe: “... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”
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

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

Veröffentlicht 2010

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

Elektronisch E-Book

New Horizons of Parallel and Distributed Computing

Veröffentlicht 2005

Inhaltsangabe: “... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2005

Inhaltsangabe: “... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2005

Inhaltsangabe: “...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”
Volltext

Elektronisch E-Book

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 /

Veröffentlicht 2006

Inhaltsangabe: “... -- The Paderkicker Team: Autonomy in Realtime Environments -- Modular Compilation of Synchronous Programs -- Trends...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2006

Inhaltsangabe: “... Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety -- Improved Algorithm...”
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: “... -- A Framework for Contract-Policy Matching Based on Symbolic Simulations for Securing Mobile Device...”
Volltext

Elektronisch E-Book

Distributed Algorithms for Message-Passing Systems

von Raynal, Michel., Raynal, Michel.
Veröffentlicht 2013

Inhaltsangabe: “... -- Chap. 2 Distributed Graph Algorithms -- Chap. 3 An Algorithmic Framework to Compute Global Functions...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2007

Inhaltsangabe: “... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...”
Volltext

Elektronisch E-Book

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...

Veröffentlicht 2015

Inhaltsangabe: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
Volltext

Elektronisch E-Book

Innovations in Computing Sciences and Software Engineering

Veröffentlicht 2010

Inhaltsangabe: “... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2005

Inhaltsangabe: “...-functional Requirements -- Coordination Systems in Role-Based Adaptive Software -- Coordination...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2005

Inhaltsangabe: “... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...”
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

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

Veröffentlicht 2008

Inhaltsangabe: “... -- Approximating Multi-criteria Max-TSP -- An Integer Programming Algorithm for Routing Optimization in IP Networks...”
Volltext

Elektronisch E-Book

Advanced Techniques in Computing Sciences and Software Engineering

Veröffentlicht 2010

Inhaltsangabe: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
Volltext

Elektronisch E-Book

LATIN 2006: Theoretical Informatics 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006, Proceedings /

Veröffentlicht 2006

Inhaltsangabe: “... for Identity Based Encryption Schemes -- Optimally Adaptive Integration of Univariate Lipschitz Functions...”
Volltext

Elektronisch E-Book

Suche einschränken