Kết quả tìm kiếm - parallel resolution software functionality function https

Tìm kiếm thay thế:
software functionality » software functional , malware functionality , office functionality
functionality function » functionals function , functionaries function , functional functions
parallel resolution » parallel evolution , parallel solution , parallel evolutions
resolution software » evolution software , solutions software , isolation software
function https » functions https , fiction https

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

Được phát hành 2010

Mục lục: “...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...”
lấy văn bản

Điện tử eBook

Parallel Imaging in Clinical MR Applications

Được phát hành 2007

Mục lục: “...-Resolution Whole-Body MRA -- Clinical Applications: Function -- Imaging of CNS Diffusion and Perfusion...”
lấy văn bản

Điện tử eBook

Software Technologies for Embedded and Ubiquitous Systems 5th IFIP WG 10.2 International Workshop...

Được phát hành 2007

Mục lục: “... Cooperation and Conflict Resolution -- Safety-Critical Systems -- Advancements in Dependable Time-Triggered...”
lấy văn bản

Điện tử eBook

Advanced Techniques in Computing Sciences and Software Engineering

Được phát hành 2010

Mục lục: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
lấy văn bản

Điện tử eBook

Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015...

Được phát hành 2015

Mục lục: “... for Probability Density Functions -- Segment Abstraction for Worst-Case Execution Time Analysis -- Automatic...”
lấy văn bản

Điện tử eBook

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

Được phát hành 2008

Mục lục: “...Invited Talks -- Architecture Based Specification and Verification of Embedded Software Systems...”
lấy văn bản

Điện tử eBook

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Được phát hành 2005

Mục lục: “... Theorem Proving for Software Analysis -- Decision Procedures for SAT, SAT Modulo Theories and Beyond...”
lấy văn bản

Điện tử eBook

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

Được phát hành 2005

Mục lục: “... -- Computing Upward Planar Drawings Using Switch-Regularity Heuristics -- Serial and Parallel Multilevel Graph...”
lấy văn bản

Điện tử eBook

Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013, Proceedings /

Được phát hành 2013

Mục lục: “...A Library for Declarative Resolution-Independent 2D Graphics -- Analysing the Entire Wikipedia...”
lấy văn bản

Điện tử eBook

High Performance Computing for Computational Science - VECPAR 2008 8th International Conference, Toulouse, France, June 24-27, 2008. Revised Selected Papers /

Được phát hành 2008

Mục lục: “...Parallel and Distributed Computing -- An Overview of High Performance Computing and Challenges...”
lấy văn bản

Điện tử eBook

High Performance Computing for Computational Science - VECPAR 2006 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers /

Được phát hành 2007

Mục lục: “... Applications -- Sequential and Parallel Resolution of the Two-Group Transient Neutron Diffusion Equation Using...”
lấy văn bản

Điện tử eBook

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

Được phát hành 2007

Mục lục: “... Applications on the Stream Processor -- A Scalable Parallel Software Volume Rendering Algorithm for Large-Scale...”
lấy văn bản

Điện tử eBook

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

Được phát hành 2005

Mục lục: “... -- Coordination of Many Agents -- Parallelizing Union-Find in Constraint Handling Rules Using Confluence Analysis...”
lấy văn bản

Điện tử eBook

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings /

Được phát hành 2013

Mục lục: “... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...”
lấy văn bản

Điện tử eBook

The Semantic Web -- ISWC 2012 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part I /

Được phát hành 2012

Mục lục: “... Benchmark Queries for Linked Open Data -- RDFS Reasoning on Massively Parallel Hardware -- An Efficient Bit...”
lấy văn bản

Điện tử eBook

The Semantic Web -- ISWC 2012 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part II /

Được phát hành 2012

Mục lục: “... Benchmark Queries for Linked Open Data -- RDFS Reasoning on Massively Parallel Hardware -- An Efficient Bit...”
lấy văn bản

Điện tử eBook

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

Được phát hành 2006

Mục lục: “... for Axis-Parallel Rectangles -- Single Machine Precedence Constrained Scheduling Is a Vertex Cover Problem...”
lấy văn bản

Điện tử eBook

High Performance Computing in Science and Engineering, Garching/Munich 2009 Transactions of the Fourth Joint HLRB and KONWIHR Review and Results Workshop, Dec. 8-9, 2009, Leibniz S...

Được phát hành 2010

Mục lục: “..., Modelling and Implementation for Highly Parallel Applications -- Computational Steering of Complex Flow...”
lấy văn bản

Điện tử eBook

Computational Modeling of Objects Represented in Images Second International Symposium, CompIMAGE 2010, Buffalo, NY, USA, May 5-7, 2010. Proceedings /

Được phát hành 2010

Mục lục: “... for High-Resolution Functional Magnetic Resonance Imaging -- Characterization of a SimMechanics Model for a...”
lấy văn bản

Điện tử eBook

Intelligent Robotics and Applications 5th International Conference, ICIRA 2012, Montreal, Canada, October 3-5, 2012, Proceedings, Part I /

Được phát hành 2012

Mục lục: “... Corridor Geometry from Low-Resolution Images -- Triangulation-Based Plane Extraction for 3D Point Clouds...”
lấy văn bản

Điện tử eBook

Tìm kiếm hẹp