檢索結果 - parallel pair programming functionality computing https

搜索替代詞:
programming functionality » programming functional , programming functionals , program functionality
functionality computing » functionality combining , function computing , functionality using
pair programming » 2 programming
parallel pair » parallel paired , parallel amr , parallel car
https » http

Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings /

出版 2006

書本目錄: “... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”
獲取全文

電子電子書

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

出版 2008

書本目錄: “... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”
獲取全文

電子電子書

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

出版 2008

書本目錄: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
獲取全文

電子電子書

Parallel Problem Solving from Nature, PPSN XI 11th International Conference, Krakov, Poland, September 11-15, 2010, Proceedings, Part I /

出版 2010

書本目錄: “...Theory of Evolutionary Computing (I) -- Optimal Fixed and Adaptive Mutation Rates...”
獲取全文

電子電子書

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

出版 2010

書本目錄: “... Design -- A Reconfigurable Implementation of the Tate Pairing Computation over GF(2 m ) -- Session 3...”
獲取全文

電子電子書

Principles and Practice of Constraint Programing-CP 2013 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings /

出版 2013

書本目錄: “... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”
獲取全文

電子電子書

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International...

出版 2005

書本目錄: “...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”
獲取全文

電子電子書

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

出版 2007

書本目錄: “... Execution of Parallel Processes: Penetrating NATs over the Grid -- Parallelization of C# Programs Through...”
獲取全文

電子電子書

Computational Science and Its Applications - ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part IV /

出版 2010

書本目錄: “... for Symbiotic Computing -- B-Dash: Agent Platform for Mutual Cognition between Human and Agents -- An Extraction...”
獲取全文

電子電子書

COMPSTAT 2008 Proceedings in Computational Statistics /

出版 2008

書本目錄: “... Computing System -- Computable Statistical Research and Practice -- Implicit and Explicit Parallel Computing...”
獲取全文

電子電子書

Algorithm Theory - SWAT 2010 12th Scandinavian Workshop on Algorithm Theory, Bergen, Norway, June 21-23, 2010. Proceedings /

出版 2010

書本目錄: “... Stabbing -- Dispatching Equal-Length Jobs to Parallel Machines to Maximize Throughput -- Online Function...”
獲取全文

電子電子書

LATIN 2010: Theoretical Informatics 9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010, Proceedings /

出版 2010

書本目錄: “... on Parallel Machines -- Almost Linear Time Computation of the Chromatic Polynomial of a Graph of Bounded Tree...”
獲取全文

電子電子書

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

出版 2006

書本目錄: “... Structures -- Kinetic Algorithms Via Self-adjusting Computation -- Parallel Machine Scheduling Through Column...”
獲取全文

電子電子書

Information and Communications Security 8th International Conference, ICICS 2006, Raleigh, NC, USA, December 4-7, 2006, Proceedings /

出版 2006

書本目錄: “... to Iterative Servers (Short Paper) -- An Independent Function-Parallel Firewall Architecture for High-Speed...”
獲取全文

電子電子書

Information Security and Cryptology First SKLOIS Conference, CISC 2005, Beijing, China, December 15-17, 2005, Proceedings /

出版 2005

書本目錄: “... Logarithms -- Efficient Group Signatures from Bilinear Pairing -- Enhanced Aggregate Signatures from Pairings...”
獲取全文

電子電子書

Intercultural Collaboration First International Workshop, IWIC 2007 Kyoto, Japan, January 25-26, 2007 Invited and Selected Papers /

出版 2007

書本目錄: “... Ontology of ‘Cultures’ and ‘Ethnic Groups’ Based on Type Theory and Functional Programming -- Capturing a...”
獲取全文

電子電子書

Pattern Recognition in Bioinformatics Third IAPR International Conference, PRIB 2008, Melbourne, Australia, October 15-17, 2008. Proceedings /

出版 2008

書本目錄: “... Parallelism in the Phylogenetic Likelihood Function with MPI, Pthreads, and OpenMP: A Performance Study...”
獲取全文

電子電子書

Advances in Intelligent Data Analysis VI 6th International Symposium on Intelligent Data Analysis, IDA 2005, Madrid, Spain, September 8-10, 2005, Proceedings /

出版 2005

書本目錄: “... in Paired Comparisons -- Knowledge Discovery in the Identification of Differentially Expressed Genes...”
獲取全文

電子電子書

縮小搜索