Sökresultat - information computation concurrent programming ((array string) OR (array processing))*

Menade du:
information computation » information computational , information compilations , formations computation
computation concurrent » compression concurrent , formulation concurrent , simulation concurrent
concurrent programming » constraint programming , concurrent programs
array processing » dairy processing , query processing
array string » array strong , arrays strings , array sharing

Communicating Sequential Processes. The First 25 Years Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers /

Publicerad 2005

Innehållsförteckning: “... and FDR to Software Design -- Concurrent Programming -- Communicating Mobile Processes -- Model-Based...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2010

Innehållsförteckning: “...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...”
Hämta fulltext

Elektronisk E-bok

Distributed Computing and Networking 9th International Conference, ICDCN 2008, Kolkata, India, January 5-8, 2008, Proceedings /

Publicerad 2008

Innehållsförteckning: “... of Workflows over Web Services and Their Handheld-Based Execution -- Distributed Computing Track Papers...”
Hämta fulltext

Elektronisk E-bok

Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...

Publicerad 2010

Innehållsförteckning: “... Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs...”
Hämta fulltext

Elektronisk E-bok

High Performance Computing and Communications Third International Conference, HPCC 2007, Houston, USA, September 26-28, 2007, Proceedings /

Publicerad 2007

Innehållsförteckning: “... with Webcom -- Performance Evaluation of View-Oriented Parallel Programming on Cluster of Computers -- Maximum...”
Hämta fulltext

Elektronisk E-bok

Distributed Computing -- IWDC 2004 6th International Workshop, Kolkata, India, December 27-30, 2004, Proceedings /

Publicerad 2005

Innehållsförteckning: “... Frontier of Computer Science -- Session III A: Information Security -- Cryptanalysis of “Wavelet Tree...”
Hämta fulltext

Elektronisk E-bok

Algorithms and Architectures for Parallel Processing 13th International Conference, ICA3PP 2013...

Publicerad 2013

Innehållsförteckning: “... Computing Systems -- Is Sensor Deployment using Gaussian Distribution Energy Balanced -- Shedder: a Metadata...”
Hämta fulltext

Elektronisk E-bok

Algorithms and Architectures for Parallel Processing 13th International Conference, ICA3PP 2013...

Publicerad 2013

Innehållsförteckning: “... Computing Systems -- Is Sensor Deployment using Gaussian Distribution Energy Balanced -- Shedder: a Metadata...”
Hämta fulltext

Elektronisk E-bok

Theoretical Aspects of Computing - ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings /

Publicerad 2005

Innehållsförteckning: “... Relations -- Languages and Process Calculi for Network Aware Programming – Short Summary - -- Stochastic...”
Hämta fulltext

Elektronisk E-bok

Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS...

Publicerad 2008

Innehållsförteckning: “... -- Structural Operational Semantics for Stochastic Process Calculi -- Compositional Methods for Information...”
Hämta fulltext

Elektronisk E-bok

Thinking in Java /

av Eckel, Bruce.
Publicerad 2006

Innehållsförteckning: “... -- Holding your objects -- Error handling with exceptions -- Strings -- Type information -- Generics...”
Table of contents

Bok

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21,...

Publicerad 2010

Innehållsförteckning: “... in Model-Driven Development for Service-Oriented and Cloud Computing -- Adaptive Composition...”
Hämta fulltext

Elektronisk E-bok

Data Warehousing and Knowledge Discovery 7th International Conference, DaWak 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings /

Publicerad 2005

Innehållsförteckning: “...: An Algorithm for Generating Rule Bases Without Closure Computations -- Text Processing and Classification...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2015

Innehållsförteckning: “... for Concurrent Reactive Programs with Partial Information -- Shield Synthesis: Runtime Enforcement for Reactive...”
Hämta fulltext

Elektronisk E-bok

Begränsa sökningen