Hakutulokset - parallel process program functionality transactions https

Tarkoititko:
functionality transactions » functionality interactions , functionality evaluation
program functionality » protein functionality , programs functional , supra functionality
transactions https » translation https , transactions html5 , transactions types
parallel process » parallel processes , parallel processing , parallel processors
process program » progress program , process programmed , processing program

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

Julkaistu 2005

Sisällysluettelo: “... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”
Hae kokoteksti

Elektroninen E-kirja

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...

Julkaistu 2014

Sisällysluettelo: “... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”
Hae kokoteksti

Elektroninen E-kirja

packetC Programming

Tekijä Jungck, Peder., Jungck, Peder., An SAIC Company, CloudShield Technologies Inc., Duncan, Ralph., Mulcahy, Dwight.
Julkaistu 2011

Aiheet: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Hae kokoteksti

Elektroninen E-kirja

High Performance Computing in Science and Engineering, Garching 2004 Transaction of the KONWIHR...

Julkaistu 2005

Sisällysluettelo: “... programs on high-performance computers in FPGAs -- gridlib: A Parallel, Object-oriented Framework...”
Hae kokoteksti

Elektroninen E-kirja

Artificial Intelligence and Evolutionary Algorithms in Engineering Systems Proceedings of ICAEES 2014, Volume 2 /

Julkaistu 2015

Sisällysluettelo: “... of Spoofed IP Packets -- 11. A Queueing Model for E-Learning System -- 12. Development of Common Parallel...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2010

Sisällysluettelo: “... of Reconfigurable Hardware for Accelerated Parallel Processing -- Routing-Aware Application Mapping Considering...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2007

Sisällysluettelo: “... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...”
Hae kokoteksti

Elektroninen E-kirja

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc...

Julkaistu 2014

Sisällysluettelo: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2005

Sisällysluettelo: “... Process Calculus for QoS-Aware Applications -- Abstract Interpretation-Based Verification of Non...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2014

Sisällysluettelo: “... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2008

Sisällysluettelo: “...Parallel and Distributed Computing -- An Overview of High Performance Computing and Challenges...”
Hae kokoteksti

Elektroninen E-kirja

High Performance Computing - HiPC 2008 15th International Conference, Bangalore, India, December 17-20, 2008, Proceedings /

Julkaistu 2008

Sisällysluettelo: “... Media -- The Excitement in Parallel Computing -- Session I: Performance Optimization -- Improving...”
Hae kokoteksti

Elektroninen E-kirja

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Select...

Julkaistu 2005

Sisällysluettelo: “... -- Computational Simulation of Categorical Constructions -- Composing Transitions into Transactions in UML Diagrams...”
Hae kokoteksti

Elektroninen E-kirja

Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part II /

Julkaistu 2015

Sisällysluettelo: “... features values -- IX Concurrent Parallel Processing -- Parallelization of a Block Cipher Based on Chaotic...”
Hae kokoteksti

Elektroninen E-kirja

Internet and Network Economics First International Workshop, WINE 2005, Hong Kong, China, December 15-17, 2005, Proceedings /

Julkaistu 2005

Sisällysluettelo: “... with Submodular Utility Functions -- An Auction-Based Market Equilibrium Algorithm for a Production Model -- New...”
Hae kokoteksti

Elektroninen E-kirja

Advanced Distributed Systems 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers /

Julkaistu 2005

Sisällysluettelo: “... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...”
Hae kokoteksti

Elektroninen E-kirja

Architecture of Computing Systems -- ARCS 2013 26th International Conference, Prague, Czech Republic, February 19-22, 2013 Proceedings /

Julkaistu 2013

Sisällysluettelo: “... Memory Organization for 3-D DRAM as Main Memory -- Synthetic Aperture Radar Data Processing on an FPGA...”
Hae kokoteksti

Elektroninen E-kirja

Advances in Computer Systems Architecture 12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007, Proceedings /

Julkaistu 2007

Sisällysluettelo: “... Approach for Speculative Parallel Threading -- Entropy-Based Profile Characterization and Classification...”
Hae kokoteksti

Elektroninen E-kirja

Modelling, Computation and Optimization in Information Systems and Management Sciences Second International Conference MCO 2008, Metz, France - Luxembourg, September 8-10, 2008, Pr...

Julkaistu 2008

Sisällysluettelo: “... of a Novel Integer Programming Model to Deal with Energy Consumption in Heterogeneous Wireless Sensor...”
Hae kokoteksti

Elektroninen E-kirja

Embedded System Design: Topics, Techniques and Trends IFIP TC10 Working Conference: International Embedded Systems Symposium (IESS), May 30 - June 1, 2007, Irvine (CA), USA /

Julkaistu 2007

Sisällysluettelo: “...Validation and Verification -- Requirements and Concepts for Transaction Level Assertion Refinement...”
Hae kokoteksti

Elektroninen E-kirja

Rajaa hakua