Søgeresultater - parallel programming navigating function function https

Søg alternativer:
programming navigating » programming validating , programming aliasing , programming investigating
parallel programming » parallel processing
navigating function » navigation function , navigation functions , navigation functional
function function » function functional , functions functional , function dysfunction
function https » functions https , fiction https

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

Udgivet 2015

Indholdsfortegnelse: “... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”
Få fuldtekst

Electronisk eBog

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings, Part I /

Udgivet 2008

Indholdsfortegnelse: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
Få fuldtekst

Electronisk eBog

Practical Aspects of Declarative Languages 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2008

Indholdsfortegnelse: “... -- Non-functional Requirements in Embedded Systems -- Navigating the Requirements Jungle -- Non...”
Få fuldtekst

Electronisk eBog

Distributed Algorithms for Message-Passing Systems

af Raynal, Michel., Raynal, Michel.
Udgivet 2013

Indholdsfortegnelse: “... -- Chap. 2 Distributed Graph Algorithms -- Chap. 3 An Algorithmic Framework to Compute Global Functions...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2005

Indholdsfortegnelse: “... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...”
Få fuldtekst

Electronisk eBog

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part III /

Udgivet 2007

Indholdsfortegnelse: “...-Biology -- Speedup Analysis for Parallel Implementation of Model of Response Accuracy and Response Time...”
Få fuldtekst

Electronisk eBog

Intelligent Computing, Networking, and Informatics Proceedings of the International Conference on Advanced Computing, Networking, and Informatics, India, June 2013 /

Udgivet 2014

Indholdsfortegnelse: “... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...”
Få fuldtekst

Electronisk eBog

Software Engineering Research and Applications Second International Conference, SERA 2004, Los Angeles, CA, USA, May 5-7, 2004, Revised Selected Papers /

Udgivet 2006

Indholdsfortegnelse: “... -- On the Design and Implementation of Parallel Programs Through Coordination -- Software Reuse and Metrics...”
Få fuldtekst

Electronisk eBog

Algorithms - ESA 2006 14th Annual European Symposium, Zurich, Switzerland, September 11-13, 2006, Proceedings /

Udgivet 2006

Indholdsfortegnelse: “... for Axis-Parallel Rectangles -- Single Machine Precedence Constrained Scheduling Is a Vertex Cover Problem...”
Få fuldtekst

Electronisk eBog

Artificial Intelligence and Knowledge Engineering Applications: A Bioinspired Approach First International Work-Conference on the Interplay Between Natural and Artificial Computati...

Udgivet 2005

Indholdsfortegnelse: “... Rule-Table for Function Approximation by Use of Symbolic Regression in 1D and 2D Cases -- Parallel...”
Få fuldtekst

Electronisk eBog

Applications of Evolutionary Computing 16th European Conference, EvoApplications 2013, Vienna, Austria, April 3-5, 2013, Proceedings /

Udgivet 2013

Indholdsfortegnelse: “... Navigation -- Toward Automatic Gait Generation for Quadruped Robots Using Cartesian Genetic Programming...”
Få fuldtekst

Electronisk eBog

Information Retrieval Technology Asia Information Retrieval Symposium, AIRS 2004, Beijing, China, October 18-20, 2004. Revised Selected Papers /

Udgivet 2005

Indholdsfortegnelse: “... Understanding the Functions of Web Element -- Clustering-Based Navigation of Image Search Results on Mobile...”
Få fuldtekst

Electronisk eBog

SOFSEM 2008: Theory and Practice of Computer Science 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008, Pro...

Udgivet 2008

Indholdsfortegnelse: “... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...”
Få fuldtekst

Electronisk eBog

Intelligent Technologies for Interactive Entertainment First International Conference, INTETAIN 2005, Madonna di Campaglio, Italy, November 30 - December 2, 2005, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “... -- Parallel Presentations for Heterogenous User Groups – An Initial User Study -- Performing Physical Object...”
Få fuldtekst

Electronisk eBog

Advances in Information Systems Third International Conference, ADVIS 2004, Izmir, Turkey, October 20-22, 2004. Proceedings /

Udgivet 2005

Indholdsfortegnelse: “... -- Towards Building Knowledge Centres on the World Wide Web -- Navigation Modelling from a User Services...”
Få fuldtekst

Electronisk eBog

SOFSEM 2005: Theory and Practice of Computer Science 31st Conference on Current Trends in Theory and Practice of Computer Science, Liptovský Ján, Slovakia, January 22-28, 2005, Pro...

Udgivet 2005

Indholdsfortegnelse: “... Hierarchical Markovian Mining Approach for Favorite Navigation Patterns -- Non-planar Orthogonal Drawings...”
Få fuldtekst

Electronisk eBog