Resultats de la cerca - information a concurrent programming ((((array using) OR (array format))) OR (array profiling))

1

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 /

Publicat 2005

Taula de continguts: “... and Simulation -- Process Algebra: A Unifying Approach -- Linking Theories of Concurrency -- Hardware Synthesis...”
Obtenir text complet

Electrònic eBook

2

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

Publicat 2005

Taula de continguts: “... Selection in a Data Warehouse -- Using Schema Transformation Pathways for Incremental View Maintenance...”
Obtenir text complet

Electrònic eBook

3

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

Publicat 2010

Taula de continguts: “... of Causality Requirements in Java Memory Model Is Undecidable -- A Team Object for CoArray Fortran...”
Obtenir text complet

Electrònic eBook

4

Languages and Compilers for High Performance Computing 17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revised Selected Papers /

Publicat 2005

Taula de continguts: “... Programs -- The Use of Traces for Inlining in Java Programs -- A Practical MHP Information Analysis...”
Obtenir text complet

Electrònic eBook

5

Languages and Compilers for Parallel Computing 18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers /

Publicat 2006

Taula de continguts: “... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”
Obtenir text complet

Electrònic eBook

6

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

Publicat 2008

Taula de continguts: “... of Concurrent Utilities in Jackal: A Software DSM Implementation -- Self-stabilization -- Anonymous Daemon...”
Obtenir text complet

Electrònic eBook

7

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

Publicat 2010

Taula de continguts: “... Using Vereofy -- A Case Study in Model-Based Adaptation of Web Services -- Quantitative Verification...”
Obtenir text complet

Electrònic eBook

8

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

Publicat 2005

Taula de continguts: “... and Coequations -- Linking Theories of Concurrency -- On Cool Congruence Formats for Weak Bisimulations...”
Obtenir text complet

Electrònic eBook

9

Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings /

Publicat 2010

Taula de continguts: “... -- Session 9. Concurrent Program Verification I -- Universal Causality Graphs: A Precise Happens-Before Model...”
Obtenir text complet

Electrònic eBook

10

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

Publicat 2005

Taula de continguts: “... Structures -- A Multi-agent Framework Based on Communication and Concurrency -- Statistical Analysis of a P2P...”
Obtenir text complet

Electrònic eBook

11

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

Publicat 2007

Taula de continguts: “... Architectures with a Hybrid Parallel Programming Model -- High Performance FFT on SGI Altix 3700 -- Security...”
Obtenir text complet

Electrònic eBook

12

Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of S...

Publicat 2008

Taula de continguts: “... and Polymorphism in Pure Type Systems -- The Implicit Calculus of Constructions as a Programming Language...”
Obtenir text complet

Electrònic eBook

13

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

Publicat 2015

Taula de continguts: “... for Verifying C Programs -- SMACK+Corral: A Modular Verifier -- Ultimate Automizer with Array Interpolation...”
Obtenir text complet

Electrònic eBook

14

Algorithms and Architectures for Parallel Processing 13th International Conference, ICA3PP 2013, Vietri sul Mare, Italy, December 18-20, 2013, Proceedings, Part I /

Publicat 2013

Taula de continguts: “... Computing Systems -- Is Sensor Deployment using Gaussian Distribution Energy Balanced -- Shedder: a Metadata...”
Obtenir text complet

Electrònic eBook

15

Algorithms and Architectures for Parallel Processing 13th International Conference, ICA3PP 2013, Vietri sul Mare, Italy, December 18-20, 2013, Proceedings, Part II /

Publicat 2013

Taula de continguts: “... Computing Systems -- Is Sensor Deployment using Gaussian Distribution Energy Balanced -- Shedder: a Metadata...”
Obtenir text complet

Electrònic eBook

Refinar cerca